Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7724] by dwarren

Fixed bug in assert when set_var_occurrences is used. Need to traverse the
attributes of an attributed variable to cound variables occurring there as
well.

 2013-02-15 17:03:05 Tree
[r7723] by tswift

This had been core-dumping when called with atom_codes(X,[341]). The
error was actually in the call of the exception handler, but its fixed
now.

 2013-02-14 23:10:00 Tree
[r7722] by tswift

Updates for optional error handling via restraint for arithmetic computations.

 2013-02-14 22:07:05 Tree
[r7721] by tswift

Updates for optional error handling via restraint for arithmetic computations.

 2013-02-14 22:03:54 Tree
[r7720] by tswift

Updates for optional error handling via restraint in arithmetic
computations.

 2013-02-14 22:00:30 Tree
[r7719] by tswift

Handled quatations for increasingly obscure cases of terms printed out
by forest logging.

 2013-02-14 21:47:47 Tree
[r7718] by tswift

Added tests for explain_u_val.

 2013-02-13 20:38:01 Tree
[r7717] by tswift

Update to handle bug fix in get_residual_sccs.

 2013-02-13 20:31:36 Tree
[r7716] by tswift

Polished documentation for incr and residual scc routines.

 2013-02-07 23:11:08 Tree
[r7715] by tswift

fixed bug in get_residual_sccs/6

also, added an extern

 2013-02-07 18:16:29 Tree
Older >
Monday.com Logo