Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9439] by "kifer"

updated recompiled dlls

 2018-10-25 06:56:28 Tree
[r9438] by "kifer"

exported print_pterm_fun() so it could be used in C.

 2018-10-25 06:56:06 Tree
[r9437] by rzf

fixed compilation under linux

 2018-10-23 16:38:40 Tree
[r9436] by rzf

added CUDD for PITA

 2018-10-23 15:26:49 Tree
[r9435] by tswift

Changes to summarize_idg -- still need to document.

 2018-10-08 15:29:49 Tree
[r9434] by "kifer"

changed sunysb-> stonybrook

 2018-10-07 23:34:45 Tree
[r9433] by tswift

Added doc for table_random/1 and modified doc for table_once/1.

 2018-10-07 21:41:39 Tree
[r9432] by tswift

Added table_random/1.

 2018-10-07 21:39:10 Tree
[r9431] by dwarren

Fixed bug in load_dyn in handling multifile directives.

 2018-10-03 14:41:22 Tree
[r9430] by dwarren

Accumulated minor fixes. Commit motivated by improved time to call gc_dynamic, which wasnt getting called in good context to actually do reclamation of clauses.

 2018-10-02 18:22:21 Tree
Older >
mdb logo