mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity
1979 commits 23 branches 48 tags 157 MiB
Commit graph

1979 commits

This branch
This branch
All branches
Author SHA1 Message Date
Christoph M. Wintersteiger
4f0e8a1057 ML API refactoring (z3native.c -> z3native_stubs.c) 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:06:08 +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
2f00968b4f ML example doc fix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:05:11 +00:00
Christoph M. Wintersteiger
10fe6b7759 ML API refactoring 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:04: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
a028f200af ML example; or' is deprecated, changed to ||' 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:02:39 +00:00
Christoph M. Wintersteiger
20be39006e ML API or' is deprecated, changed to ||' 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:02:38 +00:00
Christoph M. Wintersteiger
0da912e557 ML API bugfix 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:01:37 +00:00
Christoph M. Wintersteiger
832e119b98 ML API bugfix (Codeplex issue 102) 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:01:36 +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
2ee3ff518f ML bindings: list/array are now called z3array/z3list to avoid confusion. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:00:30 +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
755ba2a2f7 ML API: removing rich layer for now. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:00:28 +00:00
Christoph M. Wintersteiger
9726ee4c5f ML API: refactoring 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:00:28 +00:00
Christoph M. Wintersteiger
c0df764039 Updates to ML API. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:57:38 +00:00
Christoph M. Wintersteiger
17005a413b Removed unnecessary file 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:57:21 +00:00
Christoph M. Wintersteiger
c37eb794c2 ML API: renamed assert_ to add 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:57:20 +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
13416de27e ML API savegame 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:55:52 +00:00
Christoph M. Wintersteiger
6417f9e648 ML API: flat & rich layer in place. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:54:46 +00:00
Christoph M. Wintersteiger
a0f6d1d3df ML API: replaced arrays with lists. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:54:28 +00:00
Christoph M. Wintersteiger
576591086d ML API savepoint 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:54:11 +00:00
Christoph M. Wintersteiger
9d15c95856 ML API: proper use of datatype API for list/enum/constructor. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:53:58 +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
fd2ae5f60e ML API: bugfixes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:53:20 +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
a27945f297 ML API: got rid of "extra" objects on types. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:53:17 +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
34a72942bf ML API: documentation fixes. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:48 +00:00
Christoph M. Wintersteiger
276c5a5cdc ML API: No more objects; type hierarchy exposed; clean separation into modules. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:47 +00:00
Christoph M. Wintersteiger
0138d0c11c Checkpoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:46 +00:00
Christoph M. Wintersteiger
7b51dc9bdd Checkpoint. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:45 +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
1eae7a6bac ML API: Added Solver.assert_and_track 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:44 +00:00
Christoph M. Wintersteiger
7befc262d1 ML API: added functions for global parameter management. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:43 +00:00
Christoph M. Wintersteiger
048e8c1a97 ML API: updated example 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:41 +00:00
Christoph M. Wintersteiger
69138924e5 ML API: Symbols are now normal types with visible hierarchy. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:40 +00:00
Christoph M. Wintersteiger
d0fea5e740 ML API: moved more objects into normal types. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:39 +00:00
Christoph M. Wintersteiger
bcc0c14233 ML API: moved more objects into normal types. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:51:39 +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
0e59d05629 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 15:51:37 +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