GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-22 11:27:44 +03:00
Code Issues Projects Releases Wiki Activity
c9bdd5de3f
cryptol/.github
History
Ryan Scott 618562b20b CI: Bump what4-solvers snapshot version 
The previous version (`snapshot-20220812`) was using CVC5 1.0.1, which is too
old to work properly with `what4`. I have bumped the version to
`snapshot-20221212`, which includes CVC5 1.0.2.
2023-03-06 10:45:24 -05:00
..
workflows CI: Bump what4-solvers snapshot version 2023-03-06 10:45:24 -05:00
ci.sh Add CVC5 support 2023-03-06 10:45:19 -05:00
pr-labeler.yml Implement GitHub actions (#722) 2020-05-14 10:50:22 -07:00
release-drafter.yml Implement GitHub actions (#722) 2020-05-14 10:50:22 -07:00
wix.ps1 Only include bindist-related files in cryptol.msi 2022-05-23 06:47:16 -04:00