Nikolaj Bjorner
64a92f720b
new nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-19 18:24:02 -08:00
Nikolaj Bjorner
c100a18b37
use ReleaseVersion macro
2020-12-19 17:34:54 -08:00
Nikolaj Bjorner
3cd49d56c2
Update nightly.yaml for Azure Pipelines
2020-12-19 17:29:26 -08:00
Nikolaj Bjorner
5ce3c18fd0
Update nightly.yaml for Azure Pipelines
2020-12-19 16:59:07 -08:00
Nikolaj Bjorner
e8b506a172
update for nuget
2020-12-19 16:56:25 -08:00
Nikolaj Bjorner
4039785bb6
initial steps for including symbols
...
@ahelwer - seems several steps are involved for enableing snupkg. I will try to see if I can get there. The NugetCommand@2 specifies whether to include symbols, but I haven't found the portion where it allows the user to specify the name of the package (to snukpg instead of nupkg).
2020-12-19 16:44:05 -08:00
Nikolaj Bjorner
72e57f550d
update release similar to nightly
2020-11-11 17:38:07 -08:00
Nikolaj Bjorner
fdd3e6c4c2
Update nightly.yaml for Azure Pipelines
2020-11-10 16:26:06 -08:00
Nikolaj Bjorner
8c60e7b8f4
Update nightly.yaml for Azure Pipelines
2020-11-10 16:24:56 -08:00
Nikolaj Bjorner
41cc037204
change manylinux to ubuntu-latest
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-11-10 16:17:35 -08:00
Nikolaj Bjorner
5ace60c812
enforce guard option
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-11-10 09:22:32 -08:00
Nikolaj Bjorner
672e392386
guard
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-11-10 08:01:29 -08:00
Pierre Bouvier
24321e311b
Add support of the SunOS platform (Solaris, OpenSolaris, OpenIndiana) ( #4757 )
...
* Add support of the SunOS plateform (OpenSolaris, OpenIndiana) in scripts/mk_util.py
* Add missing casts for the SunOS plateform (OpenSolaris, OpenIndiana) for the pow function
2020-10-27 11:39:21 -07:00
Nikolaj Bjorner
72d407a49f
mbp ( #4741 )
...
* adding dt-solver
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* dt
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* move mbp to self-contained module
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* files
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* Create CMakeLists.txt
* dt
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* rename to bool_var2expr to indicate type class
* mbp
* na
* add projection
* na
* na
* na
* na
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* deps
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* testing arith/q
* na
* newline for model printing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-10-21 15:48:40 -07:00
Nikolaj Bjorner
2f756da294
adding dt-solver ( #4739 )
...
* adding dt-solver
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* dt
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* move mbp to self-contained module
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* files
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* Create CMakeLists.txt
* dt
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* rename to bool_var2expr to indicate type class
* mbp
* na
2020-10-18 15:28:21 -07:00
Nikolaj Bjorner
44679d8f5b
arith_solver ( #4733 )
...
* porting arithmetic solver
* integrating arithmetic
* lp
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-10-16 10:49:46 -07:00
Nikolaj Bjorner
fa58a36b9f
model refactor ( #4723 )
...
* refactor model fixing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* missing cond macro
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* add macros dependency
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* deps and debug
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* add dependency to normal forms
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* build issues
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* compile
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* fix leal regression
* complete model fixer
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* fold back private functionality to model_finder
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* avoid duplicate fixed callbacks
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-10-05 14:13:05 -07:00
Nikolaj Bjorner
79162b96f3
updated dependencies
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-10-01 08:11:55 -07:00
Nikolaj Bjorner
cddb32a21d
remove out
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-29 13:43:50 -07:00
Nikolaj Bjorner
4562c07ceb
redo egraph
2020-09-29 13:43:49 -07:00
Nikolaj Bjorner
43db7df2b5
user solver ( #4709 )
...
* user solver
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
* na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-24 04:55:34 -07:00
Nikolaj Bjorner
d56dd1db7b
update version'
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-11 04:37:35 -07:00
Sergey Vladimirov
6324d2fb55
Set target for java classes to 1.8 ( #4685 )
2020-09-11 04:05:45 -07:00
Nikolaj Bjorner
c7ba86e227
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 21:49:43 -07:00
Nikolaj Bjorner
f11e2d0eba
try again
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 20:00:25 -07:00
Nikolaj Bjorner
7dbf30b465
include nupkg
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 19:21:46 -07:00
Nikolaj Bjorner
3616688d6b
update pipeline
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 17:26:47 -07:00
Nikolaj Bjorner
9cb47188ea
Update release.yml for Azure Pipelines
2020-09-10 15:41:12 -07:00
Nikolaj Bjorner
79734f26ae
move to python3 for release.yml
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 11:51:28 -07:00
Nikolaj Bjorner
6e7a80b68e
change version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 10:59:06 -07:00
Nikolaj Bjorner
c481570257
disable pip in trial release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-10 10:16:57 -07:00
Nikolaj Bjorner
fe43f8df8f
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-09-03 08:11:43 -07:00
Nikolaj Bjorner
35e3d8425c
move fpa
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-29 11:16:21 -07:00
Nikolaj Bjorner
b9cbb08858
shuffle dependencies
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-29 09:51:39 -07:00
Nikolaj Bjorner
86c11b9349
order
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-28 13:05:25 -07:00
Nikolaj Bjorner
b03d1c8053
deps
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-28 13:01:49 -07:00
Nikolaj Bjorner
0440cfeea7
add smt params dependency
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-28 12:59:22 -07:00
Nikolaj Bjorner
4244ce4aad
adding ack/model
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-28 12:55:47 -07:00
Sergey Vladimirov
7f0b5bc129
Allow to skip System.loadLibrary() calls from Java Native class ( #4667 )
2020-08-28 07:30:26 -07:00
Nikolaj Bjorner
4ab35a9bb5
euf model
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-26 15:55:20 -07:00
Nikolaj Bjorner
c21a2fcf9f
sat solver setup
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-26 09:40:42 -07:00
Nikolaj Bjorner
ecd3315a74
add sat-euf
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-25 12:16:57 -07:00
Nikolaj Bjorner
3dedc13481
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-24 02:00:37 -07:00
Nikolaj Bjorner
65e6d942ac
euf
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-24 01:55:13 -07:00
Nikolaj Bjorner
96f10b8c1c
user propagator
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-22 19:01:04 -07:00
Nikolaj Bjorner
2d5b749745
extend solver callbacks with methods
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-21 19:24:59 -07:00
Nikolaj Bjorner
080be7a2af
merge
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-21 12:14:28 -07:00
Nikolaj Bjorner
4857d60c99
user propagator over the API
2020-08-18 21:53:02 -07:00
Nikolaj Bjorner
e591b321bb
set guard/cf and dynamic base in release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-08-17 08:21:44 -07:00
Nikolaj Bjorner
4d586c2c13
remove stale references to gac/csc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-07-26 12:03:03 -07:00