Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add missing gitignores for test artifacts | Xiretza | 2020-08-31 | 1 | -2/+2 |
* | tests/aiger: Add missing .gitignore | Marcin KoĆcielnicki | 2020-02-15 | 1 | -0/+2 |
* | Update some .gitignore files | Clifford Wolf | 2019-06-20 | 1 | -2/+1 |
* | Add tests/aiger/.gitignore | Clifford Wolf | 2019-04-19 | 1 | -0/+2 |