GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 23:32:15 +03:00
Code Issues Projects Releases Wiki Activity
3011920fc5
macaw/.github
History
Ryan Scott 9d2e1d4b9f CI: Test GHC 9.2.2
2022-05-31 15:50:48 -04:00
..
workflows CI: Test GHC 9.2.2 2022-05-31 15:50:48 -04:00
ci.sh Update to follow changes in What4. Nat is no longer a base type (#190) 2021-02-19 15:44:56 -08:00