Search results

Difference in running time depending on string literals

Status: Open.

#37 In mtrberzi/z3;

· Grain opened on Apr 22, 2018

regex_automata sat-as-unsat z3str/regex-010.smt2

bug

Status: Open.

#36 In mtrberzi/z3;

· mtrberzi opened on Sep 13, 2017

Z3prover/Z3 #748: possible sat-as-unsat?

Status: Open.

#35 In mtrberzi/z3;

· mtrberzi opened on May 7, 2017

Z3 master uses "seq" as default string solver option

Status: Open.

#34 In mtrberzi/z3;

· mtrberzi opened on May 6, 2017

unhandled cases in binary search

Status: Open.

#33 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

make better use of trail stack in pop_scope_eh and related

Status: Open.

#32 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

use expr_ref_vector instead of std::vector wherever possible

refactoring

Status: Open.

#31 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

improved data structure for contain_pair_idx_map

refactoring

Status: Open.

#30 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

expr* to expr_ref refactoring wherever possible

refactoring

Status: Open.

#29 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

str_rewriter reduce_eq

Status: Open.

#28 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

Behaviour of leading zeroes in string-integer conversion

Status: Open.

#27 In mtrberzi/z3;

· mtrberzi opened on Feb 21, 2017

examples and test cases for C API

Status: Open.

#26 In mtrberzi/z3;

· mtrberzi opened on Oct 20, 2016