11 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	d0e20e44ff	booyah ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-07-04 15:56:30 -07:00
Nikolaj Bjorner	40e329fc92	remove push/pop for fixedpoint objects from API #2249 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-04-27 10:13:15 -07:00
Bruce Mitchener	6c21d3d9e8	Z3_fixedpoint_add_constraint: decl missing Z3_API.	2018-12-04 12:24:42 +07:00
Bruce Mitchener	42d2a46826	Mark up Z3_L_TRUE and friends correctly in the docs.	2018-12-04 09:12:12 +07:00
Bruce Mitchener	236f85d82b	Improve intra-doc linking.	2018-11-21 19:13:02 +07:00
Bruce Mitchener	115256e353	Improve intra-doc linking.	2018-11-19 20:32:00 +07:00
Bruce Mitchener	93835eab05	Correct Z3_(fixedpoint|optimize)_from_file param doc.	2018-11-19 13:04:07 +07:00
Matteo	65885f7eba	add_constraint API	2018-06-14 16:08:48 -07:00
Matteo	3c7165780c	Extend spacer with callback events ... Callback events allow the client of spacer to get events during exection. The events include new lemmas and unfolding.	2018-06-14 16:08:48 -07:00
Bruce Mitchener	ae8027e594	Fix typos.	2018-02-01 19:39:43 +07:00
Christoph M. Wintersteiger	00271e5531	C API cleanup. Mainly removal of ML-specific macros that are not used anymore and inline documentation fixes.	2015-12-03 17:33:25 +00:00