Andrew Kent
|
b2562b3d27
|
bump argo, minor rpc tweaks
|
2021-03-01 13:19:00 -08:00 |
|
Aaron Tomb
|
f0b851ecf0
|
Add cryptol-remote-api (#927)
This commit moves the `cryptol-remote-api` package from the `argo` repository to the `cryptol` repository.
|
2020-10-12 12:46:30 -07:00 |
|
Aaron Tomb
|
2e2e263c33
|
Revert "Revert "Include cryptol-remote-api in Cryptol builds (#890)""
This reverts commit f048368408 .
|
2020-09-29 15:35:29 -07:00 |
|
Iavor Diatchki
|
f048368408
|
Revert "Include cryptol-remote-api in Cryptol builds (#890)"
This reverts commit d7cb4b6943 .
|
2020-09-25 15:42:50 -07:00 |
|
Aaron Tomb
|
d7cb4b6943
|
Include cryptol-remote-api in Cryptol builds (#890)
* Include `cryptol-remote-api` in Cryptol builds
* Add `cryptol-remote-api` to distribution bundles
* Allow nightly builds to be triggered manually
|
2020-09-14 10:33:30 -07:00 |
|
Rob Dockins
|
98ee00742f
|
Remove What4 submodule and depend on hackage-relased What4 instead.
|
2020-07-21 23:21:21 -07:00 |
|
Iavor Diatchki
|
332450ebb2
|
Switch to using libBF from hackage
|
2020-07-01 11:35:45 -07:00 |
|
Iavor Diatchki
|
0047eaf77a
|
Initial support for floating point computation
|
2020-06-29 15:31:34 -07:00 |
|
Jared Weakly
|
cb82d30023
|
Try out janky workaround to see if windows CI actually passes
|
2020-06-11 15:55:21 -07:00 |
|
Ben Selfridge
|
22d98c72b8
|
update to bv-sized branch of what4
|
2020-06-04 15:51:35 -07:00 |
|
Rob Dockins
|
44a2b8e236
|
Very basic scaffolding for using what4 as a symbolic backend
|
2020-04-27 14:19:44 -07:00 |
|
Aaron Tomb
|
b96eef5ef0
|
Bump library versions for GHC 8.2
|
2018-03-12 11:02:15 -07:00 |
|
Aaron Tomb
|
39766c1b2e
|
Use cabal new-build on Travis
|
2017-10-06 14:17:35 -07:00 |
|