XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Src (SVN)-old Commit Log

Commit	Date
[r8490] by tswift Made write_depth apply when writing long lists as it had done when writing deep terms.	2015-10-16 14:05:56	Tree
[r8489] by kifer typo fixes	2015-10-15 06:25:31	Tree
[r8488] by tswift New section 10.3	2015-10-13 13:19:55	Tree
[r8487] by tswift Backup of new file for inspection predicates. Still too drafty to be readable.	2015-10-04 22:31:18	Tree
[r8486] by kifer transfered -faltivec from emuMakefile to configure.in under darwin. rebuilt config files. This makes xsbdynmod a bit less dependent on the mac, but dunno if this helps build JNI under Linux	2015-10-01 21:17:56	Tree
[r8485] by tswift Fixed to print out instr addresses as ptrs, integers dont work well for 64-bits.	2015-09-30 19:47:06	Tree
[r8484] by tswift Fixed to add is_neg_call	2015-09-27 18:49:19	Tree
[r8483] by tswift Added these figures, which I had previously forgotten.	2015-09-27 18:38:32	Tree
[r8482] by tswift added test of sdg_scc_info.	2015-09-24 22:06:18	Tree
[r8481] by tswift Updated sdg_scc_info/2 which provides summary scc info for an SDG.	2015-09-24 22:05:23	Tree

Older >