| .. |
|
c++
|
added API to monitor clause inferences
|
2022-10-19 08:34:55 -07:00 |
|
dll
|
Tabs, formatting.
|
2017-09-17 14:54:09 +01:00 |
|
dotnet
|
added API to monitor clause inferences
|
2022-10-19 08:34:55 -07:00 |
|
java
|
add method for accessing i'th domain sort in array #6344
|
2022-09-15 07:38:02 -07:00 |
|
js
|
Update parse-api.ts
|
2022-10-19 12:52:58 -07:00 |
|
julia
|
z3++.h: No longer include unused sstream.
|
2022-08-05 09:41:49 +03:00 |
|
ml
|
Fix typos. (#6291)
|
2022-08-21 12:40:07 -07:00 |
|
python
|
added API to monitor clause inferences
|
2022-10-19 08:34:55 -07:00 |
|
api_algebraic.cpp
|
Use nullptr consistently instead of 0 or NULL.
|
2022-08-01 14:24:32 +03:00 |
|
api_arith.cpp
|
fix #6326
|
2022-09-06 23:48:21 -07:00 |
|
api_array.cpp
|
add method for accessing i'th domain sort in array #6344
|
2022-09-15 07:38:02 -07:00 |
|
api_ast.cpp
|
api: Correctly map OP_BSREM0 to Z3_BSREM0.
|
2022-08-12 14:40:16 -04:00 |
|
api_ast_map.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_ast_map.h
|
booyah
|
2020-07-04 15:56:30 -07:00 |
|
api_ast_vector.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_ast_vector.h
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_bv.cpp
|
Added bit2bool to the API (#5992)
|
2022-04-22 09:54:21 +01:00 |
|
api_config_params.cpp
|
Remove usages of Z3_bool, just use bool.
|
2022-07-30 05:49:05 +02:00 |
|
api_context.cpp
|
suppress debug warnings when concurrent dec-ref is enabled. The contract with the client is that it doesn't invoke methods on auxiliary objects after the context is deleted. The client is not required to decrement reference counts
|
2022-09-11 19:06:23 -07:00 |
|
api_context.h
|
Mark override methods appropriately. (#6207)
|
2022-07-29 23:29:15 +02:00 |
|
api_datalog.cpp
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_datalog.h
|
booyah
|
2020-07-04 15:56:30 -07:00 |
|
api_datatype.cpp
|
fix build for Z3_mk_datatype_sort
|
2022-04-27 10:01:51 +01:00 |
|
api_fpa.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_goal.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_goal.h
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_log.cpp
|
remove refs to bare_str
|
2022-04-09 12:06:27 +02:00 |
|
api_model.cpp
|
fix #6034
|
2022-05-16 16:44:13 -07:00 |
|
api_model.h
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_numeral.cpp
|
sketch initial for mpz/mpq numeral creation
|
2022-07-27 10:46:03 +02:00 |
|
api_opt.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_params.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_parsers.cpp
|
update proof formats for new core
|
2022-09-28 10:40:43 -07:00 |
|
api_pb.cpp
|
call it data instead of c_ptr for approaching C++11 std::vector convention.
|
2021-04-13 18:17:35 -07:00 |
|
api_polynomial.cpp
|
remove virtual destructor from api::pmanager
|
2018-07-09 10:37:26 +01:00 |
|
api_polynomial.h
|
remove a hundred implicit constructors/destructors
|
2021-05-23 14:25:01 +01:00 |
|
api_qe.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_quant.cpp
|
fix logging of Z3_mk_lambda and Z3_mk_lambda_const
|
2021-08-29 00:37:45 +01:00 |
|
api_rcf.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_seq.cpp
|
add regex power to API and for Java per request
|
2022-03-15 19:18:33 -07:00 |
|
api_solver.cpp
|
added API to monitor clause inferences
|
2022-10-19 08:34:55 -07:00 |
|
api_solver.h
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_special_relations.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_stats.cpp
|
fix infinite loop in internalize
|
2022-09-14 11:50:53 +01:00 |
|
api_stats.h
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_tactic.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
api_tactic.h
|
Remove empty leaf destructors. (#6211)
|
2022-07-30 10:07:03 +01:00 |
|
api_util.h
|
Use = default for virtual constructors.
|
2022-08-05 18:11:46 +03:00 |
|
CMakeLists.txt
|
attempt to fix cmake build
|
2022-10-01 21:48:27 +01:00 |
|
z3.h
|
booyah
|
2020-07-04 15:56:30 -07:00 |
|
z3_algebraic.h
|
fix grouping for latest doxygen (#5626)
|
2021-10-27 23:46:31 +02:00 |
|
z3_api.h
|
added API to monitor clause inferences
|
2022-10-19 08:34:55 -07:00 |
|
z3_ast_containers.h
|
fix grouping for latest doxygen (#5626)
|
2021-10-27 23:46:31 +02:00 |
|
z3_fixedpoint.h
|
Added function to select the next variable to split on (User-Propagator) (#6096)
|
2022-06-19 10:49:25 -07:00 |
|
z3_fpa.h
|
fix grouping for latest doxygen (#5626)
|
2021-10-27 23:46:31 +02:00 |
|
z3_logger.h
|
Make sure all headers do #pragma once. (#6188)
|
2022-07-23 10:41:14 -07:00 |
|
z3_macros.h
|
Make sure all headers do #pragma once. (#6188)
|
2022-07-23 10:41:14 -07:00 |
|
z3_optimization.h
|
Added function to select the next variable to split on (User-Propagator) (#6096)
|
2022-06-19 10:49:25 -07:00 |
|
z3_polynomial.h
|
fix grouping for latest doxygen (#5626)
|
2021-10-27 23:46:31 +02:00 |
|
z3_private.h
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
z3_rcf.h
|
fix grouping for latest doxygen (#5626)
|
2021-10-27 23:46:31 +02:00 |
|
z3_replayer.cpp
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
z3_replayer.h
|
remove '#include <iostream>' from headers and from unneeded places
|
2022-06-17 14:10:19 +01:00 |
|
z3_spacer.h
|
Added function to select the next variable to split on (User-Propagator) (#6096)
|
2022-06-19 10:49:25 -07:00 |
|
z3_v1.h
|
booyah
|
2020-07-04 15:56:30 -07:00 |
