Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-03-02 | cvc5: 1.1.1 -> 1.1.2 | R. Ryantm | 1 | -2/+2 |
2024-01-30 | cvc5: 1.1.0 -> 1.1.1 | R. Ryantm | 1 | -2/+2 |
2023-12-28 | cvc5: 1.0.9 -> 1.1.0 | R. Ryantm | 1 | -2/+2 |
2023-12-20 | cvc5: 1.0.8 -> 1.0.9 | R. Ryantm | 1 | -2/+2 |
2023-09-22 | Merge master into staging-next | github-actions[bot] | 1 | -2/+2 |
2023-09-11 | cvc5: 1.0.7 -> 1.0.8 | R. Ryantm | 1 | -2/+2 |
2023-09-08 | treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType | Sandro Jäckel | 1 | -1/+2 |
2023-09-04 | cvc5: 1.0.6 → 1.0.7 | Vincent Laporte | 1 | -2/+2 |
2023-08-16 | cvc5: 1.0.5 → 1.0.6 | Vincent Laporte | 1 | -3/+3 |
2023-03-25 | cvc5: 1.0.4 -> 1.0.5 | R. Ryantm | 1 | -2/+2 |
2023-02-22 | cvc5: 1.0.3 → 1.0.4 | Vincent Laporte | 1 | -5/+8 |
2022-12-15 | cvc5: 1.0.2 -> 1.0.3 | R. Ryantm | 1 | -2/+2 |
2022-08-29 | cvc5: 1.0.1 -> 1.0.2 | R. Ryantm | 1 | -2/+2 |
2022-07-28 | cvc5: 1.0.0 -> 1.0.1 | R. Ryantm | 1 | -2/+2 |
2022-04-06 | cvc5: init at 1.0.0 | Shadaj Laddad | 1 | -0/+34 |