Last Updated Mon, 24 Apr 2017 22:45:29 GMT (54 seconds ago.)
Project Everest Build Dashboard

everest
Continuous Integration
SUCCESS

14.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Logs: stderr stdout
Click here for full build details
Duration:
00h 17m 48s
2h
Build History
15.5 days ago
Commit: e2d972df by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 28s
2h
16.9 days ago
Commit: e54a31a5 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 35s
2h
17.0 days ago
Commit: 0e722259 by Jonathan Protzenko
"Update KreMLin"
Build: Everest-CI-Windows
Make: everest_rebuild
Duration:
00h 14m 26s
2h
18.2 days ago
Commit: af7f1c87 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 09s
2h
24.4 days ago
Commit: 2b71ddbc by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 27s
2h
25.1 days ago
Commit: ccdd9c5d by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 19m 31s
2h
25.2 days ago
Commit: 3ad38e58 by Jonathan Protzenko
"Cygpath?!"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 03s
2h
25.2 days ago
Commit: 0e98f3ae by Jonathan Protzenko
"Export OPENSSL_HOME"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 14m 53s
2h
26.5 days ago
Commit: e8be5841 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: everest_rebuild
Duration:
00h 17m 21s
2h
26.9 days ago
Commit: d73423c5 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 54s
2h
Nightly upgrade
FAILED

13.5 hours ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Logs: stderr stdout
Click here for full build details
Duration:
00h 14m 48s
2h
Build History
1.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 14m 41s
2h
2.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 14m 38s
2h
3.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 16m 39s
2h
4.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 14m 06s
2h
5.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 13m 38s
2h
6.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 14m 39s
2h
7.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 14m 44s
2h
8.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 15m 19s
2h
9.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 15m 21s
2h
10.6 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 15m 33s
2h
Nightly
SUCCESS

12.9 hours ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Logs: stderr stdout
Click here for full build details
Duration:
01h 52m 55s
2h
Build History
1.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 49m 34s
2h
2.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 50m 21s
2h
3.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 49m 32s
2h
4.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 56m 48s
2h
5.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 01m 58s
2h
6.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 53m 06s
2h
7.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 52m 34s
2h
8.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 49m 40s
2h
9.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 50m 53s
2h
10.5 days ago
Commit: 4c13654c by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
01h 49m 55s
2h
F*
Continuous Integration
SUCCESS

1.5 hours ago
Commit: c7d80a37 by Dzomo the everest Yak
"Merge commit '9985e32ab17fc773b10fb280234dac4a8e3ed6b9'"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Logs: stderr stdout
Click here for full build details
Duration:
00h 09m 18s
2h
Build History
2.4 hours ago
Commit: a8403686 by Nikhil Swamy
"bumping a timeout (seems to succeed easily locally but failing on the CI machine)"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 32s
2h
10.0 hours ago
Commit: 2505daa5 by Santiago Zanella-Beguelin
"Update OpenSSL, again"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 21s
2h
10.6 hours ago
Commit: 63dc05e5 by Kenji Maillard
"Merge branch 'master' of github.com:FStarLang/FStar"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 10s
2h
10.8 hours ago
Commit: 8d9592dc by Dzomo the everest Yak
"Merge commit '99a337d33b447de67470bdcfef3cf2c757b8e146'"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 59s
2h
12.2 hours ago
Commit: f20804d6 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 50s
2h
1.5 days ago
Commit: 57993be8 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 35s
2h
2.5 days ago
Commit: d658ceff by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 35s
2h
2.7 days ago
Commit: d0fd0265 by Nikhil Swamy
"regen a failing hint"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 02s
2h
2.7 days ago
Commit: ae313393 by Nikhil Swamy
"tweaking output of query stats for easier parsing; restoring retention of fuel correspondence and irrelevance axioms"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 11s
2h
2.9 days ago
Commit: 75c2e556 by Nikhil Swamy
"snap"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 04s
2h
Nightly
SUCCESS

