36 commits

Author	SHA1	Message	Date
Simon Cruanes	d8612f84c9	doc	2023-06-26 15:40:38 -04:00
Simon Cruanes	09d569ee68	fix test: restore printing for basic smt solver model	2022-10-15 23:17:49 -04:00
Simon Cruanes	4e1272d64a	test: update doc guide	2022-10-12 22:45:47 -04:00
Simon Cruanes	ccd506e387	test	2022-10-10 20:15:18 -04:00
Simon Cruanes	b577389acf	test	2022-10-10 15:45:53 -04:00
Simon Cruanes	1c11a82a7d	test: update doc guide	2022-09-26 20:57:55 -04:00
Simon Cruanes	337a0696f1	update guide	2022-09-10 22:22:30 -04:00
Simon Cruanes	87e91660ad	doc: update guide for now	2022-09-10 15:02:17 -04:00
Simon Cruanes	0f21cf069e	test: update expected results	2022-08-29 20:28:42 -04:00
Simon Cruanes	df287e4ef7	update doc/guide	2022-08-27 20:44:30 -04:00
Simon Cruanes	40734d5074	doc: update guide (temporarily) ... models still need to be updated.	2022-08-27 20:24:28 -04:00
Simon Cruanes	c8800fe3e2	promote test results	2022-07-22 21:45:56 -04:00
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