| Commit message (Collapse) | 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 | |
