CakeML:4816e9e16a1c3e403695b2abe61c72532cfa6a73 Merge 'origin/master' into EqualityType #564 (EqualityType)Merging into:59886cd0205c1d5d943ef10a26890f79b515b68f Merge pull request #561 from CakeML/print-typesHOL:7c1215a4e1c9c2c8606ae138e22d3cbe97ff3111 Reinstate Holmake's use of POLY_CLINE_OPTIONSMachine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64 Claimed job Building HOL Starting developers/bin Finished developers/bin 1m08s 916MB Starting semantics/ffi Finished semantics/ffi 38s 362MB Starting semantics Finished semantics 1m29s 754MB Starting semantics/proofs Finished semantics/proofs 2m48s 1GB Starting basis/pure Finished basis/pure 3m35s 766MB Starting translator Finished translator 3m09s 999MB Starting compiler/parsing Finished compiler/parsing 1m15s 1GB Starting characteristic Finished characteristic 2m31s 1GB Starting translator/monadic Finished translator/monadic 1m27s 1GB Starting basis Finished basis 16m47s 3GB Starting compiler/inference Finished compiler/inference 1m43s 1GB Starting compiler/backend/reg_alloc Finished compiler/backend/reg_alloc 46s 1GB Starting compiler/backend/gc Finished compiler/backend/gc 7m22s 1GB Starting compiler/backend Finished compiler/backend 2s 19MB Starting compiler/encoders/asm Finished compiler/encoders/asm 1s 16MB Starting compiler/encoders/x64 Finished compiler/encoders/x64 51s 620MB Starting compiler/encoders/arm6 Finished compiler/encoders/arm6 1m42s 1GB Starting compiler/encoders/arm8 Finished compiler/encoders/arm8 26s 493MB Starting compiler/encoders/mips Finished compiler/encoders/mips 58s 837MB Starting compiler/encoders/riscv Finished compiler/encoders/riscv 1m00s 1GB Starting compiler/encoders/ag32 Finished compiler/encoders/ag32 17s 776MB Starting compiler/backend/x64 Finished compiler/backend/x64 17s 1GB Starting compiler/backend/arm6 Finished compiler/backend/arm6 18s 1GB Starting compiler/backend/arm8 Finished compiler/backend/arm8 18s 839MB Starting compiler/backend/mips Finished compiler/backend/mips 18s 1GB Starting compiler/backend/riscv Finished compiler/backend/riscv 18s 1GB Starting compiler/backend/ag32 Finished compiler/backend/ag32 1m13s 1GB Starting compiler/parsing/proofs Finished compiler/parsing/proofs 5m58s 816MB Starting compiler/inference/proofs Finished compiler/inference/proofs 2m51s 1GB Starting compiler/backend/semantics Finished compiler/backend/semantics 8m44s 2GB Starting compiler/backend/reg_alloc/proofs Finished compiler/backend/reg_alloc/proofs 2m46s 454MB Starting compiler/backend/proofs Finished compiler/backend/proofs 42m44s 3GB Starting compiler/encoders/x64/proofs Finished compiler/encoders/x64/proofs 10m11s 5GB Starting compiler/encoders/arm6/proofs Finished compiler/encoders/arm6/proofs 14m52s 2GB Starting compiler/encoders/arm8/proofs Finished compiler/encoders/arm8/proofs 5m58s 1GB Starting compiler/encoders/mips/proofs Finished compiler/encoders/mips/proofs 10m28s 1GB Starting compiler/encoders/riscv/proofs Finished compiler/encoders/riscv/proofs 7m57s 788MB Starting compiler/encoders/ag32/proofs Finished compiler/encoders/ag32/proofs 2m45s 727MB Starting compiler/backend/x64/proofs Finished compiler/backend/x64/proofs 21s 1GB Starting compiler/backend/arm6/proofs Finished compiler/backend/arm6/proofs 23s 1GB Starting compiler/backend/arm8/proofs Finished compiler/backend/arm8/proofs 19s 867MB Starting compiler/backend/mips/proofs Finished compiler/backend/mips/proofs 21s 1GB Starting compiler/backend/riscv/proofs Finished compiler/backend/riscv/proofs 21s 1GB Starting compiler/backend/ag32/proofs Finished compiler/backend/ag32/proofs 9m22s 2GB Starting compiler/proofs Finished compiler/proofs 1m19s 1GB Starting candle/set-theory Finished candle/set-theory 31s 640MB Starting candle/syntax-lib Finished candle/syntax-lib 10s 614MB Starting candle/standard/syntax Finished candle/standard/syntax 1m33s 1GB Starting candle/standard/semantics Finished candle/standard/semantics 1m21s 853MB Starting candle/standard/monadic Finished candle/standard/monadic 1m34s 854MB Starting candle/standard/ml_kernel Finished candle/standard/ml_kernel 14m38s 3GB Starting candle/standard/opentheory Finished candle/standard/opentheory 7m45s 2GB Starting candle/standard/opentheory/compilation Finished candle/standard/opentheory/compilation 29m49s 13GB Starting candle/standard/opentheory/compilation/proofs Finished candle/standard/opentheory/compilation/proofs 36s 4GB Starting characteristic/examples Finished characteristic/examples 1m29s 1GB Starting tutorial/solutions Finished tutorial/solutions 13m44s 6GB Starting translator/monadic/examples Finished translator/monadic/examples 1m45s 2GB Starting examples Finished examples 6m11s 2GB Starting examples/compilation/x64 Finished examples/compilation/x64 1h55m05s 9GB Starting examples/compilation/x64/proofs Finished examples/compilation/x64/proofs 1m54s 3GB Starting examples/compilation/ag32 Finished examples/compilation/ag32 26m34s 3GB Starting examples/compilation/ag32/proofs Finished examples/compilation/ag32/proofs 26s 2GB Starting compiler/benchmarks Finished compiler/benchmarks 0s 4MB Starting translator/okasaki-examples Finished translator/okasaki-examples 3m24s 1GB Starting translator/other-examples Finished translator/other-examples 3m29s 990MB Starting compiler/parsing/tests Finished compiler/parsing/tests 25s 341MB Starting compiler/inference/tests Finished compiler/inference/tests 4m01s 4GB Starting compiler/bootstrap/translation Finished compiler/bootstrap/translation 3h10m50s 49GB Starting unverified/sexpr-bootstrap/x64/64 Finished unverified/sexpr-bootstrap/x64/64 8m01s 15GB Starting unverified/sexpr-bootstrap/x64/32 Finished unverified/sexpr-bootstrap/x64/32 5m22s 17GB Starting compiler/bootstrap/compilation/x64/64 Finished compiler/bootstrap/compilation/x64/64 17h57m20s 64GB Starting compiler/bootstrap/compilation/x64/64/proofs Finished compiler/bootstrap/compilation/x64/64/proofs 3m47s 24GB Starting compiler/bootstrap/compilation/x64/32 Finished compiler/bootstrap/compilation/x64/32 11h21m44s 63GB Starting compiler/bootstrap/compilation/x64/32/proofs Finished compiler/bootstrap/compilation/x64/32/proofs 3m25s 23GB SUCCESS