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 |
|
Nikolaj Bjorner
|
363b69f588
|
fix #6034
|
2022-05-16 16:44:13 -07:00 |
|
Nikolaj Bjorner
|
f6b2874d7c
|
update to take effect of def_API for callback functions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-16 10:30:54 -07:00 |
|
Gleb Popov
|
6f7be77e2b
|
Buildsystem fixes for FreeBSD. (#6029)
* Enable thread-local storage on FreeBSD.
* Pass -soname linker flag on FreeBSD.
|
2022-05-12 10:54:57 -07:00 |
|
John Jones
|
361888f299
|
Generate bdist wheels for musllinux_1_1 (#6025)
|
2022-05-09 14:13:08 -07:00 |
|
Nikolaj Bjorner
|
8218f25222
|
add decide callback
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-08 15:30:03 -07:00 |
|
Nikolaj Bjorner
|
3b441137c0
|
ocaml build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-08 11:01:23 -07:00 |
|
Nikolaj Bjorner
|
d58de2f8e4
|
java build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-08 10:20:32 -07:00 |
|
Nikolaj Bjorner
|
a71ce54c34
|
freeze functions with callbacks for ocaml
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-08 10:04:50 -07:00 |
|
Nikolaj Bjorner
|
cf4149d53e
|
freeze functions with callbacks for ocaml
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-08 10:02:41 -07:00 |
|
Nikolaj Bjorner
|
1ab7be67d0
|
java build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-08 09:58:43 -07:00 |
|
Nikolaj Bjorner
|
a3b066f0b4
|
ml: VOIDP -> ptr
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-07 12:49:05 -07:00 |
|
Nikolaj Bjorner
|
b633947762
|
don't log function pointers
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-07 12:41:51 -07:00 |
|
Nikolaj Bjorner
|
6d40e6f401
|
java
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-07 11:24:46 -07:00 |
|
Nikolaj Bjorner
|
14214c5a07
|
exposing user propagators over .Net
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-07 11:08:40 -07:00 |
|
Nikolaj Bjorner
|
3ae781039b
|
inc version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-05 07:09:54 -07:00 |
|
Nikolaj Bjorner
|
d420706eae
|
enable pypi release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-04 17:16:30 -07:00 |
|
Nikolaj Bjorner
|
47459ca795
|
pre-release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-05-04 12:04:51 -07:00 |
|
Nikolaj Bjorner
|
0b453a4af5
|
set release version
|
2022-04-25 08:57:32 +01:00 |
|
Nikolaj Bjorner
|
33ffd464cf
|
inc version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-24 12:17:07 +01:00 |
|
Nikolaj Bjorner
|
0529e88589
|
enable pypi
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-23 19:51:25 +01:00 |
|
Nikolaj Bjorner
|
8e509d34b5
|
remove test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-23 19:05:42 +01:00 |
|
Nikolaj Bjorner
|
8778f4d43f
|
updated release script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-23 17:59:23 +01:00 |
|
Nikolaj Bjorner
|
e6e00d894f
|
update nightly/release scripts to produce arm64 for what is tested
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-21 10:18:40 +01:00 |
|
Nikolaj Bjorner
|
c996a66da0
|
separate pre-processing, add callback parameter to push/pop in python API
|
2022-04-11 17:05:59 +02:00 |
|
Nikolaj Bjorner
|
fe834b9e4e
|
update regex
|
2022-04-09 07:40:48 +02:00 |
|
Nikolaj Bjorner
|
c98eda03f7
|
nightly osx arm64 wheel
|
2022-04-09 06:55:31 +02:00 |
|
Nikolaj Bjorner
|
fbd35fb58d
|
skip unit tests for arm
|
2022-04-08 16:55:39 +02:00 |
|
Nikolaj Bjorner
|
91ca02864c
|
arm64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-08 14:59:22 +02:00 |
|
Nikolaj Bjorner
|
3821eb4134
|
fpflags
|
2022-04-08 14:47:38 +02:00 |
|
Nikolaj Bjorner
|
67434a3096
|
again
|
2022-04-08 14:40:55 +02:00 |
|
Nikolaj Bjorner
|
9533dbaf5c
|
missing arg specifier
|
2022-04-08 14:34:52 +02:00 |
|
Nikolaj Bjorner
|
746a4161af
|
more passing of parameters
|
2022-04-08 14:24:21 +02:00 |
|
Nikolaj Bjorner
|
cb6aba2315
|
more arm
|
2022-04-08 14:07:56 +02:00 |
|
Nikolaj Bjorner
|
79553261d1
|
no uname on nt
|
2022-04-08 07:02:32 +02:00 |
|
Nikolaj Bjorner
|
babac78c99
|
syntax error?
|
2022-04-08 06:59:07 +02:00 |
|
Nikolaj Bjorner
|
83d2aa85ec
|
add arm64 build path
|
2022-04-08 06:35:25 +02:00 |
|
Nikolaj Bjorner
|
2e91d66888
|
Update mk_util.py
use more meaningful name
|
2022-04-08 06:28:36 +02:00 |
|
Nikolaj Bjorner
|
c47bd1d01f
|
add arm64 auto-detect
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-07 13:43:35 +02:00 |
|
Nikolaj Bjorner
|
8c2909f52b
|
working on python make for arm
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-07 13:36:23 +02:00 |
|