Last Updated Mon, 27 Mar 2017 20:29:32 GMT (5 seconds ago.)
Project Everest Build Dashboard

everest
Continuous Integration
SUCCESS

10.3 hours ago
Commit: 8122d8ac by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Logs: stderr stdout
Duration:
00h 19m 09s
2h
Build History
2.4 days ago
Commit: 3b78a981 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 08s
2h
3.4 days ago
Commit: b601e579 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 34s
2h
4.9 days ago
Commit: 9b430af4 by Jonathan Protzenko
"Merge pull request #32 from project-everest/darrenge_install_message Added a prompt to choose python 2.7 during install of scons"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 38s
2h
6.4 days ago
Commit: 5cc9e89e by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 45s
2h
7.4 days ago
Commit: cfc691d3 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 19s
2h
8.4 days ago
Commit: 62bcfa3f by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 18s
2h
9.4 days ago
Commit: d3ab8ba4 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 24s
2h
10.4 days ago
Commit: 4f36e6b0 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 15s
2h
11.4 days ago
Commit: a294b6b4 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 11s
2h
11.6 days ago
Commit: 79f1bc7f by Jonathan Protzenko
"Try bumping KreMLin"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 18m 49s
2h
Nightly upgrade
SUCCESS

10.6 hours ago
Commit: aacfbac9 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Logs: stderr stdout
Duration:
00h 53m 23s
2h
Build History
1.4 days ago
Commit: 3b78a981 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 53m 05s
2h
2.4 days ago
Commit: b601e579 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 53m 10s
2h
3.4 days ago
Commit: 68d29663 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 53m 30s
2h
4.4 days ago
Commit: 9b430af4 by Jonathan Protzenko
"Merge pull request #32 from project-everest/darrenge_install_message Added a prompt to choose python 2.7 during install of scons"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 53m 44s
2h
6.4 days ago
Commit: cfc691d3 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 46m 11s
2h
7.4 days ago
Commit: 62bcfa3f by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 45m 06s
2h
8.4 days ago
Commit: d3ab8ba4 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 45m 08s
2h
9.4 days ago
Commit: 4f36e6b0 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 44m 59s
2h
10.4 days ago
Commit: a294b6b4 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 44m 52s
2h
11.4 days ago
Commit: 79f1bc7f by Jonathan Protzenko
"Try bumping KreMLin"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 44m 54s
2h
Nightly
SUCCESS

11.6 hours ago
Commit: aacfbac9 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Logs: stderr stdout
Duration:
00h 48m 07s
2h
Build History
1.5 days ago
Commit: 3b78a981 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 46m 25s
2h
2.5 days ago
Commit: b601e579 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 47m 19s
2h
3.5 days ago
Commit: 68d29663 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 48m 40s
2h
4.5 days ago
Commit: 9b430af4 by Jonathan Protzenko
"Merge pull request #32 from project-everest/darrenge_install_message Added a prompt to choose python 2.7 during install of scons"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 49m 01s
2h
4.9 days ago
Commit: 9b430af4 by Jonathan Protzenko
"Merge pull request #32 from project-everest/darrenge_install_message Added a prompt to choose python 2.7 during install of scons"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 45m 32s
2h
4.9 days ago
Commit: 9b430af4 by Jonathan Protzenko
"Merge pull request #32 from project-everest/darrenge_install_message Added a prompt to choose python 2.7 during install of scons"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 32m 49s
2h
4.9 days ago
Commit: ffd08b7b by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 53m 36s
2h
5.0 days ago
Commit: ffd08b7b by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 34m 21s
2h
5.2 days ago
Commit: e357a3c1 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 34m 32s
2h
5.2 days ago
Commit: e357a3c1 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 18s
2h
F*
Continuous Integration
SUCCESS

