13 Commits

Author	SHA1	Message	Date
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