Menu

Src (SVN)-old Commit Log


Commit Date  
[r9479] by tswift

Fixed compilation of MT engine.

2019-01-26 20:05:49 Tree
[r9478] by tswift

More refactoring.

2019-01-23 23:02:39 Tree
[r9477] by tswift

More refactoring.

2019-01-23 22:49:52 Tree
[r9476] by tswift

Refactoring to make basic_tests into basic test of tabling.

2019-01-23 22:48:18 Tree
[r9475] by tswift

.

2019-01-23 20:26:36 Tree
[r9474] by tswift

.

2019-01-23 20:00:00 Tree
[r9473] by dwarren

Updates to mode checking in modeinf.P; some other minor changes so other modules pass the mode check.

2019-01-22 15:42:52 Tree
[r9472] by dwarren

add new mode files.

2019-01-22 15:38:02 Tree
[r9471] by dwarren

Add check_atomic to error_handler, and a couple of xwams.

2019-01-20 21:34:30 Tree
[r9470] by dwarren

Try to fix mode inference updates by making every ne test a check.

2019-01-20 21:32:32 Tree
Older >