Lots of OCaml API bugfixes/improvements courtesy of @martin-neuhaeusser#583
Merged
wintersteiger merged 42 commits intoZ3Prover:masterfrom wintersteiger:new-ml-apiMay 3, 2016
+2,949-3,482
Commits
Commits on Feb 13, 2016
- committed
Christoph M. Wintersteiger
Commits on Feb 14, 2016
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Feb 15, 2016
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Feb 16, 2016
- committedChristoph M. Wintersteiger
Commits on Mar 2, 2016
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Mar 3, 2016
- committedChristoph M. Wintersteiger
Commits on Mar 4, 2016
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Mar 7, 2016
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Mar 8, 2016
- committedChristoph M. Wintersteiger
Commits on Mar 31, 2016
- committed
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Apr 3, 2016
Commits on Apr 4, 2016
Commits on Apr 5, 2016
- committed
- committedChristoph M. Wintersteiger
Commits on Apr 6, 2016
- committed
- committed
- committed
- committed
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
Commits on Apr 18, 2016
Commits on Apr 19, 2016
Commits on May 3, 2016
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger
- committedChristoph M. Wintersteiger