Nikolaj Bjorner
|
a0894ac7bf
|
add basic example of using optimizaiton context to Java as raised in issue #179
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-07-30 11:32:14 -03:00 |
|
Christoph M. Wintersteiger
|
8862cb4833
|
Java example: Removed throws declarations for Z3Exception.
|
2015-04-09 14:52:50 +01:00 |
|
Christoph M. Wintersteiger
|
9b137d54d3
|
Bugfix and new examples for implicit assumptions in Z3_solver_assert_and_track. Thanks to Amir Ebrahimi for reporting this issue!
(See http://stackoverflow.com/questions/28558683/modeling-constraints-in-z3-and-unsat-core-cases)
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-02-18 16:25:27 +00:00 |
|
Christoph M. Wintersteiger
|
b96551a1a2
|
.NET/Java/ML: Moved toggle_warning_messages to Global, added en/disable_trace.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-02-07 14:17:39 +00:00 |
|
Christoph M. Wintersteiger
|
d7a62baef4
|
Improved memory use of the Java API. Thanks to Joerg Pfaehler for reporting this issue!
+ formatting
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-30 21:10:22 -06:00 |
|
Christoph M. Wintersteiger
|
7fe9ad5cb4
|
Java FPA API overhaul
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-08 17:22:02 +00:00 |
|
Christoph M. Wintersteiger
|
0faf329054
|
FPA API: bugfixes and examples for .NET and Java
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-03 17:26:58 +00:00 |
|
Christoph M. Wintersteiger
|
2f9b3c42eb
|
Java API cleanup
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2014-10-24 19:43:36 +01:00 |
|
Christoph M. Wintersteiger
|
cc99e96786
|
Java API Cleanup
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2014-10-24 18:00:36 +01:00 |
|
Christoph M. Wintersteiger
|
5fe58c2f2d
|
Java API: renamed assert_(...) to add(...)
.NET API: added alias Add(...) for Assert(...)
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-02-26 19:13:48 +00:00 |
|
Christoph M. Wintersteiger
|
91402f2060
|
C API: fixed mk_context/mk_context_rc exception behaviour
Adjusted .NET/Java APIs accordingly.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-02-08 18:54:44 +00:00 |
|
Christoph M. Wintersteiger
|
4b18c8f9c4
|
Java API: syntactic adjustments, getters, setters,
... convenience parameters, etc.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2013-01-17 19:31:02 +00:00 |
|
Christoph M. Wintersteiger
|
4d1d784a1c
|
Java+.Net Examples: refactoring
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-12-04 19:32:20 +00:00 |
|
Leonardo de Moura
|
54e452a1af
|
chasing bug in the Java bindings
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-12-03 16:58:44 -08:00 |
|
Leonardo de Moura
|
847c5f9691
|
fixing problems
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-12-03 11:55:24 -08:00 |
|
Christoph M. Wintersteiger
|
692593baaa
|
Java API: 32-bit issues and bugfixes.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-11-30 22:31:07 +00:00 |
|
Christoph M. Wintersteiger
|
0c1f2a8281
|
Java API: Added exception wrappers and build dependencies.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-11-30 15:39:25 +00:00 |
|
Leonardo de Moura
|
001c8487e9
|
small change to be able to test java example on linux
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-11-29 09:13:24 -08:00 |
|
Christoph M. Wintersteiger
|
bbfd9dd19f
|
Java API: bugfixes
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-11-28 22:20:36 +00:00 |
|
Christoph M. Wintersteiger
|
519d308b86
|
Java API: bugfixes
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-11-28 14:59:39 +00:00 |
|
Christoph M. Wintersteiger
|
a9883e972f
|
Java API: Bugfixes and Example.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-11-27 23:06:35 +00:00 |
|