Christoph M. Wintersteiger
|
68a2c08d5e
|
Add Z3_get_estimated_alloc_size to OCaml API (#7068)
|
2023-12-21 12:54:30 -08:00 |
|
Christoph M. Wintersteiger
|
16753e43f1
|
Add accessors for RCF numeral internals (#7013)
|
2023-11-23 17:54:23 +01:00 |
|
Christoph M. Wintersteiger
|
23de8056d7
|
Add RCF functions to OCaml API (#6932)
|
2023-10-06 11:49:22 +09:00 |
|
Nikolaj Bjorner
|
fa72ec5405
|
switch to expose fresh function instead of changing legacy function
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2023-01-24 13:05:34 -08:00 |
|
Nikolaj Bjorner
|
47c7ed3b17
|
update ml example to 64 bit
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2023-01-24 04:33:52 -08:00 |
|
Nikolaj Bjorner
|
94ffa3963e
|
fix #1800 by converting large integers to strings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-08-24 16:54:22 +02:00 |
|
Christoph M. Wintersteiger
|
3587baaf24
|
Added full version strings and associated API functions.
|
2016-07-28 18:06:02 +01:00 |
|
Christoph M. Wintersteiger
|
b99fcb9c8a
|
More new OCaml API
|
2016-02-14 19:56:22 +00:00 |
|
Christoph M. Wintersteiger
|
7e3676e24a
|
bugfix for ML example
|
2016-01-08 13:25:14 +00:00 |
|
Christoph M. Wintersteiger
|
e29abefb12
|
Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng
Conflicts:
scripts/mk_util.py
+ Cosmetics
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-24 18:44:59 +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
|
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
|
ed0fa93245
|
Minor adjustments after rebase
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:35:19 +00:00 |
|
Christoph M. Wintersteiger
|
0465ad3ce6
|
ML example; or' is deprecated, changed to ||'
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:11:16 +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
|
c1e29dabe7
|
ML API: renamed assert_ to add
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:08:15 +00:00 |
|
Christoph M. Wintersteiger
|
eea13a087f
|
ML API savegame
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:08:14 +00:00 |
|
Christoph M. Wintersteiger
|
d293b579f3
|
ML API: flat & rich layer in place.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:08:13 +00:00 |
|
Christoph M. Wintersteiger
|
79d0c32c91
|
ML API: replaced arrays with lists.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:08:12 +00:00 |
|
Christoph M. Wintersteiger
|
6842acbea8
|
ML API: Cleanup
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:08:10 +00:00 |
|
Christoph M. Wintersteiger
|
9142901efe
|
ML API: bugfixes
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:08:08 +00:00 |
|
Christoph M. Wintersteiger
|
9ed926498f
|
ML API: updated example
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:06:20 +00:00 |
|
Christoph M. Wintersteiger
|
3347d7ca8c
|
ML API: moved more objects into normal types.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:06:18 +00:00 |
|
Christoph M. Wintersteiger
|
6257c56901
|
ML API: bugfixes; starting to replace objects with normal types.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:06:18 +00:00 |
|
Christoph M. Wintersteiger
|
1e2b546b03
|
ML API: changed context from object to normal type. Removed optional array parameters.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:06:17 +00:00 |
|