| Commit | Date | |
|---|---|---|
|
[r8956]
by
"kifer"
recompiled windows dlls for xsb packages -- to account for the changes that Teri made in cinterf. |
2017-01-07 07:09:47 | Tree |
|
[r8955]
by
"kifer"
turns out the linix/mac version of makexsb clean was not removing the .so/dylic/xwam files from config/arch.../lib, which was sometimes leading to false bug reports. |
2017-01-06 21:39:14 | Tree |
| 2017-01-04 14:40:51 | Tree | |
|
[r8953]
by
"kifer"
uncommented xsb_patch_version in version.sh because otherwise the version string looks ugly (has a trailing dot). |
2017-01-04 09:48:26 | Tree |
|
[r8952]
by
dwarren
Recoded nec_different_xwam_files to be simpler and not use |
2017-01-03 19:47:49 | Tree |
| 2017-01-03 19:38:27 | Tree | |
| 2017-01-02 23:11:53 | Tree | |
|
[r8949]
by
tswift
Fixed some old tests to represent actions of large arity terms (some tests succeed now, rather than throwing erors) |
2017-01-02 23:10:20 | Tree |
| 2017-01-02 23:07:29 | Tree | |
| 2017-01-02 23:05:27 | Tree |