1.7 hours ago
Commit: 2505daa5 by Santiago Zanella-Beguelin
"Update OpenSSL, again"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Logs: stderr stdout
Click here for full build details
Duration:
00h 14m 45s
2h
Build History
11.0 hours ago
Commit: 57993be8 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 14m 19s
2h
1.5 days ago
Commit: d658ceff by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 14m 15s
2h
2.5 days ago
Commit: d0fd0265 by Nikhil Swamy
"regen a failing hint"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 14m 27s
2h
2.9 days ago
Commit: 1d710018 by Nikhil Swamy
"partially rolling back the change to eta expansion"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 16m 36s
2h
3.9 days ago
Commit: 2ec7d6bb by Santiago Zanella-Beguelin
"Merge pull request #996 from FStarLang/santiago_989 Fix #989"
Build: FStar-Nightly-Linux
Make:
Duration:
00h 20m 01s
2h
8.5 days ago
Commit: f5b500e2 by Santiago Zanella-Beguelin
"Code for #989"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 14m 48s
2h
12.5 days ago
Commit: 06bbcced by Kenji Maillard
"Yet another params in the parser..."
Build: FStar-Nightly-Linux
Make:
Duration:
00h 20m 00s
2h
13.5 days ago
Commit: a0b96e79 by Tomer Libal
"added some documentation"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 17m 30s
2h
15.5 days ago
Commit: 1494b6fb by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 16m 46s
2h
16.5 days ago
Commit: de71fd75 by Tahina Ramananandro (professional account)
"Merge pull request #937 from FStarLang/taramana_936 Make the dependency system honor --prims"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 18m 02s
2h
Docs nightly
SUCCESS

12.4 hours ago
Commit: 57993be8 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 46s
2h
Build History
3.0 days ago
Commit: 16a7f609 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 39s
2h
3.5 days ago
Commit: 9469a5ac by Nikhil Swamy
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 39s
2h
4.0 days ago
Commit: 2ec7d6bb by Santiago Zanella-Beguelin
"Merge pull request #996 from FStarLang/santiago_989 Fix #989"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 43s
2h
4.0 days ago
Commit: 6f09b741 by Antoine Delignat-Lavaud
"Update CoreCrypto with Curve25519 and Platform with initBytes"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 47s
2h
4.5 days ago
Commit: 2cc8a37b by Nikhil Swamy
"fixes #983, with @tahina-pro"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 39s
2h
5.6 days ago
Commit: acb46602 by Nikhil Swamy
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 39s
2h
6.6 days ago
Commit: a7ae77ea by Benjamin Beurdouche
"Support for OCaml 4.04.1"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 42s
2h
6.9 days ago
Commit: e1f20ce8 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 39s
2h
7.5 days ago
Commit: 029f95bb by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 37s
2h
10.6 days ago
Commit: 23308f62 by Jonathan Protzenko
"Refresh snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 42s
2h
miTLS
Continuous Integration
SUCCESS

12.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Logs: stderr stdout
Click here for full build details
Duration:
00h 17m 20s
2h
Build History
13.6 days ago
Commit: bfeeaddf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 16s
2h
14.6 days ago
Commit: a620bcd7 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 14s
2h
17.4 days ago
Commit: 6b8f1f4c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 17m 19s
2h
18.6 days ago
Commit: 4126e241 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 16s
2h
19.6 days ago
Commit: 5589d449 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 17m 43s
2h
20.0 days ago
Commit: cc7a079f by Jonathan Protzenko
"Merge pull request #161 from mitls/barrybo_working Support for FFI-based servers #2"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 19s
2h
20.6 days ago
Commit: bded4a56 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 03s
2h
21.3 days ago
Commit: 386d6d8e by Jonathan Protzenko
"Try to fix CI"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 19m 07s
2h
21.6 days ago
Commit: df29cc12 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 00m 23s
2h
24.5 days ago
Commit: 52612662 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 38s
2h
Nightly
FAILED

14.5 hours ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 03m 20s
2h
Build History
3.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 03m 10s
2h
4.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 05s
2h
5.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 48s
2h
6.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 03m 06s
2h
7.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 03m 20s
2h
10.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 44s
2h
11.6 days ago
Commit: efb74840 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 53s
2h
12.6 days ago
Commit: bfeeaddf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 17m 35s
2h
13.6 days ago
Commit: a620bcd7 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 19m 15s
2h
14.6 days ago
Commit: 6b8f1f4c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 17m 54s
2h
Hacl*
Continuous Integration
FAILED

