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

79 commits

Author SHA1 Message Date
Nikolaj Bjorner 10ad5bae21 increment version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-11 06:17:58 +02:00
Nikolaj Bjorner 0f29fff836 remove bit-vector dependencies in seq theory 2021-02-08 10:57:50 -08:00
Nikolaj Bjorner 3f2349f0f7 update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-20 01:36:09 -08:00
Nikolaj Bjorner ee00542e76 update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-09-10 04:05:08 -07:00
Nikolaj Bjorner 2104624dfa updated release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-05 10:33:25 -07:00
Nuno Lopes f0b8da42ad typo 2019-11-16 19:27:10 +00:00
Nikolaj Bjorner 2bf595cb8f update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-16 10:21:06 -08:00
Nikolaj Bjorner 6b7c0ce334 add feature description to RELEASE_NOTES 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-09 09:44:45 -07:00
Nikolaj Bjorner a1d3acab29 add release notes preparing for release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-09-18 19:14:46 -07:00
Bruce Mitchener 9949f16525 Fix release note typos. 2019-08-15 10:20:03 -07:00
Nikolaj Bjorner d6df51951f release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-20 10:32:36 -08:00
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