Last Updated Thu, 27 Jul 2017 08:43:14 GMT (70 seconds ago.)
Project Everest Build Dashboard

everest
Continuous Integration
FAILED

6.4 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-CI-Windows
Make: everest_rebuild
Logs: stderr stdout
Click here for full build details
Duration:
00h 15m 29s
2h
Build History
6.8 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-CI-Windows
Make:
Duration:
02h 03m 26s
2h
8.5 days ago
Commit: 6f9a1bfb by Jonathan Protzenko
"Write environment variables to ~/.bash_profile"
Build: Everest-CI-Windows
Make:
Duration:
02h 19m 36s
2h
10.3 days ago
Commit: 0ed1d622 by Jonathan Protzenko
"Take the hashes from the test branch... for which we had a green"
Build: Everest-CI-Windows
Make:
Duration:
02h 31m 47s
2h
10.6 days ago
Commit: 1197b3c1 by Jonathan Protzenko
"-k everything ***NO_CI***"
Build: Everest-CI-Windows
Make:
Duration:
01h 32m 08s
2h
14.4 days ago
Commit: 464677a2 by Jonathan Protzenko
"Merge pull request #29 from andreas23/master Fix up .gitignore, add commands "merge" and "forall" to everest script"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 07s
2h
27.9 days ago
Commit: 269fbe54 by Christoph M. Wintersteiger
"Merge branch 'master' of https://github.com/project-everest/everest"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 -Otarget test
Duration:
00h 19m 07s
2h
28.4 days ago
Commit: 62dd6fd8 by Jonathan Protzenko
"Merge pull request #39 from project-everest/taramana_env_dest_file Offer to store environment variables somewhere else than .bashrc"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 -Otarget test
Duration:
00h 17m 47s
2h
29.6 days ago
Commit: 51e2c885 by Jonathan Protzenko
"Update Docker image heads-up @taramana-pro"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 -Otarget test
Duration:
00h 17m 11s
2h
29.6 days ago
Commit: 5f285c47 by Jonathan Protzenko
"nits"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 -Otarget test
Duration:
00h 17m 36s
2h
30.6 days ago
Commit: 47f61e3d by Jonathan Protzenko
"OCaml 4.04.1"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 -Otarget test
Duration:
00h 17m 13s
2h
Nightly upgrade
FAILED

23.6 hours ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Logs: stderr stdout
Click here for full build details
Duration:
00h 11m 17s
2h
Build History
2.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 10m 55s
2h
3.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 10m 52s
2h
4.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 11m 12s
2h
5.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 10m 50s
2h
6.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 14m 24s
2h
7.0 days ago
Commit: 6f9a1bfb by Jonathan Protzenko
"Write environment variables to ~/.bash_profile"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 15m 33s
2h
8.0 days ago
Commit: 6f9a1bfb by Jonathan Protzenko
"Write environment variables to ~/.bash_profile"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 09m 53s
2h
8.6 days ago
Commit: 59803df5 by Jonathan Protzenko
"Fix bad copy-paste and outdated comment ***NO_CI***"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 18m 21s
2h
8.7 days ago
Commit: 59803df5 by Jonathan Protzenko
"Fix bad copy-paste and outdated comment ***NO_CI***"
Build: Everest-Nightly Upgrade-Windows
Make:
Duration:
01h 40m 21s
2h
8.9 days ago
Commit: 481f1576 by Jonathan Protzenko
"set -x ***NO_CI***"
Build: Everest-Nightly Upgrade-Windows
Make:
Duration:
03h 00m 17s
2h
Nightly
SUCCESS

