Log of testing/yices2
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 7c460ff5 | testing/yices2: upgrade to 2.6.5 | ptrcnull | 2025-03-02 23:00 |
| 4a7eed5e | testing/yices2: new aport | ptrcnull | 2023-02-10 05:14 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 7c460ff5 | testing/yices2: upgrade to 2.6.5 | ptrcnull | 2025-03-02 23:00 |
| 4a7eed5e | testing/yices2: new aport | ptrcnull | 2023-02-10 05:14 |