13 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	0f602d652a	remove deprecated API functionality ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2015-11-14 13:47:41 -08:00
Christoph M. Wintersteiger	88b027ecce	Eliminated unused variable from C example.	2015-10-29 13:32:58 +00:00
Nikolaj Bjorner	d469a16bb8	add more Copyright notes ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2015-06-10 11:59:21 -07:00
Christoph M. Wintersteiger	48c72d2c38	FPA API: naming consistency ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-23 18:18:26 +00:00
Christoph M. Wintersteiger	1a6af4385e	Fixed C example ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-21 15:01:50 +00:00
Christoph M. Wintersteiger	b46d76cddb	New FPA C-API example ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-01 19:16:44 +00:00
Christoph M. Wintersteiger	261fe01cea	FPA API bug and consistency fixes ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2014-11-11 12:38:59 +00:00
Christoph M. Wintersteiger	8b40d4a735	FPA theory bug fixes. ... Also removed unnecessary intermediate variables. Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2014-08-04 17:00:04 +01:00
Christoph M. Wintersteiger	129e2f5e23	FPA API fixes and examples ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2014-06-11 17:55:31 +01:00
Christoph M. Wintersteiger	a8b65ebb36	added stubs for theory_fpa ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2014-04-23 20:10:53 +01:00
Leonardo de Moura	92a29b1e43	added Z3_global_param_reset_all API ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-12-04 11:55:12 -08:00
Leonardo de Moura	7f0fcefbe2	C examples ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-28 11:56:27 -07:00
Leonardo de Moura	91cc6bb768	renamed test_capi ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-28 10:51:50 -07:00