44 minutes ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 13s
2h
Build History
1.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 14s
2h
2.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 14s
2h
3.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 14s
2h
4.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 14s
2h
5.0 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 14s
2h
5.9 days ago
Commit: 9fc88230 by Jonathan Protzenko
"Merge pull request #42 from andreas23/master Make sure Python and scons are all amd64 versions, also fix paths acc…"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 39m 45s
2h
6.9 days ago
Commit: 6f9a1bfb by Jonathan Protzenko
"Write environment variables to ~/.bash_profile"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 31m 08s
2h
8.0 days ago
Commit: 6f9a1bfb by Jonathan Protzenko
"Write environment variables to ~/.bash_profile"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 19s
2h
9.0 days ago
Commit: 481f1576 by Jonathan Protzenko
"set -x ***NO_CI***"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 04m 16s
2h
10.0 days ago
Commit: 0ed1d622 by Jonathan Protzenko
"Take the hashes from the test branch... for which we had a green"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 21s
2h
F*
Continuous Integration
SUCCESS

6.0 hours ago
Commit: 498e1e5b by Guido Martínez
"snap"
Build: FStar-CI-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 12m 21s
2h
Build History
6.5 hours ago
Commit: f6d94910 by Guido Martínez
"snap"
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 05s
2h
13.2 hours ago
Commit: 67bf4174 by Nikhil Swamy
"snap"
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 27s
2h
19.6 hours ago
Commit: 44d9ac06 by Tej Chajed
"Add command line completion for fstar.exe options"
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 37s
2h
22.2 hours ago
Commit: bc6580e6 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make:
Duration:
00h 13m 27s
2h
1.6 days ago
Commit: b9adb424 by Nikhil Swamy
"snap"
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 28s
2h
1.7 days ago
Commit: 05219ea0 by Jonathan Protzenko
"Fix kremlin"
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 22s
2h
1.7 days ago
Commit: 10b9a016 by Catalin Hritcu
"Code for #1150"
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 26s
2h
1.8 days ago
Commit: 5278b177 by Guido Martínez
"FStar.Order: improve definitions after fix I tried to do this before but normalization was failing, I imagine 668100e9bd17ab7501647d0694947e624345e4ff fixes it."
Build: FStar-CI-Windows
Make:
Duration:
00h 12m 16s
2h
1.9 days ago
Commit: bc4bd7dc by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make:
Duration:
00h 13m 27s
2h
2.3 days ago
Commit: cdaff635 by Nikhil Swamy
"snap"
Build: FStar-CI-Windows
Make:
Duration:
00h 13m 20s
2h
Nightly
SUCCESS

22.5 hours ago
Commit: b9adb424 by Nikhil Swamy
"snap"
Build: FStar-Nightly-Linux
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 16m 05s
2h
Build History
1.9 days ago
Commit: cdaff635 by Nikhil Swamy
"snap"
Build: FStar-Nightly-Linux
Make:
Duration:
00h 18m 23s
2h
2.9 days ago
Commit: 94180682 by Catalin Hritcu
"Improved error message for #1106 + permissions ***NO_CI***"
Build: FStar-Nightly-Linux
Make:
Duration:
00h 20m 01s
2h
3.9 days ago
Commit: 531ab729 by Guido Martínez
"got a "Broken pipe", so try again I guess?"
Build: FStar-Nightly-Linux
Make:
Duration:
00h 16m 08s
2h
4.9 days ago
Commit: 7437d4e9 by Nikhil Swamy
"regen hints"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 01m 15s
2h
5.9 days ago
Commit: 64d3f1d1 by Victor Dumitrescu
"Merge branch 'master' of github.com:FStarLang/FStar into vdum_pprint"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 01m 17s
2h
6.9 days ago
Commit: d97ceb4a by Nikhil Swamy
"snap"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 01m 42s
2h
7.6 days ago
Commit: 801afa21 by Clément Pit--Claudel
"Propagate parameter names into the types of top-level let bindings This is useful when the type of a top-level let is given separately. As an example, val substr: string -> int -> int let substr str start len = ... now has signature str:string -> start:int -> len:int Fixes #929."
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 13m 04s
2h
7.6 days ago
Commit: 801afa21 by Clément Pit--Claudel
"Propagate parameter names into the types of top-level let bindings This is useful when the type of a top-level let is given separately. As an example, val substr: string -> int -> int let substr str start len = ... now has signature str:string -> start:int -> len:int Fixes #929."
Build: FStar-Nightly-Linux
Make:
Duration:
00h 15m 01s
2h
7.7 days ago
Commit: 8a7712c2 by Aseem Rastogi
"bumping up some rlimits, new hints, trying to get master to go through"
Build: FStar-Nightly-Linux
Make:
Duration:
00h 13m 39s
2h
8.9 days ago
Commit: 704c7a0f by Christoph M. Wintersteiger
"Improved filters in query-stats.py"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 15m 43s
2h
Docs nightly
SUCCESS

