Nikolaj Bjorner
c47e5aff60
multi
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-02-20 14:03:13 -08:00
Nikolaj Bjorner
cfe9846f0c
multi
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-02-20 13:59:42 -08:00
Nikolaj Bjorner
b38b6daba3
add option to disable FPMATH
2022-02-20 15:33:13 +02:00
Nikolaj Bjorner
14ee02183c
nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-02-20 13:43:11 +02:00
Nikolaj Bjorner
e800269cee
na
2022-02-20 13:05:53 +02:00
Nikolaj Bjorner
c25d710958
try out arch arm64 on the mac
2022-02-20 10:31:29 +02:00
Nikolaj Bjorner
4f6fcf8ea7
fix #5814
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-02-08 10:20:19 +02:00
Nikolaj Bjorner
b259f46f85
dependencies
2022-01-13 12:34:58 -08:00
Nikolaj Bjorner
08294d62e5
separate dependencies for qe_lite
2022-01-12 03:26:22 -08:00
Nikolaj Bjorner
9ac57fc510
update version number for next release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-09 17:11:08 -08:00
Nikolaj Bjorner
174889ad5e
id
2022-01-08 16:28:12 -08:00
Nikolaj Bjorner
afbfea8ce6
name the package
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-08 15:52:50 -08:00
Nikolaj Bjorner
36ed1ffac2
update name of artifact
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-08 15:13:46 -08:00
Nikolaj Bjorner
40761ebb0d
bug in script
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-08 12:10:16 -08:00
Nikolaj Bjorner
c2aff52dd7
os-info back to common
2022-01-08 11:33:43 -08:00
Nikolaj Bjorner
d391043ffd
only one arch at a time
2022-01-08 11:32:08 -08:00
Nikolaj Bjorner
2c44454a17
self -> env
2022-01-08 10:58:36 -08:00
Nikolaj Bjorner
d6ce05009b
try separate x86
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-08 10:14:28 -08:00
Nikolaj Bjorner
5ec7a66a45
change class name, add comment
2022-01-04 22:02:14 -08:00
Nikolaj Bjorner
964a5cd761
lump java together
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-04 20:48:05 -08:00
Nikolaj Bjorner
ef3dd32364
some cleanup
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-01-04 20:21:53 -08:00
Nikolaj Bjorner
7d311ac2ef
use netstandard 2.0 per recommendations
...
seems that now the recommended starting point is 2.0 and not lower.
2021-12-25 13:44:49 -08:00
Nikolaj Bjorner
ecf41972b1
increase minor version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-12-23 14:41:52 -08:00
Nikolaj Bjorner
dc09d3c5ea
fix typo
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-12-23 14:41:52 -08:00
Nikolaj Bjorner
df8f9d7dcb
Update release.yml for Azure Pipelines
2021-12-23 12:43:00 -08:00
Nikolaj Bjorner
bd2a53c475
Update release.yml for Azure Pipelines
2021-12-23 11:48:08 -08:00
Nikolaj Bjorner
5d4420a763
Update release.yml for Azure Pipelines
2021-12-23 11:46:47 -08:00
Nikolaj Bjorner
a00d68fe5a
update release scripts and notes in master
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-12-23 11:43:38 -08:00
Anton Kochkov
f11fcec082
Migrate from deprecated distutils.sysconfig
in scripts ( #5729 )
2021-12-22 07:59:13 -08:00
Nikolaj Bjorner
db62038845
Update nightly.yaml
...
see if this gets us past the upload to GitHub issue
2021-12-16 14:20:40 -08:00
Nikolaj Bjorner
4641a20f4f
#5700 - Add download x86 as part of release NuGet
...
x86 is part of nightly NuGet but was not added to the release pipeline.
2021-12-16 13:50:31 -08:00
Nikolaj Bjorner
4587575649
if you read this commit message you probably are a programmer who has no life
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-11-18 20:25:47 -08:00
Nikolaj Bjorner
43a827c931
Update release.yml for Azure Pipelines
2021-11-18 16:05:22 -08:00
Nikolaj Bjorner
71d5d2486c
Update release.yml for Azure Pipelines
2021-11-18 15:01:43 -08:00
Nikolaj Bjorner
72f28f06e4
Update release.yml for Azure Pipelines
2021-11-18 14:05:13 -08:00
Nikolaj Bjorner
b95ba89dbe
update release pipeline
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-11-18 13:09:13 -08:00
Nikolaj Bjorner
feadfbfba4
enable publish
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-11-18 12:00:44 -08:00
Nikolaj Bjorner
5194aa186a
nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-11-17 09:36:50 -08:00
Nikolaj Bjorner
1752055aa6
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-11-16 09:49:16 -08:00
Nikolaj Bjorner
c826b64e35
prepare release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-11-16 09:41:51 -08:00
Weng Shiwei
723b755ca7
Fix the command of install_name_tool -id
. ( #5622 )
...
* Fix the command of `install_name_tool -id`.
* Fix: don't call `ml_example.byte`.
2021-10-27 11:10:45 +02:00
Weng Shiwei
066076557f
Add post-install testing for ocaml binding. ( #5617 )
...
* Add path flags for cc loader (linux).
* Fix os linking and loading problem (maybe on #4840 ).
* Add post-install test of OCaml binding on ubuntu.
* Minor.
* Tentative CI for macos.
2021-10-25 11:21:02 +02:00
Weng Shiwei
cd8d8bbb63
Fix runtime search path for shared-lib and add '-static' to the name of static-lib. ( #5616 )
...
* Fix runtime search path for shared-lib and add '-static' to static-lib.
* Revert the change on `META.in`.
2021-10-21 18:27:54 -04:00
Nuno Lopes
9b5ec6d004
logging cleanup
...
move everything out-of-line as common path doesn't log
fix some race conditions on file ptr vs enable_logging vars
2021-08-29 12:24:19 +01:00
Nuno Lopes
1f4a7c5101
logging: don't call the returned function twice (one for log, one for return)
...
Z3_simplify() does RETURN_Z3(simplify(...)), hence the function was being called twice
it turns out simplify is not idempotent, so calling it twice can result in different results
thus breaking the log.
2021-08-29 11:06:19 +01:00
Nikolaj Bjorner
9c7d9f06ed
#5497
2021-08-22 17:22:37 -07:00
Karlheinz Friedberger
764e033bf4
Specify and document value for environment variable for loading native library in Java bindings ( #5477 )
...
* limit range of environment variable for loading the native library in Java to "true".
This change specifies the range of values that are allowed to set the environment
variable "z3.skipLibraryLoad".
Only the value "true" (in upper-, lower-, and mixed-case is accepted as valid value.
Other values, such as "false", "0", "1", "foo", an empty or a missing value are
evaluated to "false" and cause the default loading of the native library.
* adding documentation about environment variable for (not) loading the native library in Java.
This is a follow-up commit for #4667 to provide a publicly visible documentation.
2021-08-13 14:54:02 -07:00
Nikolaj Bjorner
6dfaaa43cd
jobs
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-07-30 22:38:56 -07:00
Nikolaj Bjorner
3f6a7748fa
jobs
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-07-30 22:38:16 -07:00
Nikolaj Bjorner
ce23798cd0
coverage.yml
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-07-30 22:36:14 -07:00