| Commit | Date | |
|---|---|---|
| 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 | |
| 2017-01-02 23:04:19 | Tree | |
| 2017-01-02 23:01:30 | Tree |