Menu
▾
▴
Tree [7d6f3d] git-origin / History
| File | Date | Author | Commit |
|---|---|---|---|
| XSB | 2025-06-06 |
David S. Warren
|
[7d6f3d] added optional @ wrapper for atoms, to allow @(... |
| altmttest | 2006-12-22 |
tswift
|
[a2efdc] Change to include prolog tests. |
| mttests | 2015-01-03 |
dwarren
|
[bf71bb] Removed a couple of partial models (errors in m... |
| xsbtests | 2024-12-16 |
David S. Warren
|
[f17ac6] updated test to changes in write to remove extr... |
| .gitattributes | 2018-10-23 |
rzf
|
[3482c0] added CUDD for PITA |
| .gitignore | 2023-04-23 |
Michael Kifer
|
[d2650f] added a 1-step installer for linux and mac that... |
