| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-12-17 | Feature updates, no patches, no installed libs | Manuel Wiesinger |
| 2024-11-14 | Add -docs to provides()/conflicts, cosmetics | Manuel Wiesinger |
| 2024-05-14 | Python 3.12 bump, remove provide Python binding | Manuel Wiesinger |
| 2024-03-30 | bitwuzla-git initial commit | Manuel Wiesinger |
| 2024-03-30 | Bitwuzla initial commit | Manuel Wiesinger |