Commits

Author Commit Message Labels Comments Date
Nikolaj Bjorner
bmc/farkas/smt2 pattern printing
unknown
working on bmc and bug fixes
unknown
working on bmc and bug fixes
unknown
working on bmc and bug fixes
Leonardo de Moura
more changes
Leonardo de Moura
adjusting compilation modes
Leonardo de Moura
Merge branch 'working' of //z3-1/z3 into working
Christoph Wintersteiger
updated build.cmd for Microsoft.Z3
Christoph Wintersteiger
removed test_managed, added Microsoft.Z3/test_mapi
Leonardo de Moura
Added Xor to z3py
Leonardo de Moura
Fixed gcc compilation bug, add exec flag
Leonardo de Moura
cleanned test_capi example
Leonardo de Moura
Removed external_64 compilation mode
Leonardo de Moura
removed redundant compilation modes
unknown
Merge branch 'working' of https://z3-1/gw/git/z3 into working
Nikolaj Bjorner
debugging real/int interaction
Nikolaj Bjorner
debugging dl_bmc
Nikolaj Bjorner
debugging dl_bmc
Nikolaj Bjorner
Merge branch 'working' of https://z3-1/gw/git/z3 into working
Nikolaj Bjorner
debugging imdds and fixed bug in horn subsumption model transformer
Leonardo de Moura
Added release notes
Leonardo de Moura
updated API
Leonardo de Moura
Merge branch 'working' of //z3-1/z3 into working
jberdine
regenerated ml api
jberdine
reordered Z3_get_quantifier_num_bound in z3_api
jberdine
fixed typos in docs for num_no_patterns and no_patterns
Nikolaj Bjorner
Merge branch 'working' of https://z3-1/gw/git/z3 into working
Nikolaj Bjorner
exposing hyper resolution rule over C API
Leonardo de Moura
Cleaned maxsat example
Leonardo de Moura
Removed release command from Makefile. Cleaned c++ example.
  1. Prev
  2. Next