Commits

Commits on Mar 14, 2016

travis plz
snf
committedMar 14, 2016
adding travis into README
snf
committedMar 14, 2016
adding travis
snf
committedMar 14, 2016

Commits on Feb 28, 2016

specifying that get_numstring returns a string of the number in base 10
snf
committedFeb 28, 2016

Commits on Feb 14, 2016

changing Display for Debug for Z3Ast
snf
committedFeb 14, 2016

Commits on Feb 12, 2016

implementing fmt::Display for Z3Ast
snf
committedFeb 12, 2016
adding Z3.clone_ast
snf
committedFeb 12, 2016
adding Z3Ast.extract
snf
committedFeb 12, 2016
adding check sort kind check
snf
committedFeb 12, 2016
adding extract
snf
committedFeb 12, 2016

Commits on Jan 3, 2016

Merge remote-tracking branch 'origin/master'
snf
committedJan 3, 2016
creating README.md
snf
committedJan 3, 2016
Initial commit
snf
committedJan 3, 2016
changing z3-sys dep to git
snf
committedJan 3, 2016

Commits on Oct 16, 2015

adding mk_bv_const_i and mk_bv_const_str
snf
committedOct 16, 2015
adding get_numstring
snf
committedOct 16, 2015

Commits on Sep 10, 2015

adding ITE and improving code (thanks clippy)
snf
committedSep 10, 2015

Commits on Sep 8, 2015

adding is_valid and get_bv_width to model and fixing some names
snf
committedSep 8, 2015
fixing some types and adding sign/zero_ext, repeat and rotate_right/left
snf
committedSep 8, 2015
removing Z3Sort in favour of Z3 creating the vars/consts directly
snf
committedSep 8, 2015

Commits on Sep 6, 2015

exposing Z3 directly
snf
committedSep 6, 2015

Commits on Sep 2, 2015

making ctx() unsafe because it could escape lifetimes
snf
committedSep 2, 2015
adding initial files
snf
committedSep 2, 2015