8 commits

Author	SHA1	Message	Date
Simon Cruanes	bf1f9e7ce1	try to fix CI	2021-11-28 19:08:26 -05:00
Simon Cruanes	b22e4b96ce	bump min requirement to 4.08	2021-10-12 23:05:25 -04:00
Simon Cruanes	a6b303bb90	remove dep on bare-encoding	2021-10-12 22:52:52 -04:00
Simon Cruanes	3d17feab12	use standalone mode and promote for the BARE encoding of proofs	2021-10-12 22:45:45 -04:00
Simon Cruanes	5e0652687a	wip: proof production using BARE for storage	2021-09-28 21:06:01 -04:00
Simon Cruanes	29bff98da6	chore: fix opam	2021-07-04 00:00:48 -04:00
Simon Cruanes	80b50e8744	refactor: add solver instance in sidekick base ... move some functor instantiations from `sidekick-bin.smtlib` to `sidekick-base.solver` so they're usable from a library.	2021-07-03 22:28:57 -04:00
Simon Cruanes	79bc3def3f	refactor to get sidekick-base library	2021-07-03 20:20:19 -04:00

Renamed from sidekick-arith.opam (Browse further)