61 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	a6fe260354	update minor versin number to ABI change to remove Z3_bool from z3_api.h ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2022-07-30 06:31:22 +02:00
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)