Nikolaj Bjorner
1c3b768ed0
update ubuntu version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-22 12:38:05 -08:00
Nikolaj Bjorner
0ed33af279
Update nightly.yaml for Azure Pipelines
2020-12-22 11:52:09 -08:00
Nikolaj Bjorner
8692fcdf3b
Update nightly.yaml for Azure Pipelines
2020-12-22 10:47:33 -08:00
Nikolaj Bjorner
d72f6c80df
Update nightly.yaml for Azure Pipelines
2020-12-22 09:58:03 -08:00
Nikolaj Bjorner
010d578e8f
sym file
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 18:08:23 -08:00
Nikolaj Bjorner
021bd8a994
sym file
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 17:08:38 -08:00
Nikolaj Bjorner
f26662d079
na
2020-12-21 16:18:07 -08:00
Nikolaj Bjorner
3576b66e32
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 15:46:42 -08:00
Nikolaj Bjorner
0c94d6dab6
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 13:43:50 -08:00
Nikolaj Bjorner
d67f9fb3f1
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 13:07:00 -08:00
Nikolaj Bjorner
835dd9414f
nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 13:06:26 -08:00
Nikolaj Bjorner
3121c39a14
nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 13:04:00 -08:00
Nikolaj Bjorner
d0fbeb11c9
Update nightly.yaml for Azure Pipelines
2020-12-21 11:57:00 -08:00
Nikolaj Bjorner
a72856111b
add destination to custom command
2020-12-21 11:42:04 -08:00
Nikolaj Bjorner
a164087384
remove cheap-eqs option as there is already propagate_eqs
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 11:04:04 -08:00
Nikolaj Bjorner
5866d6ee3f
custom
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 09:40:08 -08:00
Nikolaj Bjorner
84a7f3fcd0
quote?
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-21 08:54:46 -08:00
Nikolaj Bjorner
5a20413d04
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 18:03:06 -08:00
Nikolaj Bjorner
715b1fd393
try snupkg parameter
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 17:54:11 -08:00
Nikolaj Bjorner
9e54cd63dc
wrap remove/move
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 16:19:21 -08:00
Nikolaj Bjorner
2c313ddb7a
wrap remove/move
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 15:46:26 -08:00
Nikolaj Bjorner
d94244b236
shutil.remove -> os.remove
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 13:59:17 -08:00
Nikolaj Bjorner
726853de4e
add stages
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 13:57:54 -08:00
Nikolaj Bjorner
b108f5163d
add stages
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 13:56:54 -08:00
Nikolaj Bjorner
6c42e8068c
shutil.remove -> os.remove
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 13:47:19 -08:00
Nikolaj Bjorner
6b312a58a3
move/remove
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 12:06:46 -08:00
Nikolaj Bjorner
9e86c8761e
move/remove
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 12:06:16 -08:00
Nikolaj Bjorner
8cb1dd29b5
mk-nuget-task where is the icon?
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 11:16:47 -08:00
Nikolaj Bjorner
dd05c683e0
update license to nuget 4.9 URL
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-20 10:34:24 -08:00
Nikolaj Bjorner
359d66b579
Update nightly.yaml for Azure Pipelines
2020-12-19 18:42:32 -08:00
Nikolaj Bjorner
76a4bf5fa0
Update nightly.yaml for Azure Pipelines
2020-12-19 18:42:10 -08:00
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