GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity
3,086 Commits 68 Branches 27 Tags 82 MiB
gitpod
Commit Graph

4 Commits

Author SHA1 Message Date
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
eb9ea33607 Fix cryptol-remote-api nightly builds 2021-02-05 08:18:54 -08:00
Jared Weakly
5971ac3bed
Support ghc 8.10.3 cryptol remote api (#1026) 
* Use ghc 8.10.3 for cryptol-remote-api to test SGX compatibility
* Fix cvc4
* Fix test suite for cryptol-remote-api
* Default to putting the heap as low in address space as possible
 2021-01-11 11:36:21 -08:00