mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity
1999 commits 49 branches 53 tags 182 MiB
Commit graph

311 commits

Author SHA1 Message Date
Christoph M. Wintersteiger
fc32a2e473 ML API: Undoing earlier changes. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:36 +00:00
Christoph M. Wintersteiger
4109d19cec ML API: bugfixes 2015-01-19 16:07:34 +00:00
Christoph M. Wintersteiger
bd9c863e6b ML API: bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:34 +00:00
Christoph M. Wintersteiger
45ec0c1b99 ML API: bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:33 +00:00
Christoph M. Wintersteiger
2a67befe9d ML API: added .cmxs to the distribution. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:31 +00:00
Christoph M. Wintersteiger
662039938c ML API bugfix (Issue #119). Thanks to user Elarnon for reporting this! 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:08 +00:00
Christoph M. Wintersteiger
f72ac1afb6 ML API: bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:00 +00:00
Christoph M. Wintersteiger
1e4b14af67 ML API: ocamlfind installation fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:00 +00:00
Christoph M. Wintersteiger
6394dde85d ML API: build fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:06:59 +00:00
Christoph M. Wintersteiger
e2f0dc31f4 ML API: Added get_bit_int and get_ratio 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:06:59 +00:00
Christoph M. Wintersteiger
e5932efc44 ML API refactoring (z3native.c -> z3native_stubs.c) 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:05:40 +00:00
Christoph M. Wintersteiger
3228c3ff5c ML API build fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:04:39 +00:00
Christoph M. Wintersteiger
d0588c0565 ML API build fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:03:36 +00:00
Christoph M. Wintersteiger
a3d17a0e24 ML API build fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:03:04 +00:00
Christoph M. Wintersteiger
f7c371ac4d ML API: bugfix for native function with more than 5 parameters. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:01:36 +00:00
Christoph M. Wintersteiger
3e336592a2 ML API: bug and build fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:00:29 +00:00
Christoph M. Wintersteiger
74ab6dbd22 ML API: bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:57:05 +00:00
Christoph M. Wintersteiger
2af1f81ae1 ML API: Cleanup 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:53:42 +00:00
Christoph M. Wintersteiger
09aa02759f ML API: Build system and error handling fixes. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:53:21 +00:00
Christoph M. Wintersteiger
5f41a40a63 ML API: build system fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:53:18 +00:00
Christoph M. Wintersteiger
23febf13c4 ML API: basic structure and interface 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:52:08 +00:00
Christoph M. Wintersteiger
49cd4e2d35 ML build 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:45 +00:00
Christoph M. Wintersteiger
bbd1e465bb ML API: bugfixes; starting to replace objects with normal types. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:38 +00:00
Christoph M. Wintersteiger
381d552f96 ML API: build system fixes 2015-01-19 15:51:37 +00:00
Christoph M. Wintersteiger
be3fb0ef18 ML API: build system fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:36 +00:00
Christoph M. Wintersteiger
1865ca58c3 ML API: build system fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:35 +00:00
Christoph M. Wintersteiger
b48c444978 ML API: build system fix 2015-01-19 15:51:35 +00:00
Christoph M. Wintersteiger
9d965b5fec ML API: build system fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:34 +00:00
Christoph M. Wintersteiger
9eea0f3232 ML API: build system changes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:33 +00:00
Christoph M. Wintersteiger
7aef3fa5c6 ML API: bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:50:47 +00:00
Christoph M. Wintersteiger
35ef2d1c40 ML API: bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:50:46 +00:00
Christoph M. Wintersteiger
297604bee2 ML API: linker fix 2015-01-19 15:50:23 +00:00
Christoph M. Wintersteiger
d0591334a2 ML API: made native layer ANSI-C compliant to avoid compilation issues. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:56 +00:00
Christoph M. Wintersteiger
597409c8ac ML API bugfixes 
More ML examples

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:55 +00:00
Christoph M. Wintersteiger
bffef2e808 New ML API bugfixes and first example. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:22 +00:00
Christoph M. Wintersteiger
371db347af More new ML API. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:20 +00:00
Christoph M. Wintersteiger
d6a2048785 More new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:19 +00:00
Christoph M. Wintersteiger
2277ad3654 ML API bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:18 +00:00
Christoph M. Wintersteiger
794823ba6d More ML API: 
Fixes in native layer.
Added symbols.
Prepared code for automatic documentation.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:49:16 +00:00
Christoph M. Wintersteiger
7efe7a2c16 ML native layer bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:48:40 +00:00
Christoph M. Wintersteiger
8e83f8d034 ML build system checks 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:46:54 +00:00
Christoph M. Wintersteiger
b193b827ed ML API bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:44:42 +00:00
Christoph M. Wintersteiger
c001da6188 ML API and example compilation. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:42:23 +00:00
Christoph M. Wintersteiger
bea09539cf More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:42:18 +00:00
Christoph M. Wintersteiger
2dde851ed7 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:42:16 +00:00
Christoph M. Wintersteiger
8d30fabc0a New native ML API layer. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:40 +00:00
Christoph M. Wintersteiger
65ddf2be49 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:39 +00:00
Christoph M. Wintersteiger
f5a0520b83 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:37 +00:00
Christoph M. Wintersteiger
03a5c88ded More new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:10 +00:00
Christoph M. Wintersteiger
70f0d2f423 Beginnings of a new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:38:52 +00:00