| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2023-10-22 | Small change of plans, moved stuff around | Sebastiano Tronto | 1 | -4/+89 | |
| 2023-10-22 | Progess with transformation implementation | Sebastiano Tronto | 1 | -0/+5 | |
| 2023-10-08 | Added write to SRC format | Sebastiano Tronto | 1 | -6/+5 | |
| 2023-10-05 | Split isconsistent() and issolvable() | Sebastiano Tronto | 1 | -1/+4 | |
| 2023-10-05 | Implemented compose; some cleanup | Sebastiano Tronto | 1 | -45/+6 | |
| 2023-09-20 | Added tests for compose | Sebastiano Tronto | 1 | -1/+12 | |
| 2023-09-08 | New implementation, moved old to experiments/ | Sebastiano Tronto | 1 | -8/+34 | |
