24 commits

Author	SHA1	Message	Date
Simon Cruanes	85c850d464	update tests after removal of lia	2022-07-14 22:10:14 -04:00
Simon Cruanes	a1bc186d2e	use ocamlformat	2022-07-14 22:09:13 -04:00
Simon Cruanes	96bc3e2340	update tests	2022-07-14 21:48:19 -04:00
Simon Cruanes	7f45cc6967	fix test	2022-02-14 11:36:50 -05:00
Simon Cruanes	98c30bf0cc	updates and cleanup	2022-02-14 10:46:08 -05:00
Simon Cruanes	c4bbaddc06	new regression test for (get-model); fix mdx test	2022-02-02 16:12:55 -05:00
Simon Cruanes	38a6727f44	udpate test	2022-01-14 11:35:04 -05:00
Simon Cruanes	84f7a39423	fix doc test	2021-10-21 20:42:12 -04:00
Simon Cruanes	b33f5fa5b1	fix tests	2021-08-26 09:19:21 -04:00
Simon Cruanes	feff94bdbb	doc: update guide (models changed, more printers needed)	2021-08-07 21:09:20 -04:00
Simon Cruanes	1c2b37eb72	details	2021-07-04 22:48:55 -04:00
Simon Cruanes	9b43630990	update guide	2021-07-04 01:29:13 -04:00
Simon Cruanes	57e2290151	try to fix CI for mdx	2021-07-04 00:30:03 -04:00
Simon Cruanes	a2b27a5dc2	doc: more on guide	2021-07-04 00:05:25 -04:00
Simon Cruanes	c05d870b2c	doc: start guide, with ocaml-mdx to ensure it stays up to date	2021-07-03 23:39:37 -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	1d99547856	rename dir	2018-05-26 10:34:12 -05:00
Guillaume Bury	74a4677bb7	Updated version number	2017-01-25 17:51:15 +01:00
Guillaume Bury	aeb52b69dd	Fixed title in doc page	2017-01-12 13:41:05 +01:00
Guillaume Bury	cd632ad345	Added link to 0.5.1 doc	2016-12-01 18:11:46 +01:00
Guillaume Bury	3cefd85b21	Fixed some typos in doc	2016-12-01 15:50:57 +01:00
Guillaume Bury	8896ce2b79	Documentation update	2016-12-01 15:35:15 +01:00
Guillaume Bury	05aa984081	Removed old hardcoded documentation.	2014-10-31 16:49:06 +01:00
Simon Cruanes	d7f09c9791	initial commit	2014-03-06 10:45:04 +01:00