13 commits

Author	SHA1	Message	Date
Simon Cruanes	85c850d464	update tests after removal of lia	2022-07-14 22:10:14 -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	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