CakeML:37aeb0eb6fcddea51846bd6fa7d7496e2ace12a5 Merge pull request #975 from CakeML/byteHOL:a6832b79bc2529f8b2e018a232b66652b9cc9e76 Merge pull request #1167 from binghe/separability_lemmaMachine:stove 5.15.0-86-generic x86_64 GNU/LinuxArtefacts:cake-unverified-x64-64.tar.gz cake-unverified-x64-32.tar.gz cake-x64-64.tar.gz cake-x64-32.tar.gz Claimed job Building HOL Starting developers Finished developers 5s 182MB Starting developers/bin Finished developers/bin 6s 1GB Starting compiler/proofs Finished compiler/proofs 1h53m40s 19GB Starting compiler/bootstrap/translation Finished compiler/bootstrap/translation 8h19m31s 44GB Starting semantics/ffi Finished semantics/ffi 4s 386MB Starting semantics Finished semantics 1s 18MB Starting semantics/proofs Finished semantics/proofs 32s 734MB Starting semantics/alt_semantics Finished semantics/alt_semantics 31s 894MB Starting semantics/alt_semantics/proofs Finished semantics/alt_semantics/proofs 11m54s 1GB Starting basis/pure Finished basis/pure 1s 20MB Starting translator Finished translator 1m49s 1GB Starting compiler/parsing Finished compiler/parsing 1s 18MB Starting characteristic Finished characteristic 1s 22MB Starting translator/monadic Finished translator/monadic 1s 20MB Starting basis Finished basis 3m42s 2GB Starting compiler/inference Finished compiler/inference 1s 21MB Starting compiler/backend/reg_alloc Finished compiler/backend/reg_alloc 1s 18MB Starting compiler/backend/gc Finished compiler/backend/gc 2s 25MB Starting compiler/backend Finished compiler/backend 12s 736MB Starting compiler/encoders/asm Finished compiler/encoders/asm 1s 19MB Starting compiler/encoders/x64 Finished compiler/encoders/x64 1s 28MB Starting compiler/encoders/arm7 Finished compiler/encoders/arm7 1s 22MB Starting compiler/encoders/arm8 Finished compiler/encoders/arm8 1s 20MB Starting compiler/encoders/arm8_asl Finished compiler/encoders/arm8_asl 2h27m18s 48GB Starting compiler/encoders/mips Finished compiler/encoders/mips 1s 23MB Starting compiler/encoders/riscv Finished compiler/encoders/riscv 1s 23MB Starting compiler/encoders/ag32 Finished compiler/encoders/ag32 1s 19MB Starting compiler/backend/x64 Finished compiler/backend/x64 2s 24MB Starting compiler/backend/arm7 Finished compiler/backend/arm7 2s 25MB Starting compiler/backend/arm8 Finished compiler/backend/arm8 2s 29MB Starting compiler/backend/mips Finished compiler/backend/mips 2s 24MB Starting compiler/backend/riscv Finished compiler/backend/riscv 2s 22MB Starting compiler/backend/ag32 Finished compiler/backend/ag32 1m25s 1GB Starting compiler/parsing/proofs Finished compiler/parsing/proofs 1s 20MB Starting compiler/inference/proofs Finished compiler/inference/proofs 1s 21MB Starting compiler/backend/semantics Finished compiler/backend/semantics 1m14s 1GB Starting compiler/backend/reg_alloc/proofs Finished compiler/backend/reg_alloc/proofs 1s 24MB Starting compiler/backend/proofs Finished compiler/backend/proofs 58s 2GB Starting compiler/backend/serialiser Finished compiler/backend/serialiser 2s 29MB Starting compiler/encoders/x64/proofs Finished compiler/encoders/x64/proofs 10m05s 4GB Starting compiler/encoders/arm7/proofs Finished compiler/encoders/arm7/proofs 13m47s 4GB Starting compiler/encoders/arm8/proofs Finished compiler/encoders/arm8/proofs 6m53s 1GB Starting compiler/encoders/arm8_asl/proofs Finished compiler/encoders/arm8_asl/proofs 52m29s 8GB Starting compiler/encoders/mips/proofs Finished compiler/encoders/mips/proofs 10m47s 2GB Starting compiler/encoders/riscv/proofs Finished compiler/encoders/riscv/proofs 9m07s 1GB Starting compiler/encoders/ag32/proofs Finished compiler/encoders/ag32/proofs 2m46s 580MB Starting compiler/backend/x64/proofs Finished compiler/backend/x64/proofs 29s 1GB Starting compiler/backend/arm7/proofs Finished compiler/backend/arm7/proofs 33s 2GB Starting compiler/backend/arm8/proofs Finished compiler/backend/arm8/proofs 29s 1GB Starting compiler/backend/arm8_asl Finished compiler/backend/arm8_asl 24s 2GB Starting compiler/backend/mips/proofs Finished compiler/backend/mips/proofs 30s 1GB Starting compiler/backend/riscv/proofs Finished compiler/backend/riscv/proofs 34s 2GB Starting compiler/backend/ag32/proofs Finished compiler/backend/ag32/proofs 13m43s 3GB Starting candle/set-theory Finished candle/set-theory 39s 988MB Starting candle/syntax-lib Finished candle/syntax-lib 1s 24MB Starting candle/standard/syntax Finished candle/standard/syntax 10s 553MB Starting candle/standard/semantics Finished candle/standard/semantics 2m01s 1GB Starting candle/standard/monadic Finished candle/standard/monadic 1s 25MB Starting candle/standard/ml_kernel Finished candle/standard/ml_kernel 1m38s 3GB Starting candle/overloading/syntax Finished candle/overloading/syntax 3m23s 1GB Starting candle/overloading/semantics Finished candle/overloading/semantics 12m21s 2GB Starting candle/overloading/monadic Finished candle/overloading/monadic 2m43s 1GB Starting candle/overloading/ml_kernel Finished candle/overloading/ml_kernel 7m55s 3GB Starting candle/overloading/ml_checker Finished candle/overloading/ml_checker 2m33s 3GB Starting candle/prover Finished candle/prover 10m02s 3GB Starting pancake Finished pancake 43s 859MB Starting pancake/ffi Finished pancake/ffi 0s 13MB Starting pancake/semantics Finished pancake/semantics 2m24s 1GB Starting pancake/parser Finished pancake/parser 22s 1GB Starting pancake/proofs Finished pancake/proofs 33m09s 6GB Starting characteristic/examples Finished characteristic/examples 1m35s 1GB Starting tutorial/solutions Finished tutorial/solutions 15m24s 11GB Starting translator/monadic/examples Finished translator/monadic/examples 4m05s 3GB Starting examples Finished examples 15m58s 5GB Starting examples/compilation/x64 Finished examples/compilation/x64 1h59m22s 18GB Starting examples/compilation/x64/proofs Finished examples/compilation/x64/proofs 2m37s 4GB Starting examples/compilation/ag32 Finished examples/compilation/ag32 29m56s 11GB Starting examples/compilation/ag32/proofs Finished examples/compilation/ag32/proofs 1m02s 4GB Starting examples/compilation/to_word Finished examples/compilation/to_word 3m36s 5GB Starting examples/lpr_checker Finished examples/lpr_checker 1m06s 1GB Starting examples/lpr_checker/array Finished examples/lpr_checker/array 31m11s 5GB Starting examples/lpr_checker/array/compilation Finished examples/lpr_checker/array/compilation 48m58s 21GB Starting examples/lpr_checker/array/compilation/proofs Finished examples/lpr_checker/array/compilation/proofs 2m00s 3GB Starting examples/lpr_checker/array/compilation/proofsARM8 Finished examples/lpr_checker/array/compilation/proofsARM8 7m03s 20GB Starting examples/pseudo_bool Finished examples/pseudo_bool 1m49s 1GB Starting examples/pseudo_bool/cnf_encoding Finished examples/pseudo_bool/cnf_encoding 24s 794MB Starting examples/pseudo_bool/graph_encoding Finished examples/pseudo_bool/graph_encoding 43s 1GB Starting examples/pseudo_bool/array Finished examples/pseudo_bool/array 53m19s 7GB Starting examples/pseudo_bool/array/compilation Finished examples/pseudo_bool/array/compilation 2h59m52s 50GB Starting examples/pseudo_bool/array/compilation/proofs Finished examples/pseudo_bool/array/compilation/proofs 2m49s 5GB Starting examples/opentheory Finished examples/opentheory 11m01s 7GB Starting examples/opentheory Finished examples/opentheory 1s 24MB Starting examples/opentheory/compilation Finished examples/opentheory/compilation 37m00s 30GB Starting examples/opentheory/compilation/proofs Finished examples/opentheory/compilation/proofs 1m00s 4GB Starting examples/opentheory/compilation/ag32 Finished examples/opentheory/compilation/ag32 35m11s 31GB Starting examples/opentheory/compilation/ag32/proofs Finished examples/opentheory/compilation/ag32/proofs 1m57s 8GB Starting examples/sat_encodings Finished examples/sat_encodings 2m01s 1GB Starting examples/sat_encodings/case_studies Finished examples/sat_encodings/case_studies 1m45s 1GB Starting examples/sat_encodings/translation Finished examples/sat_encodings/translation 6m17s 4GB Starting examples/sat_encodings/translation/compilation Finished examples/sat_encodings/translation/compilation 47m00s 22GB Starting examples/deflate Finished examples/deflate 1m01s 870MB Starting examples/deflate/translation Finished examples/deflate/translation 1m52s 3GB Starting examples/deflate/translation/compilation Finished examples/deflate/translation/compilation 20m18s 13GB Starting examples/vipr Finished examples/vipr 4m02s 3GB Starting examples/vipr/compilation Finished examples/vipr/compilation 21m16s 16GB Starting translator/okasaki-examples Finished translator/okasaki-examples 5m12s 2GB Starting translator/other-examples Finished translator/other-examples 2m43s 1GB Starting compiler/parsing/tests Finished compiler/parsing/tests 32s 923MB Starting compiler/inference/tests Finished compiler/inference/tests 8m33s 5GB Starting compiler/printing/test Finished compiler/printing/test 3m55s 2GB Starting icing/flover Finished icing/flover 44m06s 2GB Starting icing/ Finished icing/ 54m17s 8GB Starting icing/examples Finished icing/examples 1m38s 4GB Starting compiler/repl Finished compiler/repl 8m44s 5GB Starting unverified/sexpr-bootstrap/x64/64 Finished unverified/sexpr-bootstrap/x64/64 13m36s 15GB Starting unverified/sexpr-bootstrap/x64/32 Finished unverified/sexpr-bootstrap/x64/32 11m06s 14GB Starting compiler/benchmarks Finished compiler/benchmarks 15m36s 2GB Starting compiler/bootstrap/compilation/x64/64 Finished compiler/bootstrap/compilation/x64/64 12h53m29s 64GB Starting compiler/bootstrap/compilation/x64/64/proofs Finished compiler/bootstrap/compilation/x64/64/proofs 22m05s 44GB Starting compiler/bootstrap/compilation/x64/32 Finished compiler/bootstrap/compilation/x64/32 7h10m47s 64GB Starting compiler/bootstrap/compilation/x64/32/proofs Finished compiler/bootstrap/compilation/x64/32/proofs 3m16s 18GB Starting compiler/bootstrap/compilation/ag32/32 Finished compiler/bootstrap/compilation/ag32/32 7h19m16s 64GB Starting compiler/bootstrap/compilation/ag32/32/proofs Finished compiler/bootstrap/compilation/ag32/32/proofs 7m05s 23GB SUCCESS