| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-16 | Update .SRCINFO | Áron Ricardo Perez-Lopez | |
| 2024-02-16 | Update git protocol | Áron Ricardo Perez-Lopez | |
| 2021-06-25 | update to latest btor2tools | Deian Stefan | |
| Thanks to xiretza! | |||
| 2020-01-11 | Update to latest | Deian Stefan | |
| 2019-06-13 | init | Deian Stefan | |