Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7574] by tswift

There was a problem with slg_not using has_answers
when all answers for a subgoal have been removed via delay
(surprisingly this case had not been tested). So we only want an XXX_ANSWERS tag if the subg_ans_root_ptr is null; otherwise we handle the reclamantion in the else associated with this if...

 2012-07-18 21:26:53 Tree
[r7573] by tswift

Took ensure_loaded of term_abstract from loading of tables.P and moved it to load_log_file.

 2012-07-18 18:02:06 Tree
[r7572] by dwarren

Added n_ties and find_n predicates.

 2012-07-18 14:28:33 Tree
[r7571] by dwarren

Fixed (it seems) issue with turning off debug state.

 2012-07-18 14:27:26 Tree
[r7570] by dwarren

Added newline at end of file...

 2012-07-18 14:23:28 Tree
[r7569] by dwarren

Fixed printout for unindexed call profiling.

 2012-07-18 14:21:08 Tree
[r7568] by dwarren

Fixed bug when very large files are indexed, and overflow hash_size table.
Also changed somewhat rate at which hash tables are expanded.

 2012-07-17 16:12:43 Tree
[r7567] by tswift

Some updated debugging routines.

 2012-07-13 22:51:51 Tree
[r7566] by tswift

Added numbervars to output to make the test results stable.

 2012-07-13 22:23:54 Tree
[r7565] by pmoura

Added support for the de facto standard else/0 conditional compilation directive.

 2012-07-09 13:38:41 Tree
Older >
Auth0 Logo