23.2 hours ago
Commit: b9adb424 by Nikhil Swamy
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 58s
2h
Build History
2.0 days ago
Commit: cdaff635 by Nikhil Swamy
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 12s
2h
3.0 days ago
Commit: 94180682 by Catalin Hritcu
"Improved error message for #1106 + permissions ***NO_CI***"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 50s
2h
6.0 days ago
Commit: 568d9fca by Aseem Rastogi
"Merge branch 'master' into aseem_ref_smtencoding"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 48s
2h
6.5 days ago
Commit: 7b39c2d9 by Guido Martínez
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 59s
2h
7.0 days ago
Commit: d97ceb4a by Nikhil Swamy
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 28s
2h
7.7 days ago
Commit: 8a7712c2 by Aseem Rastogi
"bumping up some rlimits, new hints, trying to get master to go through"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 20s
2h
9.0 days ago
Commit: 704c7a0f by Christoph M. Wintersteiger
"Improved filters in query-stats.py"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 45s
2h
9.5 days ago
Commit: 112b064a by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 02m 51s
2h
13.0 days ago
Commit: 7ac039bd by Jonathan Protzenko
"Merge branch 'protz_debugging_misery' So that this commit can be referenced from the everest hashes.sh but still be on master."
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 49s
2h
13.5 days ago
Commit: b645c45e by Jonathan Protzenko
"Merge pull request #954 from andreas23/andreas23_openssl Fix a number of OpenSSL build issues"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 47s
2h
Binarybuild
FAILED

5.0 days ago
Commit: 7437d4e9 by Nikhil Swamy
"regen hints"
Build: FStar-BinaryBuild-Linux
Make: make -C src utest -k
Logs: stderr stdout
Click here for full build details
Duration:
00h 01m 21s
2h
Build History
11.9 days ago
Commit: f0067ceb by Christoph M. Wintersteiger
"Minor adjustments in query-stats.py"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 58m 34s
2h
18.9 days ago
Commit: 3cf09244 by Tahina Ramananandro
"Hints"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
01h 00m 41s
2h
23.3 days ago
Commit: 9af506eb by Markulf Kohlweiss
"Merge pull request #1107 from FStarLang/markulf_tutorial_fixes updating crypto tutorial examples"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 57m 44s
2h
23.5 days ago
Commit: 6856db24 by Jonathan Protzenko
"Merge pull request #1104 from FStarLang/tchajed_uint128 Add a verified UInt128 library"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 34m 42s
2h
32.9 days ago
Commit: 1c01c5ea by Samin Ishtiaq
"Remove ||: to stop hiding failure; don't assume Makefile has SHELL=bash set. (#1093) * Remove ||: to stop hiding failure; don't assume Makefile has SHELL=bash set. * Update Makefile"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
00h 44m 51s
2h
36.6 days ago
Commit: 9f13542f by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
00h 56m 43s
2h
39.9 days ago
Commit: f5cc3581 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
00h 50m 20s
2h
46.9 days ago
Commit: fcc67f30 by Armaël Guéneau
"Remove trailing whitespace"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 03m 55s
2h
48.5 days ago
Commit: 4742b3e9 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
00h 55m 48s
2h
48.6 days ago
Commit: 11b273a2 by Jonathan Protzenko
"Merge branch 'protz_noextract_ml'"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 20m 00s
2h
FAILED

