11 Commits

Author	SHA1	Message	Date
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
Rob Dockins	44a2b8e236	Very basic scaffolding for using what4 as a symbolic backend	2020-04-27 14:19:44 -07:00
Aaron Tomb	600b5ec049	Update path for cryptol-specs in .gitmodules	2019-03-11 12:13:08 -07:00
Brian Huffman	acafb2952d	Add cryptol-specs as git submodule under /examples.	2019-03-01 18:05:28 -08:00
Aaron Tomb	13b704f840	Remove references to sbv repository	2017-02-01 09:09:59 -08:00
Iavor S. Diatchki	10cf6f16e3	Print stats about the prover. Fixes #392	2017-01-27 16:14:37 -08:00