XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[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
[r8480] by dwarren Changed bit declarations from unsigned int to byte (unsigned char). This is more space efficient, but was really done because there is some issue with MSVC when the unsigned int is used. There must be some alignment and/or displacement kind of problem with the unsigned int. I don't have the time/energy/interest to try to track down the exact reason....sorry.	2015-09-24 15:26:32	Tree

Older >