4.0 days ago
Commit: 531ab729 by Guido Martínez
"got a "Broken pipe", so try again I guess?"
Build: FStar-BinaryBuild-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 14m 40s
2h
Build History
11.0 days ago
Commit: a04185ee by Jonathan Protzenko
"Merge branch 'protz_debugging_misery'"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 18m 22s
2h
18.0 days ago
Commit: 6bbf8439 by Markulf Kohlweiss
"Merge pull request #1114 from FStarLang/markulf_tutorial_fixes Markulf tutorial fixes"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 17m 32s
2h
25.0 days ago
Commit: 6856db24 by Jonathan Protzenko
"Merge pull request #1104 from FStarLang/tchajed_uint128 Add a verified UInt128 library"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 16m 58s
2h
30.4 days ago
Commit: 84e9a25f by Jonathan Protzenko
"Followup fixes to account for @kyod's new packaging structure in the distributed build... ***NO_CI***"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 17m 47s
2h
30.4 days ago
Commit: 15f337bf by Jonathan Protzenko
"More fixes for the binary package... - followup fix to Christoph's changes... package z3.mk too - make -C examples already runs the micro-benchmarks; no need to do it twice - ulib/ml now should have a proper Makefile; don't invalidate the build - minor fixes for comments and readability."
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 12m 58s
2h
30.4 days ago
Commit: 8dded4a6 by Jonathan Protzenko
"Fix make package ***NO_CI***"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 12m 10s
2h
30.5 days ago
Commit: c5a235fa by Jonathan Protzenko
"Fix make package ***NO_CI***"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 11m 06s
2h
30.5 days ago
Commit: 9ab96d15 by Jonathan Protzenko
"Fix make package ***NO_CI***"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 11m 42s
2h
32.0 days ago
Commit: 667e18dd by Kenji Maillard
"Better resugaring of implicits"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 10m 30s
2h
39.0 days ago
Commit: f5cc3581 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 12m 01s
2h
miTLS
Continuous Integration
SUCCESS

20 minutes ago
Commit: 8eb789c5 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 12m 06s
2h
Build History
1.0 days ago
Commit: 5525c625 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 01s
2h
2.0 days ago
Commit: 0cec40e6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 12m 01s
2h
3.0 days ago
Commit: ceafe051 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 12m 06s
2h
6.0 days ago
Commit: 4a28acc2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 13m 15s
2h
7.0 days ago
Commit: e7409d82 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 12m 27s
2h
8.0 days ago
Commit: 18d0fb49 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 12m 05s
2h
8.7 days ago
Commit: 2f1ee704 by Barry Bond
"Use an explicit path to the VC tools on cygwin"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 13m 31s
2h
9.0 days ago
Commit: 39759f8b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 13m 13s
2h
9.5 days ago
Commit: b812909f by Barry Bond
"Produce libmitls.lib for Windows targets"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 13m 25s
2h
9.5 days ago
Commit: b812909f by Barry Bond
"Produce libmitls.lib for Windows targets"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 04m 26s
2h
Nightly
SUCCESS

32 minutes ago
Commit: 5525c625 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 12m 15s
2h
Build History
1.0 days ago
Commit: 0cec40e6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 12m 20s
2h
2.0 days ago
Commit: ceafe051 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 12m 10s
2h
3.0 days ago
Commit: 4a28acc2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 12m 55s
2h
6.0 days ago
Commit: e7409d82 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 13m 23s
2h
7.0 days ago
Commit: 18d0fb49 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 12m 27s
2h
8.0 days ago
Commit: 2f1ee704 by Barry Bond
"Use an explicit path to the VC tools on cygwin"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 12m 22s
2h
9.0 days ago
Commit: b812909f by Barry Bond
"Produce libmitls.lib for Windows targets"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 13m 19s
2h
10.0 days ago
Commit: 0f36db85 by Santiago Zanella-Beguelin
"Add missing dependency"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 13m 32s
2h
13.0 days ago
Commit: 8058e597 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 03m 57s
2h
14.0 days ago
Commit: 8058e597 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 03m 51s
2h
Hacl*
Continuous Integration
FAILED

