admin/Z3Prover-z3
1
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-08 12:59:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
2828126b725362ee08daf0cf8a774d0b09cc3dcb
Z3Prover-z3/src/util
T
History
Lev Nachmanson 2828126b72 add cancellation checks 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
2017-10-03 10:20:49 -07:00
..
lp
add cancellation checks
2017-10-03 10:20:49 -07:00
approx_nat.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
approx_nat.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
approx_set.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
approx_set.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
array_map.h
remove reinterpret cast occurrences that require disabling strict alias analysis #987 #1210
2017-08-17 20:28:49 -07:00
array.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
backtrackable_set.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
basic_interval.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
bit_util.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
bit_util.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
bit_vector.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
bit_vector.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
buffer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
cancel_eh.h
ensure that timeouts are distinguished from other cancel events #848
2017-08-18 14:54:54 -07:00
chashtable.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
checked_int64.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
CMakeLists.txt
[CMake] Fix dependencies for generating mem_initializer.cpp.
2017-06-21 23:56:53 +01:00
cmd_context_types.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
cmd_context_types.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
common_msgs.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
common_msgs.h
include rlimit in nlsat, include dedicated error message, for issue #216
2015-09-29 09:16:46 -07:00
cooperate.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
cooperate.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
critical_flet.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
debug.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
debug.h
use static_assert in COMPILE_TIME_ASSERT
2017-08-14 20:10:17 +01:00
dec_ref_util.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
dependency.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
dictionary.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
dlist.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
double_manager.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
env_params.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
env_params.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
error_codes.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
event_handler.h
ensure that timeouts are distinguished from other cancel events #848
2017-08-18 14:54:54 -07:00
ext_gcd.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
ext_numeral.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
f2n.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
fixed_bit_vector.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
fixed_bit_vector.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
gparams.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
gparams.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
hash.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
hash.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
hashtable.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
heap.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
hwf.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
hwf.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
id_gen.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
inf_eps_rational.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
inf_int_rational.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
inf_int_rational.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
inf_rational.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
inf_rational.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
inf_s_integer.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
inf_s_integer.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
lbool.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
lbool.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
list.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
luby.cpp
checkpoint
2012-10-21 13:32:12 -07:00
luby.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
machine.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
map.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
max_cliques.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
memory_manager.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
memory_manager.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpbq.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpbq.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpbqi.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpf.cpp
Bugfixes for fp.to_* operators
2017-09-15 19:56:15 +01:00
mpf.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpff.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpff.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpfx.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpfx.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpn.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpn.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpq_inf.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpq_inf.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpq.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpq.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpz.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpz.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
mpzzp.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
nat_set.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
numeral_buffer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
obj_hashtable.h
obj_hashtable: Constify
2017-08-22 17:10:20 +00:00
obj_mark.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
obj_pair_hashtable.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
obj_pair_set.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
obj_ref.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
obj_triple_hashtable.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
object_allocator.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
optional.h
change typename to class in optional to deal with compilation
2017-08-17 21:00:14 -07:00
page.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
page.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
params.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
params.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
parray.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
permutation.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
permutation.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
plugin_manager.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
pool.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
pop_scopes.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
prime_generator.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
prime_generator.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
ptr_scoped_buffer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
rational.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
rational.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
ref_buffer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
ref_util.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
ref_vector.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
ref.h
move semantics for ref
2017-07-31 14:21:30 -04:00
region.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
region.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
resource_limit.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
rlimit.cpp
fix #1276 related crashes for re-sumption after cancellation
2017-10-01 15:13:43 -07:00
rlimit.h
fix #1276 related crashes for re-sumption after cancellation
2017-10-01 15:13:43 -07:00
s_integer.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
s_integer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
scoped_ctrl_c.cpp
ensure that timeouts are distinguished from other cancel events #848
2017-08-18 14:54:54 -07:00
scoped_ctrl_c.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
scoped_numeral_buffer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
scoped_numeral_vector.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
scoped_numeral.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
scoped_ptr_vector.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
scoped_timer.cpp
missing parameters for OSX/Linus
2017-08-18 15:14:47 -07:00
scoped_timer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
scoped_vector.h
recognize theory_i_arith to fix #1200
2017-08-13 10:22:36 -07:00
sexpr.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
sexpr.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
small_object_allocator.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
small_object_allocator.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
smt2_util.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
smt2_util.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
sorting_network.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
sstream.h
missing files
2017-05-09 14:11:33 -07:00
stack.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
stack.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
statistics.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
statistics.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
stats.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
stopwatch.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
str_hashtable.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
stream_buffer.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
string_buffer.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
symbol_table.h
fix perf regression with negative polynomial normalization, adding new datatype plugin
2017-09-03 03:56:10 -07:00
symbol.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
symbol.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
timeit.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
timeit.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
timeout.cpp
ensure that timeouts are distinguished from other cancel events #848
2017-08-18 14:54:54 -07:00
timeout.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
timer.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
timer.h
Do not request time stamp if not needed
2016-11-23 16:38:21 +01:00
total_order.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
tptr.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
trace.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
trace.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
trail.h
moved obj_equiv_class to ast
2017-08-01 19:24:50 -04:00
uint_map.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
uint_set.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
union_find.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
util.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
util.h
Tabs, formatting.
2017-09-17 14:54:09 +01:00
vector.h
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
version.h.cmake.in
[CMake] Support including Git hash and description into the build.
2017-03-12 22:11:59 +00:00
version.h.in
Added full version strings and associated API functions.
2016-07-28 18:06:02 +01:00
warning.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
warning.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
z3_exception.cpp
make include paths uniformly use path relative to src. #534
2017-07-31 13:24:11 -07:00
z3_exception.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00
z3_omp.h
update header guards to be C++ style. Fixes issue #9
2015-07-08 23:18:40 -07:00