8000 Tags · cvc5/cvc5 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: cvc5/cvc5

Tags

latest

Toggle latest's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
ci: Update cibuildwheel to v2.23.3 (#11855)

This PR also includes changes to silence a few warnings. Specifically,
it explicitly enables PyPy builds, as they will be disabled by default
starting with cibuildwheel version 3. Additionally, it skips tests for
CPython 3.8 arm64 wheels, since these cannot be executed even on Apple
Silicon machines (see pypa/cibuildwheel#1171).

cvc5-1.2.1

Toggle cvc5-1.2.1's commit message 
Bump version to 1.2.1

cvc5-1.2.0

Toggle cvc5-1.2.0's commit message 
Bump version to 1.2.0

cvc5-1.1.2

Toggle cvc5-1.1.2's commit message 
Bump version to 1.1.2

cvc5-1.1.1

Toggle cvc5-1.1.1's commit message 
Bump version to 1.1.1

cvc5-1.1.0

Toggle cvc5-1.1.0's commit message 
Bump version to 1.1.0

cvc5-1.0.9

Toggle cvc5-1.0.9's commit message 
Bump version to 1.0.9

cvc5-1.0.8

Toggle cvc5-1.0.8's commit message 
Bump version to 1.0.8

cvc5-1.0.7

Toggle cvc5-1.0.7's commit message 
Bump version to 1.0.7

cvc5-1.0.6

Toggle cvc5-1.0.6's commit message 
Bump version to 1.0.6
0