3.0 hours ago
Commit: cc1130ad by Benjamin Beurdouche
"Experimental Specification for HKDF in progress (Agile version)"
Build: Hacl*-CI-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 44m 35s
2h
Build History
6.7 hours ago
Commit: fbeee98d by Benjamin Beurdouche
"Specification for HMAC (Agile version)"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 47m 41s
2h
8.2 hours ago
Commit: 50dd7056 by Benjamin Beurdouche
"Specification for SHA2 (Agile version)"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 44m 59s
2h
21.5 hours ago
Commit: a5117040 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 44m 13s
2h
1.5 days ago
Commit: 3604046d by Christoph M. Wintersteiger
"Added diagnostic messages about extraction targets not being built for non-gcc compilers."
Build: Hacl*-CI-Windows
Make:
Duration:
00h 42m 28s
2h
1.5 days ago
Commit: 51b04ee4 by Christoph M. Wintersteiger
"disabled extraction/test targets in secure_api for non-gcc compilers."
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 05m 17s
2h
1.6 days ago
Commit: 5a78cc8a by Christoph M. Wintersteiger
"Disabled extraction test targets in secure_api under MSVC"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 11m 21s
2h
1.6 days ago
Commit: e2164466 by Christoph M. Wintersteiger
"Added fstarlib to preparation target"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 10m 40s
2h
1.6 days ago
Commit: f3566e05 by Christoph M. Wintersteiger
"Added cloud verification targets"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 07m 46s
2h
1.6 days ago
Commit: a9e93f70 by Christoph M. Wintersteiger
"Makefile cleanup in secure_api"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 04m 37s
2h
1.9 days ago
Commit: e0e34111 by Christoph M. Wintersteiger
"rlimit tweak to unblock the CI"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 47m 09s
2h
Nightly
STOPPED

34.6 days ago
Commit: b1e14999 by Christoph M. Wintersteiger
"Added notes about --hint_info for F*"
Build: Hacl*-Nightly-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 27s
2h
Build History
34.7 days ago
Commit: 3fb074ae by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 40m 05s
2h
35.0 days ago
Commit: 3fb074ae by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 37m 21s
2h
36.0 days ago
Commit: 94158300 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 36m 52s
2h
37.0 days ago
Commit: 204d8714 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 37m 40s
2h
38.0 days ago
Commit: d90b2a99 by Benjamin Beurdouche
"Merge branch 'dev'"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 38m 23s
2h
41.0 days ago
Commit: 25a5d255 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 31m 55s
2h
42.0 days ago
Commit: 3577a93c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 28m 20s
2h
43.0 days ago
Commit: 61c58057 by Benjamin Beurdouche
"Merge branch 'dev'"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 34m 13s
2h
44.0 days ago
Commit: a7990198 by Benjamin Beurdouche
"Merge branch 'dev'"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 32m 02s
2h
45.0 days ago
Commit: 676293be by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 32m 48s
2h
FAILED

22.2 hours ago
Commit: 3604046d by Christoph M. Wintersteiger
"Added diagnostic messages about extraction targets not being built for non-gcc compilers."
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 13m 11s
2h
Build History
1.9 days ago
Commit: e0e34111 by Christoph M. Wintersteiger
"rlimit tweak to unblock the CI"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 39m 04s
2h
2.9 days ago
Commit: 64ccb8bf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make:
Duration:
01h 13m 27s
2h
3.9 days ago
Commit: 64ccb8bf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 10m 00s
2h
4.9 days ago
Commit: b150e274 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 01m 32s
2h
5.9 days ago
Commit: 973b6865 by Santiago Zanella-Beguelin
"Merge branch 'migrating_sts_bis' of https://github.com/mitls/hacl-star into migrating_sts_bis"
Build: Hacl*-Nightly-Linux
Make:
Duration:
01h 16m 18s
2h
6.9 days ago
Commit: 973b6865 by Santiago Zanella-Beguelin
"Merge branch 'migrating_sts_bis' of https://github.com/mitls/hacl-star into migrating_sts_bis"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 15m 06s
2h
7.6 days ago
Commit: 4b683773 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
01h 20m 05s
2h
8.8 days ago
Commit: 4b683773 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
04h 00m 05s
2h
9.4 days ago
Commit: 72b26934 by Jonathan Protzenko
"Merge commit '784d3b26'"
Build: Hacl*-Nightly-Linux
Make:
Duration:
02h 04m 47s
2h
10.9 days ago
Commit: a684c03e by Christoph M. Wintersteiger
"Merge branch 'cwinter_debug'"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 09m 04s
2h
VALE
x86 Continuous Integration
FAILED

