mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00
Code Activity
16791 commits 22 branches 48 tags 156 MiB
Commit graph

10 commits

Author SHA1 Message Date
Nikolaj Bjorner 9c359713b6 Update RELEASE_NOTES.md 
prepare release notes
 2022-07-27 08:06:25 +02:00
Nikolaj Bjorner 845e852dba increment to include python fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-22 11:44:32 -07:00
Nikolaj Bjorner 59d47e3055 don't publish pypi yet 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-21 14:43:49 -07:00
Nikolaj Bjorner 914cfca24b updated release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-19 09:54:43 -07:00
Nikolaj Bjorner 6ed071b444 update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-06 11:38:32 -07:00
Nikolaj Bjorner 2a5d23b301 rename URL 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 11:49:52 -07:00
Nikolaj Bjorner cd416ee9a9 add note about opt.incremental 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-05 08:20:46 -07:00
Nikolaj Bjorner 2cf0c8173b
Update RELEASE_NOTES.md 2022-07-04 17:16:56 -07:00
Nikolaj Bjorner 2990b69299
Update RELEASE_NOTES.md 2022-07-04 17:16:12 -07:00
Nikolaj Bjorner 605a3128d9 make release notes markdown 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-07-04 17:06:21 -07:00
Renamed from RELEASE_NOTES (Browse further)