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
Nikolaj Bjorner
1f71aeded9
ocamldoc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-29 06:47:10 -08:00
Nikolaj Bjorner
5c9b205dfc
run mk_api_doc in the same environment as make where opan config env is used
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-29 06:25:24 -08:00
Nikolaj Bjorner
8a229bf684
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 22:39:02 -08:00
Nikolaj Bjorner
c271a42a2e
change zip command
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 21:01:08 -08:00
Nikolaj Bjorner
de9f215d12
generate Ml
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 20:58:43 -08:00
Nikolaj Bjorner
a526eea123
doc/api not doc/html
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 20:01:46 -08:00
Nikolaj Bjorner
1800b48258
zip doc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 19:38:51 -08:00
Nikolaj Bjorner
c8aab1972a
have nightly generate doc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 16:05:41 -08:00
Nikolaj Bjorner
3d4a43f07b
have nightly generate doc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 16:04:08 -08:00
Nikolaj Bjorner
7068ccdebd
have nightly generate doc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 16:01:42 -08:00
Nikolaj Bjorner
d08814a1fe
have nightly generate doc
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-27 15:57:01 -08:00
Nikolaj Bjorner
d2abc9ed0f
remove comment #4956
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-21 22:18:24 -08:00
pcarbonn
0eb04df834
fix #4956 ( #4958 )
2021-01-21 22:16:49 -08:00
Nikolaj Bjorner
987efced76
upgrade compilers
2021-01-21 14:25:08 -08:00
Nikolaj Bjorner
6f09ecb229
set version
2021-01-21 14:24:58 -08:00
Nikolaj Bjorner
fb48481860
update version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 12:51:48 -08:00
Nikolaj Bjorner
517d907567
Update release.yml for Azure Pipelines
2021-01-20 12:06:47 -08:00
Nikolaj Bjorner
af914f101e
change to macos latest
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 10:19:00 -08:00
Nikolaj Bjorner
3f2349f0f7
update release notes
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 01:36:09 -08:00
Nikolaj Bjorner
80f429c3fb
nuget
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 00:33:05 -08:00
Nikolaj Bjorner
3bc18ab0d1
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 23:54:10 -08:00
Nikolaj Bjorner
ec5d08ac00
update release script
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 23:24:17 -08:00
Nikolaj Bjorner
91c54f6c39
na
2021-01-12 14:03:55 -08:00
Nikolaj Bjorner
8abb644378
add xml file to the mix #4578
2021-01-12 00:23:02 -08:00
Nikita Leshenko
d8eba2d72f
scripts/update_api: Replace Z3_LIBRARY_DIRS with Z3_LIB_DIRS ( #4915 )
...
The error message that is printed when libz3.so can't be loaded contains
incorrect instruction to set `Z3_LIBRARY_DIRS` builtin. The correct variable
name is `Z3_LIB_DIRS`.
Signed-off-by: Nikita Leshenko <nikita@leshenko.net>
2020-12-26 12:27:10 -08:00
Nikolaj Bjorner
6284f6fb03
Update nightly.yaml for Azure Pipelines
2020-12-22 14:45:15 -08:00
Nikolaj Bjorner
9d22cf4d4f
add signing to nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-12-22 13:13:04 -08:00
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