9.7 days ago
Commit: 7bec821a by Barry Bond
"DafnyInterface.dll build problem on Windows - scons wasn't finding csc"
Build: VALE-x86 CI-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 45s
2h
Build History
11.0 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x86 CI-Windows
Make:
Duration:
00h 00m 52s
2h
12.7 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 07m 55s
2h
14.1 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 11m 24s
2h
14.2 days ago
Commit: 79d34c47 by Chris Hawblitzel
"Add additional 'let' syntax for operand aliases, 'let' statements, and procedure-level 'let' bindings"
Build: VALE-x86 CI-Windows
Make:
Duration:
01h 05m 04s
2h
26.6 days ago
Commit: e8e59a03 by Chris Hawblitzel
"Update to new versions of Dafny, Boogie, and Z3: Dafny commit https://github.com/Microsoft/dafny/commit/a9e24a3a0a6cc6b7c7b56fe73b8706a5537f0aa3 (kremlin branch) Boogie commit https://github.com/boogie-org/boogie/commit/7a82510a78c72eb5412d3bccbafe1b98c8198496 (master branch), with the following diff to work around issue https://github.com/boogie-org/boogie/issues/63 : diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index a933c6b..24b11e0 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -2269,6 +2269,14 @@ public override void SetTimeOut(int ms) throw new ArgumentOutOfRangeException ("ms must be >= 0"); } options.TimeLimit = ms; + if (options.Solver == SolverKind.Z3) { + var name = Z3.SetTimeoutOption(); + var value = ms.ToString(); + options.TimeLimit = ms; + options.SmtOptions.RemoveAll(ov => ov.Option == name); + options.AddSmtOption(name, value); + SendThisVC(string.Format("(set-option :{0} {1})", name, value)); + } } public override void SetRlimit(int limit) z3.exe from https://github.com/FStarLang/binaries/blob/master/z3-tested/z3-4.5.1.1f29cebd4df6-x86-win.zip compiled boogie/Source/Boogie.sln with VS2012 compiled dafny/Source/Dafny.sln with VS2015 (so nuget could get JSON) compiled dafny/Source/DafnyExtension.sln with VS2012 copied files from boogie/Binaries and dafny/Binaries to tools/Dafny"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 25m 46s
2h
40.4 days ago
Commit: 3b553940 by Andrew Baumann
"build vale.exe for anycpu, not x86 Barry and I can't think of any good reason why the vale build targets x86. The main advantage of changing this is that we won't easily run out of memory in -dafnyDirect mode when doing parallel verification."
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 27m 28s
2h
43.5 days ago
Commit: a07af0b9 by Barry Bond
"Make the .pdb file be an explicit target in the Windows builds"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 25m 23s
2h
63.6 days ago
Commit: 914dff32 by Andrew Baumann
"fight with scons to make both absolute and relative (and default) dafny paths work ... it's still rather unclear to both me and barry how this is supposed to work"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 31m 46s
2h
64.4 days ago
Commit: 5b619a5b by Andrew Baumann
"allow DAFNY_PATH to be specified as a relative path"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
00h 01m 05s
2h
67.4 days ago
Commit: 5c922535 by Chris Hawblitzel
"Support calc statements in dafnyDirect mode"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 21m 41s
2h
x64 Continuous Integration
FAILED