7.3 hours ago
Commit: 52f89bb5 by Santiago Zanella-Beguelin
"Merge branch 'protz_bump_fstar'"
Build: Hacl*-CI-Windows
Make: hacl_test
Logs: stderr stdout
Click here for full build details
Duration:
02h 00m 16s
2h
Build History
14.5 hours ago
Commit: 92d6708c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 30m 28s
2h
3.6 days ago
Commit: 04b7008b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 28m 59s
2h
4.2 days ago
Commit: 7f260da2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 39m 53s
2h
4.6 days ago
Commit: 7f260da2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 02m 01s
2h
5.6 days ago
Commit: 4754c735 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 34m 17s
2h
6.4 days ago
Commit: e11c5ebe by Antoine Delignat-Lavaud
"Workaround for #490"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 31m 02s
2h
6.4 days ago
Commit: cb152967 by Antoine Delignat-Lavaud
"Use Crypto.Plain in AEAD interface"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 34m 36s
2h
6.6 days ago
Commit: 63ed87d2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 28m 31s
2h
7.6 days ago
Commit: c771955b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 27m 46s
2h
8.5 days ago
Commit: a8b403d7 by Jean Karim
"removed more 'inline_for_extraction' keyworks on stateful functions"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 27m 43s
2h
Nightly
SUCCESS

15.0 hours ago
Commit: 04b7008b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 29m 04s
2h
Build History
3.6 days ago
Commit: 7f260da2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 29m 51s
2h
4.6 days ago
Commit: 4754c735 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 30m 21s
2h
5.6 days ago
Commit: e11c5ebe by Antoine Delignat-Lavaud
"Workaround for #490"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 36m 26s
2h
6.6 days ago
Commit: c771955b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 27m 48s
2h
7.6 days ago
Commit: a8b403d7 by Jean Karim
"removed more 'inline_for_extraction' keyworks on stateful functions"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 30m 24s
2h
10.6 days ago
Commit: e1191e98 by Nikhil Swamy
"Merge branch 'master' of github.com:mitls/hacl-star"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 23m 01s
2h
11.6 days ago
Commit: 21648d96 by Jean Karim Zinzindohoue
"fresh hints for Hacl.Spec.Bignum.Fproduct"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 24m 05s
2h
12.5 days ago
Commit: 4cfdf38b by Santiago Zanella-Beguelin
"Remove --detail_errors"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 20m 50s
2h
12.6 days ago
Commit: 8800d14b by Antoine Delignat-Lavaud
"Different workaround for #910"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 19m 57s
2h
13.6 days ago
Commit: af611e2e by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 22m 46s
2h
FAILED

11.2 hours ago
Commit: 92d6708c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
01h 10m 08s
2h
Build History
1.5 days ago
Commit: 04b7008b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 58m 57s
2h
2.5 days ago
Commit: 04b7008b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
01h 03m 06s
2h
3.5 days ago
Commit: 04b7008b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
01h 01m 26s
2h
5.5 days ago
Commit: 4754c735 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
01h 07m 14s
2h
12.5 days ago
Commit: 8800d14b by Antoine Delignat-Lavaud
"Different workaround for #910"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 10m 04s
2h
14.5 days ago
Commit: 0759fb32 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 57m 27s
2h
15.5 days ago
Commit: ded175f5 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 47m 53s
2h
16.5 days ago
Commit: 1595fa49 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 46m 17s
2h
17.3 days ago
Commit: 798d10f3 by Jean Karim Zinzindohoue
"hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 53m 04s
2h
17.5 days ago
Commit: 8eda9616 by Santiago Zanella-Beguelin
"--hint_info"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
01h 55m 45s
2h
VALE
x86 Continuous Integration
SUCCESS

