mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-30 19:22:28 +00:00
Code Activity
15147 commits 49 branches 53 tags 182 MiB
Commit graph

2022 commits

Author SHA1 Message Date
Christoph M. Wintersteiger
9845c8ee26 ML API: No more objects; type hierarchy exposed; clean separation into modules. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:49 +00:00
Christoph M. Wintersteiger
12afbfe6db Checkpoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:48 +00:00
Christoph M. Wintersteiger
313ccfbe8d Checkpoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:47 +00:00
Christoph M. Wintersteiger
3a0af6d15f ML API: Added Solver.assert_and_track 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:23 +00:00
Christoph M. Wintersteiger
b895d4c826 ML API: added functions for global parameter management. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:22 +00:00
Christoph M. Wintersteiger
8d1413bcc8 ML API: Symbols are now normal types with visible hierarchy. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:19 +00:00
Christoph M. Wintersteiger
1b3e1d1a6c ML API: moved more objects into normal types. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:06:19 +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
Christoph M. Wintersteiger
49dd2e4a07 ML API: build system changes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:03:40 +00:00
Christoph M. Wintersteiger
e2f6b10e32 ML API bugfixes 
More ML examples

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:02:17 +00:00
Christoph M. Wintersteiger
c03d5277bc more ML 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:36 +00:00
Christoph M. Wintersteiger
25498345e5 New ML API bugfixes and first example. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:36 +00:00
Christoph M. Wintersteiger
c2ff90720e ML API: mk_context added. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:35 +00:00
Christoph M. Wintersteiger
77679dc1f5 More new ML API; Status: everything is there except for error handling. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:34 +00:00
Christoph M. Wintersteiger
49a4e77a6d More new ML API. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:34 +00:00
Christoph M. Wintersteiger
f1ecf3ae0b New ML API savepoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:33 +00:00
Christoph M. Wintersteiger
954d92a513 More new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:32 +00:00
Christoph M. Wintersteiger
2a6c74bc13 New ML API savepoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:32 +00:00
Christoph M. Wintersteiger
c28f0e7c8a ML API bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:31 +00:00
Christoph M. Wintersteiger
a2ad7d91bc New ML API savepoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:01:31 +00:00
Christoph M. Wintersteiger
7ae90f0b20 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 17:01:29 +00:00
Christoph M. Wintersteiger
d8ed9be98e ML native layer bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:00:22 +00:00
Christoph M. Wintersteiger
cfa099007a ML build system checks 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:59:51 +00:00
Christoph M. Wintersteiger
18a57267d1 added temporary Makefile for ML annotations. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:57:11 +00:00
Christoph M. Wintersteiger
1685e3dd6f ML API bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:57:10 +00:00
Christoph M. Wintersteiger
50560ba791 more ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:56:43 +00:00
Christoph M. Wintersteiger
0e98d26721 ML API and example compilation. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:56:42 +00:00
Christoph M. Wintersteiger
f614f6824e More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:55:23 +00:00
Christoph M. Wintersteiger
f7b3529f01 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:55:22 +00:00
Christoph M. Wintersteiger
d2d4bf7f83 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:53:56 +00:00
Christoph M. Wintersteiger
1ef9013c8e More new ML API. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:50:44 +00:00
Christoph M. Wintersteiger
a40433aae8 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:13:58 +00:00
Christoph M. Wintersteiger
90cb046684 Beginnings of a new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:12:13 +00:00
Christoph M. Wintersteiger
ae2c4d738c ML API: build fix 2015-01-19 16:08:37 +00:00
Christoph M. Wintersteiger
f0d66388d4 ML API: build fixes 2015-01-19 16:08:34 +00:00
Christoph M. Wintersteiger
16ba29e991 ML API: added interpolation, bugfixes. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:36 +00:00
Christoph M. Wintersteiger
30a30e8dd0 ML API: bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:35 +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
d84e728f7a 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 16:07:08 +00:00
Christoph M. Wintersteiger
8bd4ea293e 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 16:07:07 +00:00
Christoph M. Wintersteiger
bcbfaad3cc ML API bugfix. Thanks to Martin Neuhaeusser for reporting this one! 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:06 +00:00
Christoph M. Wintersteiger
ce94a8b2e0 ML API: added constructors for ast_map and ast_vector 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:05 +00:00
Christoph M. Wintersteiger
1c34842ca6 ML API: added Expr.equal and Expr.compare 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:05 +00:00
Christoph M. Wintersteiger
4c54b6816a ML API bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:04 +00:00
Christoph M. Wintersteiger
2a67301c50 ML API bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:03 +00:00
Christoph M. Wintersteiger
47997e175f ML API doc fixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:02 +00:00
Christoph M. Wintersteiger
d8a84c9f89 ML API doc fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:07:01 +00:00