| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2023-10-27 | Improved transformations and cleaned up | Sebastiano Tronto | 3 | -4/+27 |
| 2023-10-22 | Added transformations (and fixed tests) | Sebastiano Tronto | 4 | -1/+226 |
| 2023-10-22 | Generated tests for transformations | Sebastiano Tronto | 1 | -0/+34 |
| 2023-10-22 | Small change of plans, moved stuff around | Sebastiano Tronto | 2 | -58/+0 |
| 2023-10-22 | Progess with transformation implementation | Sebastiano Tronto | 3 | -1/+102 |
| 2023-10-10 | Added more complete test for SRC_write; renamed tests for clarity | Sebastiano Tronto | 1 | -1/+1 |
| 2023-10-08 | Added write to SRC format | Sebastiano Tronto | 1 | -2/+13 |
| 2023-10-05 | Added transformation util files, renamed move files | Sebastiano Tronto | 68 | -0/+68 |
| 2023-10-05 | Split isconsistent() and issolvable() | Sebastiano Tronto | 1 | -1/+0 |
| 2023-10-05 | Implemented compose; some cleanup | Sebastiano Tronto | 20 | -0/+44 |
