Nikolaj Bjorner
3655c399f5
hoist c++ flags
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-06-04 11:33:56 -07:00
Nikolaj Bjorner
654e53e762
auxiliary build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-06-04 11:15:13 -07:00
Nikolaj Bjorner
7ce88ec032
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-06-04 11:02:00 -07:00
Nikolaj Bjorner
dea7c92730
updated nightly
2021-06-04 10:54:32 -07:00
Iain Scott
48beb814f5
Use more generic linux-x64 for NuGet rid instead of specific ubuntu, debian, etc. ( #5310 )
2021-05-28 13:53:52 -07:00
Nikolaj Bjorner
8ba0fb5b58
rounding mode sort removed for incompatibility
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-05-21 16:18:43 -07:00
Iain Scott
c18f012c83
Remove x64 suffix from NuGet package names. ( #5292 )
2021-05-21 13:51:02 -07:00
Matt Thornton
ce1a48486e
Fix NuGet package name and glibc rid. ( #5290 )
2021-05-21 08:41:29 -07:00
Nikolaj Bjorner
a59dcfdeab
update python tag
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-05-20 15:23:39 -07:00
Matt Thornton
9cc1549dbe
Use osx-x64 for mac rid rather than macos. ( #5288 )
2021-05-20 15:19:31 -07:00
Nikolaj Bjorner
a166aca48e
na
2021-04-08 15:48:07 -07:00
Nikolaj Bjorner
9ef7cf1e81
test old connection
2021-04-08 12:14:29 -07:00
Nikolaj Bjorner
887b62efe6
another patch
2021-04-07 18:20:45 -07:00
Nikolaj Bjorner
6e1ac19c44
new name
2021-04-07 17:43:32 -07:00
Nikolaj Bjorner
90995b63c3
fix nightly
2021-04-07 15:43:39 -07:00
Nikolaj Bjorner
eb13ad14e5
python build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-03-17 16:26:44 -07:00
Nikolaj Bjorner
ab0735fde2
separate component for asserted_formulas to break dependency cycles
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-03-17 15:51:38 -07:00
Nikolaj Bjorner
25343232ca
add dependency
2021-03-17 15:36:02 -07:00
Nikolaj Bjorner
ddbcd08d46
move asserted_formulas to solver scope
2021-03-17 15:02:16 -07:00
Andrew V. Jones
d0515dca50
Circular seq axioms node ( #5104 )
...
* Dealing with ambiguity when calling 'find_file' #5089
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
* Correcting ambiguity when calling 'find_file' if the file is in the current src dir #5089
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
* Ensuring consistency when obtaining the original include #5089
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
2021-03-16 06:58:54 -07:00
Nikolaj Bjorner
d03fdf5fed
more descriptive naming convention
2021-03-15 15:48:33 -07:00
Nikolaj Bjorner
4b3fecc35e
remove dependency on ast from params
2021-03-15 15:40:41 -07:00
Nikolaj Bjorner
1cb0dbae51
missing dependency for python build
2021-03-14 20:45:30 -07:00
Nikolaj Bjorner
8412ecbdbf
fixes to new solver, add mode for using nlsat solver eagerly from nla_core
2021-03-14 13:57:04 -07:00
Nikolaj Bjorner
bef6f1a729
fix build
2021-03-02 13:51:58 -08:00
Nuno Lopes
d396d46bd1
let's test if all the buildbots are happy with C++17
...
it's stil a bit too early for C++20
2021-02-18 18:13:10 +00:00
Nikolaj Bjorner
85f0084e9c
set options and change VS for nightly
2021-02-12 13:41:30 -08:00
Nikolaj Bjorner
80d297dca2
Try to move using windows latest instead of VS2017
2021-02-12 12:45:21 -08:00
Nikolaj Bjorner
d0c96abe30
log classificaiton
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 14:44:05 -08:00
Nikolaj Bjorner
1d12b72bbc
log classificaiton
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 14:43:05 -08:00
Nikolaj Bjorner
98eae28fca
try to update setup.py to libc naming
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 11:52:05 -08:00
Nikolaj Bjorner
b6294ab235
is glibc the new centos?
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 11:17:33 -08:00
Nikolaj Bjorner
c03bd5e1c8
is glibc the new centos?
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 11:17:04 -08:00
Nikolaj Bjorner
5d46ac0aca
is glibc the new centos?
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 11:14:39 -08:00
Nikolaj Bjorner
b7d1d03b08
try revert to u18 for centos zip
2021-02-11 10:36:48 -08:00
Nikolaj Bjorner
2301fce65e
it helps to spell
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 09:44:03 -08:00
Nikolaj Bjorner
9883a0b983
downgrade to Ubuntu 18 for ocaml doc build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-02-11 09:43:22 -08:00
Nikolaj Bjorner
9cdb875ba2
remove use of deprecated linux_distribution
2021-02-11 09:40:23 -08:00
Don Syme
504b6559ab
[WIP] Suggestion: build .NET package for both x86 and x64 and rename ( #5021 )
...
* build package for x86
* build package for x86
* build package for x86
Co-authored-by: Don Syme <donsyme@fastmail.com>
2021-02-11 09:29:32 -08:00
Nikolaj Bjorner
16448104eb
add new model event handler for incremental optimization
2021-02-05 17:11:04 -08:00
Nikolaj Bjorner
c623e2db28
typo
2021-02-01 09:14:26 -08:00
Nikolaj Bjorner
60cc9d8182
set unicode by default
2021-01-31 11:32:33 -08:00
Nikolaj Bjorner
39bfdbd8c0
make the right diretory
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-30 05:01:16 -08:00
Nikolaj Bjorner
c99b805c14
mld
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-29 18:37:38 -08:00
Nikolaj Bjorner
87cd3487e5
missing pattern dependency
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-29 16:44:47 -08:00
Nikolaj Bjorner
34c34b68ee
one more nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-29 16:40:59 -08:00
Nikolaj Bjorner
41a4d102f4
try ocamlfind in the loop
...
Thanks to @c-cube
2021-01-29 13:37:16 -08:00
Nikolaj Bjorner
b11203e2d2
try local env
2021-01-29 08:41:14 -08:00
Nikolaj Bjorner
1d7cabaf9a
typo
2021-01-29 08:15:40 -08:00
Nikolaj Bjorner
a2d344c401
use build path
2021-01-29 07:32:04 -08:00