16.9 days ago
Commit: baa9c34c by Jonathan Protzenko
"Followup on KreMLin changes."
Build: VALE-x86 CI-Windows
Make: scons.bat
Logs: stderr stdout
Click here for full build details
Duration:
01h 32m 52s
2h
Build History
18.4 days ago
Commit: 3608e2e0 by Aseem Rastogi
"some comments"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 34m 15s
2h
18.4 days ago
Commit: 8e4a246b by Aseem Rastogi
"Reference semantics vale/test/common.vad in F*, can prove the lemmas as they are"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 33m 37s
2h
20.3 days ago
Commit: 8469f03c by Bryan Parno
"Update README.md Point the Everest link at the landing webpage"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 33m 09s
2h
32.2 days ago
Commit: 9c1dc3be by Chris Hawblitzel
"Add {:tactic e} procedure attribute to use FStar tactics"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 21m 03s
2h
33.0 days ago
Commit: 1dacb87a by Chris Hawblitzel
"Add -conciseLemmas=false flag for FStar experiments"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 28m 31s
2h
33.9 days ago
Commit: 49291b04 by Chris Hawblitzel
"Allow if/while conditions to be function applications"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 25m 34s
2h
36.1 days ago
Commit: ce9e51da by Chris Hawblitzel
"Set /induction:1 as default flag to Dafny in SConstruct"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 20m 59s
2h
36.2 days ago
Commit: c0376706 by Chris Hawblitzel
"Fix split_here syntax, add assert{:split_here}{:refined} syntax"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 20m 43s
2h
39.0 days ago
Commit: e373dacb by Chris Hawblitzel
"Fill in more pieces of fstar1.vaf"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 21m 11s
2h
39.0 days ago
Commit: 25924432 by Chris Hawblitzel
"Add preliminary FStar example"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 22m 20s
2h
x64 Continuous Integration
SUCCESS

16.9 days ago
Commit: 8af38afa by Jonathan Protzenko
"Fix typo"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 05m 00s
2h
Build History
17.0 days ago
Commit: baa9c34c by Jonathan Protzenko
"Followup on KreMLin changes."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 47s
2h
18.4 days ago
Commit: 3608e2e0 by Aseem Rastogi
"some comments"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 55s
2h
18.5 days ago
Commit: 8e4a246b by Aseem Rastogi
"Reference semantics vale/test/common.vad in F*, can prove the lemmas as they are"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 18s
2h
20.3 days ago
Commit: 8469f03c by Bryan Parno
"Update README.md Point the Everest link at the landing webpage"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 31s
2h
32.2 days ago
Commit: 9c1dc3be by Chris Hawblitzel
"Add {:tactic e} procedure attribute to use FStar tactics"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 30s
2h
33.1 days ago
Commit: 1dacb87a by Chris Hawblitzel
"Add -conciseLemmas=false flag for FStar experiments"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 37s
2h
34.0 days ago
Commit: 49291b04 by Chris Hawblitzel
"Allow if/while conditions to be function applications"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 23s
2h
36.2 days ago
Commit: ce9e51da by Chris Hawblitzel
"Set /induction:1 as default flag to Dafny in SConstruct"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 07s
2h
36.2 days ago
Commit: c0376706 by Chris Hawblitzel
"Fix split_here syntax, add assert{:split_here}{:refined} syntax"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 18s
2h
38.9 days ago
Commit: 59c23493 by Chris Hawblitzel
"Add .vaf to .gitattributes"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 47s
2h
Continuous Integration
SUCCESS

17.0 days ago
Commit: 8af38afa by Jonathan Protzenko
"Fix typo"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 01m 07s
2h
Build History
17.0 days ago
Commit: baa9c34c by Jonathan Protzenko
"Followup on KreMLin changes."
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 18s
2h
18.5 days ago
Commit: 3608e2e0 by Aseem Rastogi
"some comments"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 01s
2h
18.5 days ago
Commit: 8e4a246b by Aseem Rastogi
"Reference semantics vale/test/common.vad in F*, can prove the lemmas as they are"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 22s
2h
20.3 days ago
Commit: 8469f03c by Bryan Parno
"Update README.md Point the Everest link at the landing webpage"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 23s
2h
32.2 days ago
Commit: 9c1dc3be by Chris Hawblitzel
"Add {:tactic e} procedure attribute to use FStar tactics"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 18s
2h
34.0 days ago
Commit: 49291b04 by Chris Hawblitzel
"Allow if/while conditions to be function applications"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 08s
2h
36.2 days ago
Commit: ce9e51da by Chris Hawblitzel
"Set /induction:1 as default flag to Dafny in SConstruct"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 04s
2h
36.2 days ago
Commit: c0376706 by Chris Hawblitzel
"Fix split_here syntax, add assert{:split_here}{:refined} syntax"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 07s
2h
39.0 days ago
Commit: 59c23493 by Chris Hawblitzel
"Add .vaf to .gitattributes"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 13s
2h
39.0 days ago
Commit: e373dacb by Chris Hawblitzel
"Fill in more pieces of fstar1.vaf"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 03s
2h