mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity
2446 commits 24 branches 48 tags 158 MiB
Commit graph

543 commits

Author SHA1 Message Date
Christoph M. Wintersteiger
b92bdaeebe ML API readme fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-24 18:51:47 +00:00
Christoph M. Wintersteiger
2f3ea1f39d removed legacy ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-24 18:48:51 +00:00
Christoph M. Wintersteiger
5c7d0380d3 Fixes in the OCaml FPA API and example 2015-01-24 18:29:52 +00:00
Christoph M. Wintersteiger
1c9051016a Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng 
Conflicts:
	scripts/mk_util.py
 2015-01-24 18:29:03 +00:00
Christoph M. Wintersteiger
9cb50c9f28 FPA API bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-24 17:33:26 +00:00
Christoph M. Wintersteiger
5f527fa562 documentation fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-24 15:54:32 +00:00
Christoph M. Wintersteiger
65ccc9a8ea added FPA ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-23 19:36:47 +00:00
Christoph M. Wintersteiger
145e025959 FPA API naming consistency 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-23 18:14:49 +00:00
Christoph M. Wintersteiger
89bfbd38c8 Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng 2015-01-23 17:11:57 +00:00
Christoph M. Wintersteiger
06051989be FPA API: Naming consistency 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-23 17:11:12 +00:00
Christoph M. Wintersteiger
3bf3de17e9 Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng 2015-01-23 17:04:18 +00:00
Christoph M. Wintersteiger
3d91510565 FPA API: naming consistency fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-23 17:03:56 +00:00
Christoph M. Wintersteiger
724e04174e Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng 2015-01-23 15:32:01 +00:00
Christoph M. Wintersteiger
8cd69acaca build fix 2015-01-23 11:34:08 +00:00
Christoph M. Wintersteiger
ffd10675f4 Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng 2015-01-23 11:07:48 +00:00
Christoph M. Wintersteiger
0c2e2d78dd renamed function to avoid compilation issues 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-22 18:52:28 +00:00
Christoph M. Wintersteiger
034e4f469e Fixed memory leak 2015-01-22 18:43:23 +00:00
Christoph M. Wintersteiger
c3ff342bea Bugfixes for the Python FPA API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-22 18:31:30 +00:00
Christoph M. Wintersteiger
0ab54b9e0c bugfix for FPA numerals 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-21 19:43:26 +00:00
Christoph M. Wintersteiger
826d295981 build fixes and removed unused variables 2015-01-21 19:29:31 +00:00
Christoph M. Wintersteiger
84ed1c19a0 Bugfixes for the Java FPA API 
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-21 19:20:43 +00:00
Christoph M. Wintersteiger
bf28eb32c6 Merge branch 'fpa-api' of https://git01.codeplex.com/z3 into unstable 2015-01-21 19:09:48 +00:00
Christoph M. Wintersteiger
b6a7d60043 Added FPA functions to Java API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-21 19:09:22 +00:00
Christoph M. Wintersteiger
2cb84280d8 Final adjustments for the FP integration 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-21 17:58:31 +00:00
Christoph M. Wintersteiger
079204d1aa FPA Python API cosmetics 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-21 14:22:47 +00:00
Christoph M. Wintersteiger
e754aa1c11 Minor adjustments after rebasing ml-ng onto unstable. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:17:58 +00:00
Christoph M. Wintersteiger
011b700c20 ML API: build fix 2015-01-19 17:17:13 +00:00
Christoph M. Wintersteiger
93a20d9074 ML API: build fixes 2015-01-19 17:17:10 +00:00
Christoph M. Wintersteiger
42f12ed752 ML API: added interpolation, bugfixes. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:16:37 +00:00
Christoph M. Wintersteiger
94a8c271d4 ML API bugfix for datatype module (Issue #120). Thanks to user Elarnon for reporting this! 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:14:05 +00:00
Christoph M. Wintersteiger
7ec8c81c33 ML API fix for datatype construction (Issue #121). Thanks to Elarnon for reporting this one! 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:14:03 +00:00
Christoph M. Wintersteiger
a8f703e034 ML API bugfix. Thanks to Martin Neuhaeusser for reporting this one! 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:14:02 +00:00
Christoph M. Wintersteiger
5e2a7e06fd ML API: added constructors for ast_map and ast_vector 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:14:01 +00:00
Christoph M. Wintersteiger
9160925c28 ML API: added Expr.equal and Expr.compare 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:14:00 +00:00
Christoph M. Wintersteiger
a73a66b79c ML API bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:13:59 +00:00
Christoph M. Wintersteiger
e7345f5ea8 ML API bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:13:58 +00:00
Christoph M. Wintersteiger
83690a8fe3 ML API doc fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:13:57 +00:00
Christoph M. Wintersteiger
cc40105919 ML API doc fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:13:55 +00:00
Christoph M. Wintersteiger
409a40a562 ML API: Added get_bit_int and get_ratio 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:13:51 +00:00
Christoph M. Wintersteiger
3d9ad51aae ML API refactoring 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:11:18 +00:00
Christoph M. Wintersteiger
eb72afabfb ML API or' is deprecated, changed to ||' 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:11:15 +00:00
Christoph M. Wintersteiger
9dc8021995 Added facilities for ocamlfind in the ML API build 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:11:15 +00:00
Christoph M. Wintersteiger
ee22d40542 ML API bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:40 +00:00
Christoph M. Wintersteiger
54b7f8eec3 ML API bugfix (Codeplex issue 102) 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:39 +00:00
Christoph M. Wintersteiger
983a0fb16f ML bindings: list/array are now called z3array/z3list to avoid confusion. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:35 +00:00
Christoph M. Wintersteiger
544a74f034 ML API: bug and build fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:34 +00:00
Christoph M. Wintersteiger
e40b69d97f ML API: removing rich layer for now. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:32 +00:00
Christoph M. Wintersteiger
b81bae76b2 ML API: refactoring 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:32 +00:00
Christoph M. Wintersteiger
aaa835484f Updates to ML API. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:09:31 +00:00
Christoph M. Wintersteiger
c1e29dabe7 ML API: renamed assert_ to add 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:08:15 +00:00