Logo
Explore Help
Sign In
ada/cvc5
0
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
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
Powered by Gitea Page: 303ms Template: 20ms
English
English
Licenses API