| Age | Commit message (Expand) | 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 |
| 2020-01-11 | Update to latest | Deian Stefan |
| 2019-06-13 | init | Deian Stefan |