This website requires JavaScript.
Explore
Help
Sign In
ada
/
cvc5
Watch
0
Star
0
Fork
0
You've already forked cvc5
mirror of
https://github.com/AdaCore/cvc5.git
synced
2026-02-12 12:32:16 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
23-sustained
Add File
New File
Upload File
Apply Patch
cvc5
/
.github
/
workflows
History
Gereon Kremer
4337cdb8e2
Add cross-compilation for arm64 on macOS (
#8758
)
...
Co-authored-by: Andres Noetzli <
andres.noetzli@gmail.com
>
2022-05-21 22:14:45 +00:00
..
ci.yml
Add cross-compilation for arm64 on macOS (
#8758
)
2022-05-21 22:14:45 +00:00
cmake-version.yml
Also test older cmake versions (
#7347
)
2021-10-14 18:50:13 +00:00
docs_cleanup.yml
Ignore zip files for docs upload diff (
#7322
)
2021-10-08 11:02:51 +00:00
docs_upload.yml
Maintain symlink to docs for latest release (
#8555
)
2022-04-04 13:37:24 -07:00
package_pypi.yml
Only run pypi packaging when release is published (
#8526
)
2022-04-01 13:29:24 -07:00