Nikolaj Bjorner
0d24ec3613
add 'dist' to folder path
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-02 09:45:38 -08:00
Nikolaj Bjorner
4260206391
include variable ReleaseVersion in Nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 23:16:18 -08:00
Nikolaj Bjorner
30c14f533e
include variable ReleaseVersion in Nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 22:39:21 -08:00
Nikolaj Bjorner
d231913c04
remove period
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 21:44:59 -08:00
Nikolaj Bjorner
93cbcd00bd
rename
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 21:43:31 -08:00
Nikolaj Bjorner
77b98d5b02
update folder names to align with mk_win_dist_cmake
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 20:54:36 -08:00
Nikolaj Bjorner
bd2d96eacb
update folder names to align with mk_win_dist_cmake
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 20:16:04 -08:00
Nikolaj Bjorner
06466be999
disable arm64 nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 16:41:14 -08:00
Nikolaj Bjorner
28d62bfedb
move to use release.yml version for windows build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 14:26:01 -08:00
Nikolaj Bjorner
ca0e9a1526
remove explicit option for shared build, set to Release mode. .so artifacts take 800MB in distribution
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-01 04:54:39 -08:00
Nikolaj Bjorner
ec6640d793
Update nightly.yaml
2024-01-31 19:47:52 -08:00
Nikolaj Bjorner
85072974b9
update ubuntu builds
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 19:05:27 -08:00
Nikolaj Bjorner
432432be9c
update ubuntu builds
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 17:58:05 -08:00
Nikolaj Bjorner
d624eec976
Update nightly.yaml
2024-01-31 17:43:16 -08:00
Nikolaj Bjorner
0a1a57cf01
Update nightly.yaml for Azure Pipelines
2024-01-31 17:08:17 -08:00
Nikolaj Bjorner
f16afe55d6
Update nightly.yaml for Azure Pipelines
2024-01-31 16:34:53 -08:00
Nikolaj Bjorner
9a095cc9e6
Update nightly.yaml for Azure Pipelines
2024-01-31 16:31:28 -08:00
Nikolaj Bjorner
e26344efd7
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 15:27:54 -08:00
Nikolaj Bjorner
5551f1e35b
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-01-31 15:27:02 -08:00
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