Pulse · UnitTestBot/ksmt · GitHub

January 7, 2025 – January 14, 2025

Overview

3 Active pull requests

0 Active issues
- 3 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues

3 Releases published by 1 person

0.5.27
published Jan 9, 2025
0.5.28
published Jan 10, 2025
0.5.29
published Jan 14, 2025

3 Pull requests merged by 1 person

Fix cvc5 on macOS
#169 merged Jan 14, 2025
Upgrade cvc to 1.2.0
#168 merged Jan 10, 2025
Upgrade z3 to 4.13.4
#167 merged Jan 9, 2025