mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 02:15:19 +00:00
Code Activity
531 commits 23 branches 48 tags 156 MiB
Commit graph

531 commits

This branch
This branch
All branches
Author SHA1 Message Date
Christoph M. Wintersteiger 2976fcbfd8 Java API: Build system update. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 19:01:03 +00:00
Christoph M. Wintersteiger c1bd6cb2fa Java API: Removed auto-generated files. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 18:48:42 +00:00
Christoph M. Wintersteiger 11ffbab0bd Java API: Removed auto-generated files. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 18:47:30 +00:00
Christoph M. Wintersteiger 9a79511458 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-27 16:37:18 +00:00
Christoph M. Wintersteiger c045214da2 Managed API: Bugfixes and refactoring. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 16:37:04 +00:00
Christoph M. Wintersteiger c6303fc8f5 Java API: a first version that compiles. This is still untested. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 16:36:50 +00:00
Nikolaj Bjorner c82deeaf3c working on quantifiers 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-27 08:01:11 -08:00
Nikolaj Bjorner fb947f50fb fold properties at level infty into the other properties as suggested by Arie 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-26 20:47:09 -08:00
Nikolaj Bjorner ff866e86a4 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-26 17:55:52 -08:00
Nikolaj Bjorner 8612c89c54 working on quantifiers 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-26 17:55:40 -08:00
Christoph M. Wintersteiger 6797f39b75 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-27 00:39:32 +00:00
Christoph M. Wintersteiger 1e8b45e653 Java API: Build system and Refactoring. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 00:39:23 +00:00
Christoph M. Wintersteiger 8c32f6b015 Managed API: Refactoring 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 00:38:19 +00:00
Nikolaj Bjorner 4f7dd08c38 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-26 14:18:26 -08:00
Nikolaj Bjorner 521d975c84 additional array handling routines 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-26 14:18:20 -08:00
Nikolaj Bjorner 589665f00e set low-level pretty printer by default from fixedpoint context 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-26 14:01:06 -08:00
Nikolaj Bjorner b456be1151 fix documentation string in python API 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-26 14:00:20 -08:00
Christoph M. Wintersteiger d1342ba7a9 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-26 21:03:47 +00:00
Christoph M. Wintersteiger 36d9a90d2a Java API: more automatic translation from C#, but still unfinished. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-26 21:03:35 +00:00
Christoph M. Wintersteiger 75b1278e97 Managed API: Refactoring. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-26 21:02:22 +00:00
Nikolaj Bjorner f7825755db fix build problem, redo naming abstraction 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-26 08:26:51 -08:00
Christoph M. Wintersteiger 682a725e13 Managed API: Refactoring, Formatting. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-26 13:47:26 +00:00
Nikolaj Bjorner 008fc648c1 ensure there are enough variables 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-25 16:53:13 -08:00
Nikolaj Bjorner 93ad91d2f9 preparing handling of arrays/quantifiers, fix cover-related bugs reported by Arie 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-25 12:08:49 -08:00
Christoph M. Wintersteiger 6834abd781 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-23 19:25:19 +00:00
Christoph M. Wintersteiger eb812f0fad Java API: Updates, this is still work in progress. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-23 19:24:56 +00:00
Leonardo de Moura e4b80d3c31 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-23 10:50:21 -08:00
Leonardo de Moura ead39ea6c5 Fixed bug reported by Nuno Lopes 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-23 10:49:58 -08:00
Christoph M. Wintersteiger 7defd469bb Managed API: Refactoring and formatting. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-23 18:30:51 +00:00
Leonardo de Moura edc9dccbcf removed dead file 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 19:41:43 -08:00
Leonardo de Moura 4b27eae47f using doxygen to document z3py API 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 18:41:43 -08:00
Leonardo de Moura b855313141 updated API doc generation 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 18:16:58 -08:00
Leonardo de Moura a9a673bb8a New API website 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 17:53:43 -08:00
Leonardo de Moura 8ea61dacda Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-22 17:09:36 -08:00
Leonardo de Moura 85b9d8c37a improved Z3 documentation 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 17:09:30 -08:00
Leonardo de Moura 7da026bad2 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-22 17:05:18 -08:00
Leonardo de Moura 7c40c4bd9a Added more comments to the C++ API 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 17:04:59 -08:00
Christoph M. Wintersteiger 520bcaf720 More Java API. This is still under heavy construction and cannot be used. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-23 00:46:44 +00:00
Christoph M. Wintersteiger c702454f6c Formatting 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-23 00:45:48 +00:00
Leonardo de Moura c4197722bb removing dead params 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 16:36:46 -08:00
Leonardo de Moura 33c44d014b Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-22 16:20:19 -08:00
Leonardo de Moura 026c81ba29 Simplified asserted_formulas. From now on, we should use tactics for qe, der, solve, etc. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 16:20:02 -08:00
Nikolaj Bjorner dcbf1f9fbb Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-22 15:52:00 -08:00
Nikolaj Bjorner 141236e975 fix seg-fault bugs reported by Arie 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-22 15:51:47 -08:00
Leonardo de Moura 4237ac0dbf Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-22 15:22:28 -08:00
Leonardo de Moura e0c79c06bc removed class 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 15:21:57 -08:00
Leonardo de Moura ce2fbd559e removed dead file 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 15:07:05 -08:00
Nikolaj Bjorner d27997aa1b Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-22 13:46:26 -08:00
Nikolaj Bjorner 7d9254f122 fix multiple bugs in interfacing with fixedpoint context 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-11-22 13:46:12 -08:00
Christoph M. Wintersteiger 985145d810 Beginnings of a Java API. This is under heavy construction. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-22 20:38:05 +00:00