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 |
|
Kartik Singhal
|
1dcbd2d86c
|
Correct capitalization of package (#5569)
See https://stackoverflow.com/a/50004273/1167061
|
2021-09-25 09:04:06 -07:00 |
|
Kiwamu Okabe
|
81b8f397b3
|
Need -thread option to compile OCaml example (#5440)
I can compile the OCaml example with `-thread` option at Linux.
```
$ ocaml --version
The OCaml toplevel, version 4.05.0
```
|
2021-07-28 16:57:26 -07:00 |
|
Bruce Mitchener
|
a76397d3b8
|
Refer to macOS rather than Mac OS / OSX.
|
2018-10-02 17:38:09 +07: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
|
134b93b43e
|
ML API build fixes for Windows.
|
2015-12-14 14:41:19 +00:00 |
|
Christoph M. Wintersteiger
|
771caba9db
|
update ML example readme
|
2015-12-13 17:44:50 +00:00 |
|
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
|
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
|
10c153bfe4
|
ML API: build fix
|
2015-01-19 17:17:13 +00:00 |
|
Christoph M. Wintersteiger
|
05af33ac7d
|
ML API: ocamlfind installation fixes
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:13:52 +00:00 |
|
Christoph M. Wintersteiger
|
555a3883b9
|
ML example doc fix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:11:18 +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
|
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
|
54b7f8eec3
|
ML API bugfix (Codeplex issue 102)
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-19 17:09:39 +00:00 |
|