| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added transformation util files, renamed move files | Sebastiano Tronto | 2023-10-05 | 1 | -1/+0 |
| | | |||||
| * | Split isconsistent() and issolvable() | Sebastiano Tronto | 2023-10-05 | 1 | -1/+3 |
| | | |||||
| * | Implemented compose; some cleanup | Sebastiano Tronto | 2023-10-05 | 1 | -1/+2 |
| | | |||||
| * | Added tests for compose | Sebastiano Tronto | 2023-09-20 | 1 | -1/+1 |
| | | |||||
| * | Renamed file + added TODOs | Sebastiano Tronto | 2023-09-19 | 1 | -0/+11 |
| | | |||||
| * | Added TODOs | Sebastiano Tronto | 2023-09-08 | 1 | -1/+9 |
| | | |||||
| * | Initial commit | Sebastiano Tronto | 2023-05-29 | 1 | -0/+3 |
