Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | cooker: Pass arguments to filter | Stefano Brivio | 2023-06-09 | 1 | -0/+2 |
* | seitan-run: Drop -x, refine cleanup | Stefano Brivio | 2023-06-05 | 1 | -2/+3 |
* | seitan-run: restore old behavior | Alice Frosi | 2023-06-05 | 1 | -2/+1 |
* | demo: extend demo with additional matches | Alice Frosi | 2023-06-05 | 1 | -1/+2 |
* | treewide: Change to GPLv2, add LICENSES, missing headers | Stefano Brivio | 2023-06-04 | 1 | -1/+1 |
* | seitan-run: Assorted cleanups | Stefano Brivio | 2023-06-03 | 1 | -14/+18 |
* | Introduce seitan-run | Stefano Brivio | 2023-06-02 | 1 | -0/+37 |