| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2023-05-01 | Split nissy in other repos, see README.md | Sebastiano Tronto | 1 | -6/+0 |
| 2023-02-08 | Added notes for solver theory | Sebastiano Tronto | 1 | -6/+2 |
| 2023-02-04 | Some improvements to test suite, ready to go | Sebastiano Tronto | 1 | -5/+0 |
| 2023-01-22 | Started working on testing (broken for now) | Sebastiano Tronto | 1 | -11/+2 |
| 2023-01-14 | Re-organized TODO file | Sebastiano Tronto | 1 | -0/+24 |
