Nikolaj Bjorner
9cd3b9cad7
Merge branch 'master' of https://github.com/z3prover/z3
2022-07-21 20:28:02 -07:00
Nikolaj Bjorner
adcb3e8f86
set version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-21 20:27:50 -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
7ded856bb1
script to test jsdoc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-18 09:51:34 -07:00
Nikolaj Bjorner
b743e210f8
give java dynamic lib a chance for extra flags for #5848
2022-07-15 08:44:05 -07:00
Nikolaj Bjorner
faf6c02cf8
remove --js from nightly and release doc builds as the npm run 'check-engine' fails
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-12 07:46:06 -07:00
Nikolaj Bjorner
4dc88f0993
add --js to nightly and release scripts, nb @ritave
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-11 20:37:50 -07:00
Stefan Muenzel
99212a2726
Use int64 for ocaml api functions that require it ( #6150 )
...
* Use int64 for ocaml api functions that require it
Signed-off-by: Stefan Muenzel <source@s.muenzel.net>
* Use elif
Signed-off-by: Stefan Muenzel <source@s.muenzel.net>
2022-07-11 09:25:05 -07:00
Nikolaj Bjorner
9d9414c111
inc version number
2022-07-06 14:00:40 -07:00
Nikolaj Bjorner
cc841caf08
increment minor version for dev branch
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-06 10:15:34 -07:00
Nikolaj Bjorner
2ae84f88df
Update release.yml for Azure Pipelines
2022-07-06 09:10:16 -07:00
Nikolaj Bjorner
15391fc9b9
remove musll from release.yml
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-06 07:37:51 -07:00
Nikolaj Bjorner
f1b7ab3d3f
x64
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-06 01:53:26 -07:00
Nikolaj Bjorner
7f2ebf84a2
Remove package sub-directory from release script
2022-07-06 01:09:11 -07:00
Nikolaj Bjorner
bda86726af
macarm
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 20:02:27 -07:00
Nikolaj Bjorner
4f62336fa8
download arm64
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 18:23:32 -07:00
Nikolaj Bjorner
593d5be202
bind variables
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 17:21:59 -07:00
Nikolaj Bjorner
8b35b7becc
bind variables
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 17:20:21 -07:00
Nikolaj Bjorner
594b5daa9d
remove download of mullinux
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 17:18:04 -07:00
Nikolaj Bjorner
3ce6663536
update release script
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 17:17:07 -07:00
Nikolaj Bjorner
73f35e067c
Update release.yml for Azure Pipelines
...
pre-release
2022-07-05 17:13:55 -07:00
Nikolaj Bjorner
282c786f1c
setting version to release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-07-05 11:51:12 -07:00
Nikolaj Bjorner
e6e0c74324
Update update_api.py
...
fix typo
2022-07-02 13:17:14 -07:00
Nikolaj Bjorner
c35d0d1e49
Update update_api.py
...
add automation!
2022-07-02 13:05:35 -07:00
Nikolaj Bjorner
5ba8231d07
make it work with old pythons
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-21 09:10:38 -07:00
Nikolaj Bjorner
b254f4086b
Separate out native static content for Java
...
Make it easier to add native methods for callbacks (for user propagator) #6097
The Java User propagator wrapper should define a base class with virtual methods that can be invoked from functions defined in NativeStatic.txt
2022-06-21 09:09:42 -07:00
Clemens Eisenhofer
2fa60aa43c
Added function to select the next variable to split on (User-Propagator) ( #6096 )
...
* Added function to select the next variable to split on
* Fixed typo
* Small fixes
* uint -> int
2022-06-19 10:49:25 -07:00
Nuno Lopes
73a24ca0a9
remove '#include <iostream>' from headers and from unneeded places
...
It's harmful to have iostream everywhere as it injects functions in the compiled files
2022-06-17 14:10:19 +01:00
Olaf Tomalka
7fdcbbaee9
Add high level bindings for js ( #6048 )
...
* [Draft] Added unfinished code for high level bindings for js
* * Rewrote structure of js api files
* Added more high level apis
* Minor fixes
* Fixed wasm github action
* Fix JS test
* Removed ContextOptions type
* * Added Ints to JS Api
* Added tests to JS Api
* Added run-time checks for contexts
* Removed default contexts
* Merged Context and createContext so that the api behaves the sames as in other constructors
* Added a test for Solver
* Added Reals
* Added classes for IntVals and RealVals
* Added abillity to specify logic for solver
* Try to make CI tests not fail
* Changed APIs after a round of review
* Fix test
* Added BitVectors
* Made sort into getter
* Added initial JS docs
* Added more coercible types
* Removed done TODOs
2022-06-14 09:55:58 -07:00
Nikolaj Bjorner
93a0322cac
update distribution scripts
2022-06-02 11:48:12 -07:00
Nikolaj Bjorner
366860be46
change to osx-11.0
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 07:21:48 -07:00
Nikolaj Bjorner
c7560e1394
change to osx-11.0
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 07:20:28 -07:00
Nikolaj Bjorner
4191d84e58
change to 11.0
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 07:12:45 -07:00
Nikolaj Bjorner
0b17a568ee
fixes to script
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-02 06:59:59 -07:00
Nikolaj Bjorner
9190f22eb4
os
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-01 21:23:44 -07:00
Nikolaj Bjorner
6396cfd6e7
os
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-01 21:20:19 -07:00
Nikolaj Bjorner
9ed7fd9454
Update nightly.yaml for Azure Pipelines
2022-06-01 19:17:27 -07:00
Nikolaj Bjorner
aa8e89c5f3
try macos12 for arm64
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-06-01 19:11:17 -07:00
Nikolaj Bjorner
bffa7ff2f6
add hint verification, combine bounds/farkas into one rule
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-29 10:12:05 -07:00
Nikolaj Bjorner
36ad377a7d
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-29 09:21:43 -07:00
Nikolaj Bjorner
9ec34d96ce
comment out muslinux build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 18:14:42 -07:00
Nikolaj Bjorner
6abea2de2c
fix nightly, fix regression identified by Nuno
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 18:03:15 -07:00
Nikolaj Bjorner
ddc3445707
try to add back musllinux
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:47:39 -07:00
Nikolaj Bjorner
35db0ae58b
workaround manylinux build failure (it is advertized as a compiler bug)
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:34:58 -07:00
Nikolaj Bjorner
d09d37cb10
wt$
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:27:22 -07:00
Nikolaj Bjorner
6b4bc5bd38
remove broken matrix
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:26:00 -07:00
Nikolaj Bjorner
e9660016bc
remove hardwired image name
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 14:21:23 -07:00
Nikolaj Bjorner
6ce03cd6f0
Update nightly.yaml for Azure Pipelines
2022-05-28 14:18:50 -07:00
Nikolaj Bjorner
0038817656
Update nightly.yaml for Azure Pipelines
2022-05-28 14:13:50 -07:00
Nikolaj Bjorner
48701826f1
indent
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-05-28 13:57:03 -07:00