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 |
|
fleisherdev
|
a863a91b13
|
Allow nightly builds to complete even if package signing fails - NOT published to nuget.org (#5951)
Co-authored-by: jofleish <jofleish@microsoft.com>
|
2022-04-07 08:19:21 +02:00 |
|
Nikolaj Bjorner
|
05ec77cb56
|
revert
|
2022-04-03 12:20:10 -07:00 |
|
Nikolaj Bjorner
|
321745fdb1
|
#5941
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2022-04-03 11:07:54 -07:00 |
|
Nikolaj Bjorner
|
b0605a9d36
|
Update nightly.yaml
|
2022-03-27 18:29:55 -10:00 |
|
Nikolaj Bjorner
|
cb1e16fd76
|
Update nightly.yaml for Azure Pipelines
|
2022-03-27 17:42:16 -10:00 |
|