XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8493] by kifer in system_xsb.c: make child ignore SIGINT (^C) in dynelf_xsb.h: cosmetic changes	2015-10-22 01:38:49	Tree
[r8492] by mcalejo Tolerate (and ignore) annotate/1 directives; declare op(1100,fx,annotation). Intended for meta information usable by analysis tools	2015-10-21 12:32:49	Tree
[r8491] by mcalejo add_this_lib_dir, to ease using related files in a location independent manner	2015-10-20 06:43:41	Tree
[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

Older >