mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 13:07:53 +00:00
Code Activity
10167 commits 49 branches 53 tags 182 MiB
Commit graph

68 commits

Author SHA1 Message Date
Nikolaj Bjorner
7f5d66c3c2 updated release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-19 12:21:17 -08:00
Nikolaj Bjorner
0f0287d129 prepare release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-28 17:42:16 -05:00
Bruce Mitchener
5bd93b8a77 Typo fixes. 2018-10-12 23:38:53 +07:00
Nikolaj Bjorner
e622022bf9 updated release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-07-03 21:42:14 -07:00
Nikolaj Bjorner
a8e864a3e6 add missing files 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-26 07:36:36 -07:00
Nikolaj Bjorner
520ce9a5ee integrate lambda expressions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-26 07:23:04 -07:00
Nikolaj Bjorner
1debbc29c4 release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-15 14:59:33 -07:00
Nikolaj Bjorner
a9ca01d8d3 deprecating interp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-24 13:12:07 -07:00
Nikolaj Bjorner
4f5775c531 remove interpolation and duality dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-24 08:33:48 -07:00
Nikolaj Bjorner
d088a1b9f6 updated release notes for merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-23 18:25:14 -07:00
Nikolaj Bjorner
f2aae7cffa release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-22 16:59:11 -07:00
Bruce Mitchener
ae8027e594 Fix typos. 2018-02-01 19:39:43 +07:00
Bruce Mitchener
73b3da37d8 Typo fixes. 2018-01-02 22:48:06 +07:00
Christoph M. Wintersteiger
b0aaa4c6d7 Updated release notes 2017-12-18 14:18:30 +00:00
Dan Liew
1941a53999 [Release Notes] Note that C++11 is required to build Z3 and is also 
required by the C++ API bindings.
 2017-12-07 10:56:44 +00:00
Nikolaj Bjorner
1681419052 adding change notes to release notes for a future release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-06-23 16:50:33 -07:00
Nikolaj Bjorner
0909832cbf updated release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2016-11-06 02:11:45 +01:00
Christoph M. Wintersteiger
19858c44b2 Added release notes for the upcoming 4.5.0 release 2016-11-04 19:39:53 +00:00
Nikolaj Bjorner
773f90f122 add to release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-10-05 09:31:14 -07:00
Christoph M. Wintersteiger
215f9d26eb Updated release notes 2015-10-02 20:07:42 +01:00
Christoph M. Wintersteiger
4e082eae6e Version number adjustment. 2015-04-29 15:16:25 +01:00
Christoph M. Wintersteiger
1c77ad00c3 Added accessors to enumeration sorts. Thanks to codeplex user steimann for suggesting this. 
(http://z3.codeplex.com/workitem/195)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-03-24 21:42:05 +00:00
Christoph M. Wintersteiger
6630994a3d + bug reporter 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-03-04 18:31:08 +00:00
Christoph M. Wintersteiger
1f8119f601 Bugfix for the Java API. Thanks to codeplex user susmitj for reporting this problem! 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-03-04 15:14:07 +00:00
Christoph M. Wintersteiger
6537390171 + bug reporter 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-02-18 16:34:35 +00:00
Christoph M. Wintersteiger
e1d469fcbf Update release notes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-24 19:12:55 +00:00
Christoph M. Wintersteiger
2cb84280d8 Final adjustments for the FP integration 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-21 17:58:31 +00:00
Christoph M. Wintersteiger
237577acc8 Bumping version to 4.4 
Added to release notes

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-20 15:59:54 +00:00
Christoph M. Wintersteiger
6b51f7a610 Added item to release notes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-10-25 16:59:24 +01:00
Christoph M. Wintersteiger
6e159bd442 updated release notes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-10-24 15:54:49 +01:00
Christoph M. Wintersteiger
fd0920eb36 Updated release notes 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-10-23 19:15:26 +01:00
Leonardo de Moura
bdc675b1df Fix bug reported at http://stackoverflow.com/questions/15226944/segmentation-fault-in-z3 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-03-05 09:04:03 -08:00
Leonardo de Moura
4922d62311 Fix bug reported at http://z3.codeplex.com/workitem/23 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-02-21 11:02:13 -08:00
Leonardo de Moura
030aef5d5a Fix bug reported by Andrey Kupriyanov 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-02-14 09:55:42 -08:00
Leonardo de Moura
a895506dac Fix issue reported at http://stackoverflow.com/questions/14524316/z3-4-3-get-complete-model 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-01-25 09:29:03 -08:00
Leonardo de Moura
7eaa5562d8 Fix http://z3.codeplex.com/workitem/19 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-01-24 12:51:03 -08:00
Leonardo de Moura
39d5b850e8 Fix bug reported at http://stackoverflow.com/questions/14307692/unknown-when-using-defs 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-01-13 12:59:39 -08:00
Leonardo de Moura
2a286541e0 Fix crash reported at http://z3.codeplex.com/workitem/11. Fix array rewriter bug, rewriter was producing sort incorrect expression. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-26 08:36:25 -08:00
Leonardo de Moura
6602803850 Add Python 3.x support 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-20 17:47:38 -08:00
Leonardo de Moura
4f0d5a5756 Add thanks to Etienne Kneuss 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-18 07:27:20 -08:00
Leonardo de Moura
83f7b294cc Update RELEASE_NOTES with latest bug fix 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-17 21:05:04 -08:00
Leonardo de Moura
f8014f54c1 Fix bug reported at http://stackoverflow.com/questions/13923316/unprintable-solver-model 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-17 15:13:05 -08:00
Leonardo de Moura
8c211dd4fc Fix bug reported by Philippe Suter, see RELEASE_NOTES 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-17 14:07:21 -08:00
Leonardo de Moura
6958b9cdb6 Fixed issues with the pretty printer 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-13 15:19:37 -08:00
Leonardo de Moura
e0f4d870fd Removed auxiliary constants created by the nnf tactic from Z3 models. Fixed model.compact parameter propagation problem. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-13 14:03:58 -08:00
Leonardo de Moura
84e79035cb Updated release notes 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-09 12:24:14 -08:00
Leonardo de Moura
44ae1a2d70 fixed problem reported by Dejan 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-06 16:09:10 -08:00
Leonardo de Moura
cf28cbab0a saved params work 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-29 17:19:12 -08:00
Leonardo de Moura
c3055207ed updated release notes 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-29 10:30:16 -08:00
Leonardo de Moura
0733db382f updated release notes 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-29 09:15:03 -08:00