4.2 hours ago
Commit: 42cc5a8f by Nikhil Swamy
"bump version number for fstar-mode.el"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Logs: stderr stdout
Duration:
00h 09m 23s
2h
Build History
8.9 hours ago
Commit: e7d5e9f1 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 22s
2h
1.4 days ago
Commit: 0bba3319 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 23s
2h
2.4 days ago
Commit: 18c7f8c7 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 25s
2h
2.9 days ago
Commit: e6c93a58 by Santiago Zanella-Beguelin
"Update OpenSSL; pki"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 39s
2h
3.1 days ago
Commit: 0cd4d22a by Nikhil Swamy
"too expensive to cygpath every filename"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 07s
2h
3.4 days ago
Commit: 09fb9658 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 59s
2h
4.2 days ago
Commit: e3da3674 by Nikhil Swamy
"bumping version number for use from fstar-mode.el"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 37s
2h
5.1 days ago
Commit: 3a754cb9 by Jonathan Protzenko
"Merge branch 'c_relational-ci_r3'"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 40s
2h
6.4 days ago
Commit: e58eb172 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 25s
2h
7.2 days ago
Commit: fdb8e7ef by Nikhil Swamy
"Merge remote-tracking branch 'origin/master' into nik_info"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 10m 46s
2h
Nightly
SUCCESS

9.2 hours ago
Commit: 0bba3319 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Logs: stderr stdout
Duration:
01h 17m 57s
2h
Build History
2.4 days ago
Commit: e6c93a58 by Santiago Zanella-Beguelin
"Update OpenSSL; pki"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
01h 06m 40s
2h
3.4 days ago
Commit: e3da3674 by Nikhil Swamy
"bumping version number for use from fstar-mode.el"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
01h 16m 47s
2h
5.2 days ago
Commit: e58eb172 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 56m 04s
2h
6.4 days ago
Commit: fdb8e7ef by Nikhil Swamy
"Merge remote-tracking branch 'origin/master' into nik_info"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 47m 39s
2h
7.4 days ago
Commit: 817ecd9f by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 47m 08s
2h
8.4 days ago
Commit: e960f3c9 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 45m 32s
2h
9.4 days ago
Commit: b6442033 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 45m 29s
2h
10.4 days ago
Commit: 193aa275 by Jonathan Protzenko
"Use deterministic line endings for hints"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 45m 38s
2h
11.4 days ago
Commit: 7b3fab27 by Jonathan Protzenko
"Merge branch 'protz_tany'"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 49m 03s
2h
12.1 days ago
Commit: e341e617 by Jonathan Protzenko
"Set --lax for the last bit of Crypto.AEAD.Encoding"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 59m 01s
2h
Docs nightly
SUCCESS

11.0 hours ago
Commit: 0bba3319 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Logs: stderr stdout
Duration:
00h 00m 44s
2h
Build History
3.5 days ago
Commit: e3da3674 by Nikhil Swamy
"bumping version number for use from fstar-mode.el"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 48s
2h
4.5 days ago
Commit: 3a754cb9 by Jonathan Protzenko
"Merge branch 'c_relational-ci_r3'"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 43s
2h
5.2 days ago
Commit: e58eb172 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 49s
2h
6.5 days ago
Commit: fdb8e7ef by Nikhil Swamy
"Merge remote-tracking branch 'origin/master' into nik_info"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 43s
2h
7.5 days ago
Commit: 817ecd9f by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 41s
2h
10.5 days ago
Commit: 193aa275 by Jonathan Protzenko
"Use deterministic line endings for hints"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 42s
2h
11.5 days ago
Commit: 7b3fab27 by Jonathan Protzenko
"Merge branch 'protz_tany'"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 44s
2h
12.1 days ago
Commit: e341e617 by Jonathan Protzenko
"Set --lax for the last bit of Crypto.AEAD.Encoding"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 52s
2h
12.2 days ago
Commit: d9089ac0 by Jonathan Protzenko
"One more attempt"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 12s
2h
17.4 days ago
Commit: 95c407dd by Jonathan Protzenko
"Merge commit 'e10056c'"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 41s
2h
miTLS
Continuous Integration
SUCCESS

