Commits

Commits on Jul 2, 2019

Revert "remove Z3_MUTEX"
waywardmonkeys
committedJul 2, 2019
add datatype builder

Julius Rakow
authored and
waywardmonkeys
committedJul 2, 2019
add Datatype variant of Ast

Julius Rakow
authored and
waywardmonkeys
committedJul 2, 2019
add Sort::kind getter

Julius Rakow
authored and
waywardmonkeys
committedJul 2, 2019
add FuncDecl::from_raw

Julius Rakow
authored and
waywardmonkeys
committedJul 2, 2019
Add a binding for Z3_simplify()

cdisselkoen
authored and
waywardmonkeys
committedJul 2, 2019
Bugfix for Sort refcounting, and reduce code duplication

cdisselkoen
authored and
waywardmonkeys
committedJul 2, 2019
fix an error message and some typos

cdisselkoen
authored and
waywardmonkeys
committedJul 2, 2019

Commits on Jul 1, 2019

add bvrotl and bvrotr

Julius Rakow
authored and
waywardmonkeys
committedJul 1, 2019
add overflow checking operations

Julius Rakow
authored and
waywardmonkeys
committedJul 1, 2019
fix BV::from_int test

Julius Rakow
authored and
waywardmonkeys
committedJul 1, 2019
change Dynamic ast to fix enumeration test

Julius Rakow
authored and
waywardmonkeys
committedJul 1, 2019
remove Z3_MUTEX

Julius Rakow
authored and
waywardmonkeys
committedJul 1, 2019

Commits on Jun 29, 2019

Fix Solver::assert_and_track.
waywardmonkeys
committedJun 29, 2019
Add struct docs for Context.
waywardmonkeys
committedJun 29, 2019
Remove more Context::from_* helpers.
waywardmonkeys
committedJun 29, 2019
Remove Context::fresh_*_helpers.
waywardmonkeys
committedJun 29, 2019
Simplify with Into<Symbol>.
waywardmonkeys
committedJun 29, 2019
Remove outdated docs for Symbol

cdisselkoen
authored and
waywardmonkeys
committedJun 29, 2019

Commits on Jun 28, 2019

rustfmt
waywardmonkeys
committedJun 28, 2019
Simplify Symbols.
waywardmonkeys
committedJun 28, 2019
Add extract(), sign_ext(), and zero_ext(); document the other BV methods

cdisselkoen
authored and
waywardmonkeys
committedJun 28, 2019
both Debug and Display on asts

cdisselkoen
authored and
waywardmonkeys
committedJun 28, 2019
Add FuncDecl::arity and doctest.
waywardmonkeys
committedJun 28, 2019
Document struct FuncDecl.
waywardmonkeys
committedJun 28, 2019
Fix warnings in tests about Context::from_u64 and from_i64.
waywardmonkeys
committedJun 28, 2019
Improve Z3_interrupt docs.
waywardmonkeys
committedJun 28, 2019
Add z3::Context::interrupt().
waywardmonkeys
committedJun 28, 2019
rustfmt
waywardmonkeys
committedJun 28, 2019
Clippy fixes.
waywardmonkeys
committedJun 28, 2019
Split Ast into subtypes

cdisselkoen
authored and
waywardmonkeys
committedJun 28, 2019

Commits on Jun 20, 2019

Create bitvectors from constants

cdisselkoen
authored and
waywardmonkeys
committedJun 20, 2019

Commits on Jun 1, 2019

z3-sys: Add binding for Z3_get_numeral_double.
waywardmonkeys
committedJun 1, 2019

Commits on May 28, 2019

fix func_decl ref count

Julius Rakow
authored and
waywardmonkeys
committedMay 28, 2019
check for empty bounds in forall_const

Julius Rakow
authored and
waywardmonkeys
committedMay 28, 2019