GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-26 13:52:23 +03:00
Code Issues Projects Releases Wiki Activity
3,238 Commits 67 Branches 28 Tags 95 MiB
638525fd64
Commit Graph

5 Commits

Author SHA1 Message Date
Iavor Diatchki
0237a8d1de Update to require 0.9.7 which has the callback capability 2021-07-21 10:54:03 -07:00
Rob Dockins
3900c68619 Update build metadata to allow/require What4 1.2 2021-06-17 11:54:09 -07:00
Iavor Diatchki
4e0da53ff3 Change freeze files to use test-lib 0.3 2021-04-21 17:20:37 -07:00
Rob Dockins
8e6a4007fc Update freeze files 2021-02-09 11:04:45 -08:00
Aaron Tomb
339c13b723
Prepare for v2.9.1 (#872) 
* Tiny tweaks to release notes
* Update GHC versions
* Update GHC versions for Actions
* Build releases with 8.8.4 (Something strange is going on with 8.10.2 on Windows)
 2020-08-31 11:40:09 -07:00