-
Notifications
You must be signed in to change notification settings - Fork 4
Insights: abdoo8080/lean-cvc5
Overview
-
0 Active issues
-
- 2 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
4 Releases published by 1 person
2 Pull requests merged by 1 person
-
Resulttests from cvc5 API tests, autogen more enums#15 merged
May 17, 2025 -
port cvc5's API test for proof features, minor fixes and improvements
#11 merged
Apr 24, 2025
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Use explicitly clang instead of cc
#8 commented on
May 7, 2025 • 0 new comments