9.7 days ago
Commit: 7bec821a by Barry Bond
"DafnyInterface.dll build problem on Windows - scons wasn't finding csc"
Build: VALE-x64 CI-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 45s
2h
Build History
11.0 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x64 CI-Windows
Make:
Duration:
00h 00m 51s
2h
12.8 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 46s
2h
14.1 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 54s
2h
14.2 days ago
Commit: 79d34c47 by Chris Hawblitzel
"Add additional 'let' syntax for operand aliases, 'let' statements, and procedure-level 'let' bindings"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 13s
2h
26.6 days ago
Commit: e8e59a03 by Chris Hawblitzel
"Update to new versions of Dafny, Boogie, and Z3: Dafny commit https://github.com/Microsoft/dafny/commit/a9e24a3a0a6cc6b7c7b56fe73b8706a5537f0aa3 (kremlin branch) Boogie commit https://github.com/boogie-org/boogie/commit/7a82510a78c72eb5412d3bccbafe1b98c8198496 (master branch), with the following diff to work around issue https://github.com/boogie-org/boogie/issues/63 : diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index a933c6b..24b11e0 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -2269,6 +2269,14 @@ public override void SetTimeOut(int ms) throw new ArgumentOutOfRangeException ("ms must be >= 0"); } options.TimeLimit = ms; + if (options.Solver == SolverKind.Z3) { + var name = Z3.SetTimeoutOption(); + var value = ms.ToString(); + options.TimeLimit = ms; + options.SmtOptions.RemoveAll(ov => ov.Option == name); + options.AddSmtOption(name, value); + SendThisVC(string.Format("(set-option :{0} {1})", name, value)); + } } public override void SetRlimit(int limit) z3.exe from https://github.com/FStarLang/binaries/blob/master/z3-tested/z3-4.5.1.1f29cebd4df6-x86-win.zip compiled boogie/Source/Boogie.sln with VS2012 compiled dafny/Source/Dafny.sln with VS2015 (so nuget could get JSON) compiled dafny/Source/DafnyExtension.sln with VS2012 copied files from boogie/Binaries and dafny/Binaries to tools/Dafny"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 14s
2h
36.5 days ago
Commit: 3b553940 by Andrew Baumann
"build vale.exe for anycpu, not x86 Barry and I can't think of any good reason why the vale build targets x86. The main advantage of changing this is that we won't easily run out of memory in -dafnyDirect mode when doing parallel verification."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 47s
2h
40.5 days ago
Commit: 3b553940 by Andrew Baumann
"build vale.exe for anycpu, not x86 Barry and I can't think of any good reason why the vale build targets x86. The main advantage of changing this is that we won't easily run out of memory in -dafnyDirect mode when doing parallel verification."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 51s
2h
43.5 days ago
Commit: a07af0b9 by Barry Bond
"Make the .pdb file be an explicit target in the Windows builds"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 50s
2h
43.6 days ago
Commit: 77f0ccf3 by Jonathan Protzenko
"With @barrybo, debugged the failure on OSX, down to a buffer that was not big enough in unverified code."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 54s
2h
63.6 days ago
Commit: 914dff32 by Andrew Baumann
"fight with scons to make both absolute and relative (and default) dafny paths work ... it's still rather unclear to both me and barry how this is supposed to work"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 13s
2h
Continuous Integration
SUCCESS