12.2 hours ago
Commit: e33fbcfd by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Logs: stderr stdout
Duration:
00h 07m 23s
2h
Build History
3.5 days ago
Commit: 9eba6700 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 33s
2h
4.5 days ago
Commit: 470aa19b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 32s
2h
5.1 days ago
Commit: 7612878f by Jonathan Protzenko
"Fix unqualified use of disjoint"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 22s
2h
5.5 days ago
Commit: 8933d4d5 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 39s
2h
7.5 days ago
Commit: 6b402a9c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 48s
2h
10.5 days ago
Commit: 78e64f49 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 08m 24s
2h
11.5 days ago
Commit: 1d34d9ae by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 08m 19s
2h
12.5 days ago
Commit: 17bf1bc6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 20s
2h
13.5 days ago
Commit: c15b9987 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 10s
2h
14.5 days ago
Commit: e247aec3 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 24s
2h
Nightly
SUCCESS

12.4 hours ago
Commit: 9eba6700 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Logs: stderr stdout
Duration:
00h 07m 36s
2h
Build History
3.5 days ago
Commit: 470aa19b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 40s
2h
4.5 days ago
Commit: 7612878f by Jonathan Protzenko
"Fix unqualified use of disjoint"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 26s
2h
5.5 days ago
Commit: b19c1b22 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 57s
2h
6.5 days ago
Commit: 6b402a9c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 36s
2h
7.5 days ago
Commit: 78e64f49 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 42s
2h
10.5 days ago
Commit: 1d34d9ae by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 09m 05s
2h
11.5 days ago
Commit: 17bf1bc6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 09m 34s
2h
12.5 days ago
Commit: c15b9987 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 33s
2h
13.5 days ago
Commit: e247aec3 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 43s
2h
14.5 days ago
Commit: 546cab69 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 34s
2h
Hacl*
Continuous Integration
FAILED

8.9 hours ago
Commit: 53d70fd4 by Antoine Delignat-Lavaud
"Change -bundle and add multiplexing implementation of Crypto.Indexing for miTLS"
Build: Hacl*-CI-Windows
Make: hacl_verify
Logs: stderr stdout
Duration:
00h 53m 04s
2h
Build History
3.3 days ago
Commit: e0345c26 by Aseem Rastogi
"nit"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 47m 32s
2h
3.4 days ago
Commit: fb564f2f by Aseem Rastogi
"fixing regression in Wrappers.PRF"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 55m 31s
2h
4.2 days ago
Commit: a63bd036 by Jean Karim
"moved Hacl.Spec.Bignum.Fsquare to slow files"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 47m 05s
2h
5.3 days ago
Commit: dcd8673a by Antoine Delignat-Lavaud
"Add AES implementation multiplexing to LowCProvider"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 24m 00s
2h
6.2 days ago
Commit: f276af52 by Santiago Zanella-Beguelin
"Removing accumulate_freshness assumptions"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 25m 10s
2h
6.3 days ago
Commit: 04e60368 by Aseem Rastogi
"deleting the hints file for fmul"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 25m 30s
2h
7.2 days ago
Commit: aa571cf8 by Antoine Delignat-Lavaud
"Update test_perf"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 20m 00s
2h
7.3 days ago
Commit: 40c4c02e by Antoine Delignat-Lavaud
"Update LowCProvider for miTLS merge"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 20m 28s
2h
11.0 days ago
Commit: 0708e8cb by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 20m 12s
2h
11.1 days ago
Commit: f1c32018 by Santiago Zanella-Beguelin
"Try with fresh hints"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 17m 39s
2h
Nightly
FAILED

12.4 hours ago
Commit: e0345c26 by Aseem Rastogi
"nit"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Logs: stderr stdout
Duration:
00h 51m 55s
2h
Build History
3.5 days ago
Commit: a63bd036 by Jean Karim
"moved Hacl.Spec.Bignum.Fsquare to slow files"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 47m 47s
2h
4.5 days ago
Commit: dcd8673a by Antoine Delignat-Lavaud
"Add AES implementation multiplexing to LowCProvider"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 25m 52s
2h
5.5 days ago
Commit: f276af52 by Santiago Zanella-Beguelin
"Removing accumulate_freshness assumptions"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 14m 18s
2h
6.5 days ago
Commit: aa571cf8 by Antoine Delignat-Lavaud
"Update test_perf"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 20m 02s
2h
7.5 days ago
Commit: 0708e8cb by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 19m 59s
2h
10.5 days ago
Commit: 0708e8cb by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 20m 46s
2h
11.0 days ago
Commit: f1c32018 by Santiago Zanella-Beguelin
"Try with fresh hints"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 23m 33s
2h
11.5 days ago
Commit: 76d6d2b3 by Santiago Zanella-Beguelin
"Move push_frame/pop_frame inside match branch"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 29m 37s
2h
11.9 days ago
Commit: be0b03f9 by Santiago Zanella-Beguelin
"Merge branch 'master' of https://www.github.com/mitls/hacl-star"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 03m 02s
2h
11.9 days ago
Commit: be0b03f9 by Santiago Zanella-Beguelin
"Merge branch 'master' of https://www.github.com/mitls/hacl-star"
Build: Hacl*-Nightly-Windows
Make: hacl_verify_and_hints
Duration:
00h 00m 38s
2h
VALE
x86 Continuous Integration
SUCCESS

