Menu

Src (SVN)-old Commit Log


Commit Date  
[r6676] by tswift

1) Fixed dynamic as so that it is accepted as an executable directive.

2) Added 'incremental' as a predicate property.

3) Minor change to use_incremental tabling (won't core-dump on a non-comma list)

2010-07-28 21:29:44 Tree
[r6675] by tswift

added test case for incremental tabling where no clauses are initially
present for a predicate declared as incremental in a file.

2010-07-28 17:44:52 Tree
[r6674] by tswift

Fix to an incremental tabling bug in which incremental tabling was not
performed properly if a predicate was declared incremental and dynamic
in a file, but no clauses were present for the predicate.

2010-07-28 17:43:15 Tree
[r6673] by dwarren

Another missing declaration for aggregate transformation, this time for delete_return.

2010-07-12 19:46:00 Tree
[r6672] by dwarren

Fixed bug in handling of delimiters.

2010-07-12 19:31:51 Tree
[r6671] by dwarren

Added import of copy_term when generate aggregate transformation.
Don't know why this bug didn't show up earlier.

2010-07-12 19:31:09 Tree
[r6670] by kifer

added incr_assert/3

2010-07-07 03:25:24 Tree
[r6669] by tswift

Another small update to delete_branch to support backtrackable updates
and trie_unintern_nr.

2010-07-05 20:47:42 Tree
[r6668] by tswift

Made delete_branch check the BTNs that it deallocated, to make sure
that it wasn't deallocating an already-deallocated BTN. The foregoing
situation arose when using trie_unintern_nr and reclaim_unintern_nr by
the storage module for backtrackable updates.

2010-07-04 19:02:16 Tree
[r6667] by dwarren

Exported do_the_load as load_object_file so it can be used to ensure
exactly what file is loaded, bypassing the library_directory paths,
when necessary.

2010-06-30 18:29:25 Tree
Older >
Monday.com Logo