Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9301] by dwarren

Modified printout to include a predicate only if it has at least 0.1% of
the total time.

2018-05-31 19:14:05 Tree
[r9300] by "kifer"

fixed a typo, which broke http PUT requests

2018-05-27 01:21:31 Tree
[r9299] by tswift

Fixed a couple of bugs in the SCC analysis of max_scc_subgoals_header.

2018-05-21 21:56:57 Tree
[r9298] by "kifer"

recompiled package dlls

2018-05-20 00:21:17 Tree
[r9297] by tswift

Now we postpone abstraction when we hit the maximum subgoal size in
the middle of a attributed variable, rather than aborting.

2018-05-18 22:00:44 Tree
[r9296] by tswift

Fixed prblems in check_new_answer_interrupt.
1) Was setting interrupt vector to 0 rather than just the mask.
2) Only 3 of the interrupts need to be handled here -- the rest were not failing (as needed in local eval).

2018-05-18 20:56:01 Tree
[r9295] by tswift

Updated doc for tfindall.

2018-05-18 17:56:19 Tree
[r9294] by tswift

Updated doc to check_variant/[1,2]

2018-05-18 16:38:34 Tree
[r9293] by tswift

Added new cases to test of check variant.

2018-05-18 16:28:04 Tree
[r9292] by tswift

tables -- check_variant now throws an error if the predicate for the input term is not trie_indexed.
curr_sym -- took out warning for T_FILE which is apparently the type of 0-ary preds.

2018-05-18 16:25:11 Tree
Older >