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
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