Age | Commit message (Expand) | Author |
---|---|---|
30 hours | 0.9.0 -> 0.9.1, updated dependencies | Manuel Wiesinger |
2024-05-05 | Version bump 0.8.2 -> 0,9,0 | Manuel Wiesinger |
2024-03-30 | Add bitwuzla to optdepends | Manuel Wiesinger |
2024-03-18 | Initial commit | Manuel Wiesinger |