Nikolaj Bjorner ae5e39a8b8 Merge branch 'master' of https://github.com/z3prover/z3		2017-07-24 09:18:27 -07:00
..
c++	Unbreak Z3 C++ API exception support for GCC < 5.0. This was broken	2017-06-25 23:03:39 +01:00
dll	[CMake] Move CMake files into their intended location so the	2017-06-12 11:59:00 +01:00
dotnet	Fixed AST translation functions in .NET and Java APIs. Fixes #1073.	2017-06-14 13:24:54 +01:00
java	doc fixes	2017-07-09 11:26:27 +02:00
ml	Resolved merge conflicts. Added FPA API input validity checks.	2016-11-15 20:19:40 +00:00
python	add get_num_scopes to python solver api	2017-07-11 14:42:34 -04:00
api_algebraic.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_arith.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_array.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_ast.cpp	fix bug in qe-lite reported in #1086: bookkeeping of unconstrained variables only works for quantifier-free formulas	2017-06-19 18:22:30 -05:00
api_ast_map.cpp
api_ast_map.h
api_ast_vector.cpp
api_ast_vector.h
api_bv.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_config_params.cpp
api_context.cpp
api_context.h
api_datalog.cpp	update macro_util logging to uniform format	2017-01-15 21:13:22 -08:00
api_datalog.h
api_datatype.cpp	fixes to #1155 and partial introduction of SMTLIB 2.6 datatype format	2017-07-24 09:12:43 -07:00
api_fpa.cpp	Resolved merge conflicts. Added FPA API input validity checks.	2016-11-15 20:19:40 +00:00
api_goal.cpp
api_goal.h
api_interp.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_log.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_model.cpp
api_model.h
api_numeral.cpp
api_opt.cpp	include timeout/rlimit parameters in optmize	2017-04-15 15:04:13 +08:00
api_params.cpp
api_parsers.cpp
api_pb.cpp	add pb shorthands to C++. Issue #694	2017-03-14 07:58:39 -07:00
api_polynomial.cpp	Cleaned up #include<iostream> in api* objects.	2017-01-10 21:04:44 +00:00
api_polynomial.h
api_quant.cpp	add bypass to allow recursive functions from API	2017-03-31 16:38:15 -07:00
api_rcf.cpp
api_seq.cpp	add itos/stoi conversion to API. Issue #895	2017-02-11 11:31:13 -05:00
api_solver.cpp	check for logic in solver	2016-11-04 15:19:11 +00:00
api_solver.h
api_stats.cpp
api_stats.h
api_tactic.cpp
api_tactic.h
api_util.h
CMakeLists.txt	[CMake] typos in cmake	2017-06-23 09:37:49 -04:00
z3.h
z3_algebraic.h
z3_api.h	Fix minor typo in C API documentation	2017-07-12 13:07:19 +01:00
z3_ast_containers.h
z3_fixedpoint.h
z3_fpa.h	FPA API clarification	2016-11-07 12:35:48 +00:00
z3_interp.h
z3_logger.h
z3_macros.h
z3_optimization.h	[Doxygen] Fix some Doxygen warnings for z3_optimization.h	2017-06-07 18:45:12 +01:00
z3_polynomial.h
z3_private.h
z3_rcf.h
z3_replayer.cpp	fix missing else reported in #855	2016-12-22 20:56:14 -08:00
z3_replayer.h
z3_v1.h