4.1 days ago
Commit: 9c1dc3be by Chris Hawblitzel
"Add {:tactic e} procedure attribute to use FStar tactics"
Build: VALE-x86 CI-Windows
Make: scons.bat
Logs: stderr stdout
Duration:
01h 21m 03s
2h
Build History
4.9 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
5.8 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
8.0 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
8.1 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
10.9 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
10.9 days ago
Commit: 25924432 by Chris Hawblitzel
"Add preliminary FStar example"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 22m 20s
2h
11.0 days ago
Commit: 77187413 by Chris Hawblitzel
"Change emit_fstar to use Ghost for lemmas with return values"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 24m 33s
2h
12.1 days ago
Commit: 0b6e6052 by Chris Hawblitzel
"Update Dafny Updated from current Kremlin branch (3d5e267dde2c0af807868af87885fa6bfd2dfc12)"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 33m 06s
2h
17.1 days ago
Commit: 0b6e6052 by Chris Hawblitzel
"Update Dafny Updated from current Kremlin branch (3d5e267dde2c0af807868af87885fa6bfd2dfc12)"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 09m 28s
2h
19.0 days ago
Commit: b27d875e by BarryBo
"SHA256 with Linux x64 calling convention"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 23m 37s
2h
x64 Continuous Integration
SUCCESS

4.1 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
Logs: stderr stdout
Duration:
00h 04m 30s
2h
Build History
5.0 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
5.9 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
8.1 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
8.1 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
10.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
10.9 days ago
Commit: e373dacb by Chris Hawblitzel
"Fill in more pieces of fstar1.vaf"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 13s
2h
11.0 days ago
Commit: 25924432 by Chris Hawblitzel
"Add preliminary FStar example"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 15s
2h
11.1 days ago
Commit: 77187413 by Chris Hawblitzel
"Change emit_fstar to use Ghost for lemmas with return values"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 55s
2h
12.0 days ago
Commit: 0b6e6052 by Chris Hawblitzel
"Update Dafny Updated from current Kremlin branch (3d5e267dde2c0af807868af87885fa6bfd2dfc12)"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 52s
2h
17.2 days ago
Commit: 0b6e6052 by Chris Hawblitzel
"Update Dafny Updated from current Kremlin branch (3d5e267dde2c0af807868af87885fa6bfd2dfc12)"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 02m 58s
2h
Continuous Integration
SUCCESS

4.1 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
Logs: stderr stdout
Duration:
00h 01m 18s
2h
Build History
5.9 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
8.1 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
8.1 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
10.9 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
10.9 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
11.0 days ago
Commit: 25924432 by Chris Hawblitzel
"Add preliminary FStar example"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 07s
2h
11.1 days ago
Commit: 77187413 by Chris Hawblitzel
"Change emit_fstar to use Ghost for lemmas with return values"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 16s
2h
12.0 days ago
Commit: 0b6e6052 by Chris Hawblitzel
"Update Dafny Updated from current Kremlin branch (3d5e267dde2c0af807868af87885fa6bfd2dfc12)"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 33s
2h
17.2 days ago
Commit: 0b6e6052 by Chris Hawblitzel
"Update Dafny Updated from current Kremlin branch (3d5e267dde2c0af807868af87885fa6bfd2dfc12)"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 00m 44s
2h
18.9 days ago
Commit: b27d875e by BarryBo
"SHA256 with Linux x64 calling convention"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 08s
2h