Skip to content
Branch: master
Find file History
NikolajBjorner fix test build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Latest commit a1cb3a2 Oct 6, 2019
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
fuzzing Fix some spelling errors (mostly in comments). Oct 20, 2018
lp fix the build Aug 1, 2019
CMakeLists.txt Dev (#56) Jun 27, 2018
algebraic.cpp fix test build Oct 6, 2019
api.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
api_bug.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
arith_rewriter.cpp build Oct 6, 2018
arith_simplifier_plugin.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
ast.cpp Fix some spelling errors (mostly in comments). Oct 20, 2018
bdd.cpp build warnings, updates to reduce-invertible, change is_algebraic tes… Jul 1, 2018
bit_blaster.cpp remove dependency on ARRAYSIZE for issue #1616 Aug 16, 2018
bit_vector.cpp Prefer using empty rather than size comparisons. Nov 27, 2018
bits.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
buffer.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
chashtable.cpp Prefer using empty rather than size comparisons. Nov 27, 2018
check_assumptions.cpp Use nullptr. Feb 12, 2018
cnf_backbones.cpp fix test Feb 6, 2019
cube_clause.cpp move to list of clauses Jun 14, 2018
datalog_parser.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
ddnf.cpp Fix some spelling errors (mostly in comments). Oct 20, 2018
diff_logic.cpp Tabs, formatting. Sep 17, 2017
dl_context.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
dl_product_relation.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
dl_query.cpp
dl_relation.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
dl_table.cpp Enable dl_table tests on non-Windows/Cygwin. Dec 9, 2018
dl_util.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
doc.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
escaped.cpp Use nullptr. Feb 12, 2018
ex.cpp Use override rather than virtual. Feb 10, 2018
expr_rand.cpp Use nullptr. Feb 12, 2018
expr_substitution.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
ext_numeral.cpp fixes Aug 27, 2017
f2n.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
factor_rewriter.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
fixed_bit_vector.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
for_each_file.cpp remove dependency on ARRAYSIZE for issue #1616 Aug 16, 2018
for_each_file.h update header guards to be C++ style. Fixes issue #9 Jul 9, 2015
get_consequences.cpp fix include paths Aug 5, 2018
get_implied_equalities.cpp tune for unit test, delay initialize re-solver May 13, 2018
hashtable.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
heap.cpp reduce output Dec 18, 2018
heap_trie.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
hilbert_basis.cpp Use nullptr. Feb 12, 2018
horn_subsume_model_converter.cpp re-organize proof and model converters to be associated with goals in… Nov 19, 2017
hwf.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
im_float_config.h fix build of unit tests Oct 15, 2017
inf_rational.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
interval.cpp fix build of unit tests Oct 15, 2017
karr.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
list.cpp Use nullptr. Feb 12, 2018
main.cpp test-z3: Improve help output. Provide help when no args. Aug 16, 2019
map.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
matcher.cpp
memory.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
model2expr.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
model_based_opt.cpp first round for combined mbi Jun 14, 2018
model_evaluator.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
model_retrieval.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
mpbq.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
mpf.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
mpff.cpp As of GCC8, the throw by value, catch by reference idiom is enforced … May 19, 2018
mpfx.cpp Remove int64, uint64 typedefs in favor of int64_t / uint64_t. Mar 31, 2018
mpq.cpp Remove int64, uint64 typedefs in favor of int64_t / uint64_t. Mar 31, 2018
mpz.cpp address min-int overflow reported in #2565 Sep 17, 2019
nlarith_util.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
nlsat.cpp fix build of test Aug 3, 2019
no_overflow.cpp Switch from using Z3_bool to using bool. Nov 20, 2018
object_allocator.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
old_interval.cpp Use nullptr. Feb 12, 2018
optional.cpp Tabs, formatting. Sep 17, 2017
parray.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
pb2bv.cpp disable dotnet in ci script. It seems to get turned on even if dotnet… Sep 11, 2018
permutation.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
polynomial.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
polynorm.cpp build Oct 6, 2018
prime_generator.cpp fix crash in 'test-z3 prime_generator' Jun 13, 2019
proof_checker.cpp create proofs folder, move proof-post-order utility to proofs directo… Oct 24, 2017
qe_arith.cpp build Oct 6, 2018
quant_elim.cpp fix #1522 Mar 7, 2018
quant_solve.cpp build Oct 6, 2018
random.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
rational.cpp Remove int64, uint64 typedefs in favor of int64_t / uint64_t. Mar 31, 2018
rcf.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
region.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
sat_local_search.cpp include chronological backtracking, two-phase sat, xor inprocessing, … Jun 13, 2019
sat_lookahead.cpp fix test build Nov 14, 2018
sat_user_scope.cpp merge with master branch Sep 19, 2017
simple_parser.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
simplex.cpp avoid going creating hnf_cuts if all involved vars have integral values Jun 27, 2018
simplifier.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
small_object_allocator.cpp [ASan] Fix some leaks reported in the small object allocator Oct 11, 2017
smt2print_parse.cpp Use nullptr. Oct 2, 2018
smt_context.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
solver_pool.cpp Revised solver_pool Jun 14, 2018
sorting_network.cpp add binary_merge encoding option Feb 28, 2019
stack.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
string_buffer.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
substitution.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
symbol.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
symbol_table.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
tbv.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
test_util.h make include paths uniformly use path relative to src. #534 Jul 31, 2017
theory_dl.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
theory_pb.cpp fix test build Jan 13, 2019
timeout.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
total_order.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
trigo.cpp Backward compatibility Oct 16, 2017
udoc_relation.cpp Use nullptr. Feb 12, 2018
uint_set.cpp make include paths uniformly use path relative to src. #534 Jul 31, 2017
upolynomial.cpp update upolynmial test Dec 18, 2018
var_subst.cpp integrate lambda expressions Jun 26, 2018
vector.cpp Prefer using empty rather than size comparisons. Nov 27, 2018
You can’t perform that action at this time.