OverviewCakeML:e8e26b81707f81bb87e367cbc25d95617cf39950
Merge pull request #811 from CakeML/eval
HOL:054fec3028c305c71fcde1ae309873531921172c
Fix bug in search found by Travis
Machine:oven3 4.19.67.1.amd64-smp
Claimed job
Building HOL
Starting developers
Finished developers 7s 144MB
Starting developers/bin
Finished developers/bin 13s 1GB
Starting semantics/ffi
Finished semantics/ffi 24s 259MB
Starting semantics
Finished semantics 3m09s 1GB
Starting semantics/proofs
Finished semantics/proofs 7m51s 970MB
Starting semantics/alt_semantics
Finished semantics/alt_semantics 20s 354MB
Starting semantics/alt_semantics/proofs
Finished semantics/alt_semantics/proofs 4m45s 1GB
Starting basis/pure
Finished basis/pure 6m09s 821MB
Starting translator
Finished translator 6m50s 1GB
Starting compiler/parsing
Finished compiler/parsing 2m30s 2GB
Starting characteristic
Finished characteristic 11m53s 2GB
Starting translator/monadic
Finished translator/monadic 3m30s 1GB
Starting basis
Finished basis 1h34m51s 25GB
Starting compiler/inference
Finished compiler/inference 2m39s 1GB
Starting compiler/backend/reg_alloc
Finished compiler/backend/reg_alloc 2m05s 1GB
Starting compiler/backend/gc
Finished compiler/backend/gc 6m51s 2GB
Starting compiler/backend
Finished compiler/backend 9m31s 4GB
Starting compiler/encoders/asm
Finished compiler/encoders/asm 50s 697MB
Starting compiler/encoders/x64
Finished compiler/encoders/x64 2m17s 810MB
Starting compiler/encoders/arm7
Finished compiler/encoders/arm7 4m25s 1GB
Starting compiler/encoders/arm8
Finished compiler/encoders/arm8 1m21s 621MB
Starting compiler/encoders/mips
Finished compiler/encoders/mips 3m16s 980MB
Starting compiler/encoders/riscv
Finished compiler/encoders/riscv 3m37s 862MB
Starting compiler/encoders/ag32
Finished compiler/encoders/ag32 38s 831MB
Starting compiler/backend/x64
Finished compiler/backend/x64 41s 1GB
Starting compiler/backend/arm7
Finished compiler/backend/arm7 43s 1GB
Starting compiler/backend/arm8
Finished compiler/backend/arm8 41s 1GB
Starting compiler/backend/mips
Finished compiler/backend/mips 42s 1GB
Starting compiler/backend/riscv
Finished compiler/backend/riscv 43s 1GB
Starting compiler/backend/ag32
Finished compiler/backend/ag32 2m28s 1GB
Starting compiler/parsing/proofs
Finished compiler/parsing/proofs 12m54s 1GB
Starting compiler/inference/proofs
Finished compiler/inference/proofs 5m34s 1GB
Starting compiler/backend/semantics
Finished compiler/backend/semantics 1h00m45s 2GB
Starting compiler/backend/reg_alloc/proofs
Finished compiler/backend/reg_alloc/proofs 7m31s 1GB
Starting compiler/backend/proofs
Finished compiler/backend/proofs 1h40m36s 16GB
Starting compiler/encoders/x64/proofs
Finished compiler/encoders/x64/proofs 21m31s 4GB
Starting compiler/encoders/arm7/proofs
Finished compiler/encoders/arm7/proofs 29m17s 3GB
Starting compiler/encoders/arm8/proofs
Finished compiler/encoders/arm8/proofs 15m56s 1GB
Starting compiler/encoders/mips/proofs
Finished compiler/encoders/mips/proofs 22m31s 2GB
Starting compiler/encoders/riscv/proofs
Finished compiler/encoders/riscv/proofs 20m22s 1GB
Starting compiler/encoders/ag32/proofs
Finished compiler/encoders/ag32/proofs 5m54s 907MB
Starting compiler/backend/x64/proofs
Finished compiler/backend/x64/proofs 48s 1GB
Starting compiler/backend/arm7/proofs
Finished compiler/backend/arm7/proofs 52s 1GB
Starting compiler/backend/arm8/proofs
Finished compiler/backend/arm8/proofs 49s 1GB
Starting compiler/backend/mips/proofs
Finished compiler/backend/mips/proofs 48s 1GB
Starting compiler/backend/riscv/proofs
Finished compiler/backend/riscv/proofs 48s 1GB
Starting compiler/backend/ag32/proofs
Finished compiler/backend/ag32/proofs 28m22s 3GB
Starting compiler/proofs
Finished compiler/proofs 4m09s 5GB
Starting candle/set-theory
Finished candle/set-theory 59s 758MB
Starting candle/syntax-lib
Finished candle/syntax-lib 24s 525MB
Starting candle/standard/syntax
Finished candle/standard/syntax 3m56s 1GB
Starting candle/standard/semantics
Finished candle/standard/semantics 3m50s 1GB
Starting candle/standard/monadic
Finished candle/standard/monadic 3m45s 1GB
Starting candle/standard/ml_kernel
Finished candle/standard/ml_kernel 11m48s 5GB
Starting candle/overloading/syntax
Finished candle/overloading/syntax 6m39s 1GB
Starting candle/overloading/semantics
Finished candle/overloading/semantics 26m29s 3GB
Starting characteristic/examples
Finished characteristic/examples 2m47s 4GB
Starting tutorial/solutions
Finished tutorial/solutions 34m44s 7GB
Starting translator/monadic/examples
Finished translator/monadic/examples 5m45s 2GB
Starting examples
Finished examples 15m23s 3GB
Starting examples/compilation/x64
Finished examples/compilation/x64 5h21m58s 13GB
Starting examples/compilation/x64/proofs
Finished examples/compilation/x64/proofs 3m25s 3GB
Starting examples/compilation/ag32
Finished examples/compilation/ag32 1h16m59s 8GB
Starting examples/compilation/ag32/proofs
Finished examples/compilation/ag32/proofs 1m51s 4GB
Starting examples/cost
Finished examples/cost 1h53m31s 7GB
Starting examples/lpr_checker
Finished examples/lpr_checker 8m13s 3GB
Starting examples/lpr_checker/compilation
Finished examples/lpr_checker/compilation 36m27s 9GB
Starting examples/lpr_checker/compilation/proofs
Finished examples/lpr_checker/compilation/proofs 1m34s 2GB
Starting examples/lpr_checker/array
Finished examples/lpr_checker/array 32m17s 3GB
Starting examples/lpr_checker/array/compilation
Finished examples/lpr_checker/array/compilation 42m56s 13GB
Starting examples/lpr_checker/array/compilation/proofs
Finished examples/lpr_checker/array/compilation/proofs 1m46s 4GB
Starting examples/opentheory
Finished examples/opentheory 20m24s 5GB
Starting examples/opentheory
Finished examples/opentheory 2s 33MB
Starting examples/opentheory/compilation
Finished examples/opentheory/compilation 1h08m21s 19GB
Starting examples/opentheory/compilation/proofs
Finished examples/opentheory/compilation/proofs 1m34s 3GB
Starting examples/opentheory/compilation/ag32
Finished examples/opentheory/compilation/ag32 1h14m26s 21GB
Starting examples/opentheory/compilation/ag32/proofs
Finished examples/opentheory/compilation/ag32/proofs 3m49s 6GB
Starting translator/okasaki-examples
Finished translator/okasaki-examples 9m13s 1GB
Starting translator/other-examples
Finished translator/other-examples 4m01s 1GB
Starting compiler/parsing/tests
Finished compiler/parsing/tests 59s 662MB
Starting compiler/inference/tests
Finished compiler/inference/tests 15m53s 3GB
Starting compiler/bootstrap/translation
Finished compiler/bootstrap/translation 5h17m11s 25GB
Starting unverified/sexpr-bootstrap/x64/64
Finished unverified/sexpr-bootstrap/x64/64 23m59s 8GB
Starting unverified/sexpr-bootstrap/x64/32
Finished unverified/sexpr-bootstrap/x64/32 20m40s 8GB
Starting compiler/benchmarks
Finished compiler/benchmarks 3s 32MB
Starting compiler/bootstrap/compilation/x64/64
Finished compiler/bootstrap/compilation/x64/64 25h21m00s 73GB
Starting compiler/bootstrap/compilation/x64/64/proofs
Finished compiler/bootstrap/compilation/x64/64/proofs 4m21s 16GB
Starting compiler/bootstrap/compilation/x64/32
Finished compiler/bootstrap/compilation/x64/32 23h15m09s 100GB
Starting compiler/bootstrap/compilation/x64/32/proofs
Finished compiler/bootstrap/compilation/x64/32/proofs 4m23s 18GB
Starting compiler/bootstrap/compilation/ag32/32
Finished compiler/bootstrap/compilation/ag32/32 25h30m08s 109GB
Starting compiler/bootstrap/compilation/ag32/32/proofs
Finished compiler/bootstrap/compilation/ag32/32/proofs 21m54s 50GB
SUCCESS