3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Commit graph

1704 commits

Author SHA1 Message Date
Nikolaj Bjorner 5c4ad4fdd7 cd to dist in nightly.yaml
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 02:57:02 -08:00
Nikolaj Bjorner d3fbb9d0c5 add line continuations to nightly.yaml
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 02:50:53 -08:00
Nikolaj Bjorner 4b4e057441 install ninja
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 02:31:53 -08:00
Nikolaj Bjorner ac1f9719a4 move nightly builds of Unixes to use cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 02:25:14 -08:00
Nikolaj Bjorner 99ebbd6341 porting unix distribution script to cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 16:28:52 -08:00
Nikolaj Bjorner 67e5ba9f79 update release scripts
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 14:53:59 -08:00
Nikolaj Bjorner f81180173b remove optional Julia build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 14:41:10 -08:00
Nikolaj Bjorner 5d4303f268 build Julia for x64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 13:27:16 -08:00
Nikolaj Bjorner e0bed3bcfa build Julia for x64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 13:26:22 -08:00
Nikolaj Bjorner 680b0f523f add download stage for arm64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 12:32:09 -08:00
Nikolaj Bjorner b3b95dbc5c move installation directories to under bin
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 11:06:27 -08:00
Nikolaj Bjorner 9bd8e35581 adapt paths to new distribution
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-30 10:07:38 -08:00
Nikolaj Bjorner f7ed4adfbb update path for win distributions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-29 19:47:05 -08:00
Nikolaj Bjorner bef67f8523 special purpose dotnet copy
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-29 19:32:31 -08:00
Nikolaj Bjorner 4be8b7d88c update win-dist
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-29 18:47:29 -08:00
Nikolaj Bjorner 527f824adf update java install/build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-25 15:07:54 -08:00
Nikolaj Bjorner c8c2e3a7b7 update java install/build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-25 15:05:33 -08:00
Nikolaj Bjorner 637ffcd491 Update mk_win_dist_cmake.py 2024-01-25 12:23:15 -08:00
Nikolaj Bjorner 9d59d86a1c update cmake build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-25 09:42:28 -08:00
Nikolaj Bjorner ee2be7d642 attempting to build ARM
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-25 08:41:37 -08:00
Nikolaj Bjorner 133546625c update minor version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-24 09:24:46 -08:00
Nikolaj Bjorner a7b564cafe update release scripts and notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-21 10:06:38 -08:00
Nikolaj Bjorner 302ebff704 prepare for release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-20 16:46:13 -08:00
Thomas Haas d2706bab64
Fixes in Java's User Propagator (#7088)
* Fixed decide callback for Java user propagators

* Java User Prop:
- Added return value to conflict
- Added consequence method
- Added missing access modifier to decideWrapper

* Removed type parameters of expressions in UserPropagatorBase

* Renamed propagateConflict to propagateConsequence
2024-01-18 09:29:15 -08:00
Nikolaj Bjorner 7adb402a3f add missing dependencies
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-22 12:06:30 -08:00
Nikolaj Bjorner e321643bf5 move sls core functionality to be independent of tactic
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-22 12:00:52 -08:00
Nikolaj Bjorner 4867073290 remove windowsArm64 from nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-17 10:04:49 -08:00
Christoph M. Wintersteiger a2b490baa6
Disable Python compilation cache during build (#7057)
* Disable Python compilation cache during build

* More pythonic check for none
2023-12-14 07:26:52 -08:00
Nikolaj Bjorner 7c2e4f2f9c fiddle with what gets added to win-arm64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-13 20:43:17 -08:00
Nikolaj Bjorner f7d9a5ba93
Revert "Disable Python compilation cache during build (#7052)" (#7054)
This reverts commit 8293be859f.
2023-12-13 19:32:00 -08:00
Nikolaj Bjorner c20b8cb978 nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-13 18:46:20 -08:00
Nikolaj Bjorner 995b40865b remove readme reference, add arm64 build to nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-13 18:44:11 -08:00
Christoph M. Wintersteiger 8293be859f
Disable Python compilation cache during build (#7052)
* Disable Python compilation cache during build

* Fix var name
2023-12-13 18:05:33 -08:00
Nikolaj Bjorner 0f4e96ac5d fix character
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-10 20:50:32 -08:00
Nikolaj Bjorner 5fc039d6ea nuget spec: does this work?
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-10 12:33:29 -08:00
Nikolaj Bjorner 5732c3c980 add readme under content
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-10 11:11:37 -08:00
Nikolaj Bjorner 91837c3aee try adding readme again
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-10 10:22:41 -08:00
Nikolaj Bjorner 6afed0819c update minor version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-06 07:13:07 -08:00
Nikolaj Bjorner dce2f3d88f add release notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-06 07:10:56 -08:00
Nikolaj Bjorner b3ef74c86d remove readme for dist
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 18:50:23 -08:00
Nikolaj Bjorner fc3a7655a5 try to put readme in root
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 18:06:17 -08:00
Nikolaj Bjorner 2c8d33851a add README path to mk_nuget_task
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 16:38:35 -08:00
Nikolaj Bjorner 8111d879cd add README path to mk_nuget_task
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 16:37:48 -08:00
Nikolaj Bjorner 1fde3e9fb8 update release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 16:16:27 -08:00
Nikolaj Bjorner 156426a0cf use / for package path
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 15:10:13 -08:00
Nikolaj Bjorner 111ce01702 update path reference to readme 2023-12-05 13:47:05 -08:00
Nikolaj Bjorner d566eb3df7 include readme in package
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 13:04:25 -08:00
Nikolaj Bjorner 426d7f5810 remove reference to readme in nuget task
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 12:11:29 -08:00
NikolajBjorner 7c81ee0890 fix case of README.md in nuget
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2023-12-05 09:02:08 -08:00
NikolajBjorner 669f665f24 update release pipeline
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2023-12-05 08:19:20 -08:00