9.4 days ago
Commit: 7bec821a by Barry Bond
"DafnyInterface.dll build problem on Windows - scons wasn't finding csc"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 01m 18s
2h
Build History
11.0 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 21s
2h
12.8 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 21s
2h
13.4 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 19s
2h
13.5 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-CI-Linux
Make:
Duration:
00h 06m 18s
2h
14.2 days ago
Commit: 79d34c47 by Chris Hawblitzel
"Add additional 'let' syntax for operand aliases, 'let' statements, and procedure-level 'let' bindings"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 29s
2h
21.6 days ago
Commit: e8e59a03 by Chris Hawblitzel
"Update to new versions of Dafny, Boogie, and Z3: Dafny commit https://github.com/Microsoft/dafny/commit/a9e24a3a0a6cc6b7c7b56fe73b8706a5537f0aa3 (kremlin branch) Boogie commit https://github.com/boogie-org/boogie/commit/7a82510a78c72eb5412d3bccbafe1b98c8198496 (master branch), with the following diff to work around issue https://github.com/boogie-org/boogie/issues/63 : diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index a933c6b..24b11e0 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -2269,6 +2269,14 @@ public override void SetTimeOut(int ms) throw new ArgumentOutOfRangeException ("ms must be >= 0"); } options.TimeLimit = ms; + if (options.Solver == SolverKind.Z3) { + var name = Z3.SetTimeoutOption(); + var value = ms.ToString(); + options.TimeLimit = ms; + options.SmtOptions.RemoveAll(ov => ov.Option == name); + options.AddSmtOption(name, value); + SendThisVC(string.Format("(set-option :{0} {1})", name, value)); + } } public override void SetRlimit(int limit) z3.exe from https://github.com/FStarLang/binaries/blob/master/z3-tested/z3-4.5.1.1f29cebd4df6-x86-win.zip compiled boogie/Source/Boogie.sln with VS2012 compiled dafny/Source/Dafny.sln with VS2015 (so nuget could get JSON) compiled dafny/Source/DafnyExtension.sln with VS2012 copied files from boogie/Binaries and dafny/Binaries to tools/Dafny"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 24s
2h
26.6 days ago
Commit: e8e59a03 by Chris Hawblitzel
"Update to new versions of Dafny, Boogie, and Z3: Dafny commit https://github.com/Microsoft/dafny/commit/a9e24a3a0a6cc6b7c7b56fe73b8706a5537f0aa3 (kremlin branch) Boogie commit https://github.com/boogie-org/boogie/commit/7a82510a78c72eb5412d3bccbafe1b98c8198496 (master branch), with the following diff to work around issue https://github.com/boogie-org/boogie/issues/63 : diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index a933c6b..24b11e0 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -2269,6 +2269,14 @@ public override void SetTimeOut(int ms) throw new ArgumentOutOfRangeException ("ms must be >= 0"); } options.TimeLimit = ms; + if (options.Solver == SolverKind.Z3) { + var name = Z3.SetTimeoutOption(); + var value = ms.ToString(); + options.TimeLimit = ms; + options.SmtOptions.RemoveAll(ov => ov.Option == name); + options.AddSmtOption(name, value); + SendThisVC(string.Format("(set-option :{0} {1})", name, value)); + } } public override void SetRlimit(int limit) z3.exe from https://github.com/FStarLang/binaries/blob/master/z3-tested/z3-4.5.1.1f29cebd4df6-x86-win.zip compiled boogie/Source/Boogie.sln with VS2012 compiled dafny/Source/Dafny.sln with VS2015 (so nuget could get JSON) compiled dafny/Source/DafnyExtension.sln with VS2012 copied files from boogie/Binaries and dafny/Binaries to tools/Dafny"
Build: VALE-CI-Linux
Make: scons -j 8 -Otarget --NOVERIFY
Duration:
00h 00m 36s
2h
40.5 days ago
Commit: 3b553940 by Andrew Baumann
"build vale.exe for anycpu, not x86 Barry and I can't think of any good reason why the vale build targets x86. The main advantage of changing this is that we won't easily run out of memory in -dafnyDirect mode when doing parallel verification."
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 31s
2h
43.5 days ago
Commit: a07af0b9 by Barry Bond
"Make the .pdb file be an explicit target in the Windows builds"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 21s
2h
43.6 days ago
Commit: 77f0ccf3 by Jonathan Protzenko
"With @barrybo, debugged the failure on OSX, down to a buffer that was not big enough in unverified code."
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 28s
2h