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 |
|
|
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
|
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 |
|