OverviewCakeML:5cd3c1dad6a712dd528d4717fe43410444eeeff2
Merge pull request #660 from Gaj7/master
HOL:e575ceadfe1dc1792c1b3e92ef98c2a96f3c01a7
Emacs mode: put overload-info-for function into HOL menu
Machine:te1
Claimed job
Building HOL
Starting developers
Finished developers 2s 30MB
Starting developers/bin
Finished developers/bin 6s 924MB
Starting semantics/ffi
Finished semantics/ffi 54s 845MB
Starting semantics
Finished semantics 2m12s 1GB
Starting semantics/proofs
Finished semantics/proofs 4m03s 1GB
Starting semantics/alt_semantics
Finished semantics/alt_semantics 10s 294MB
Starting semantics/alt_semantics/proofs
Finished semantics/alt_semantics/proofs 2m29s 848MB
Starting basis/pure
Finished basis/pure 4m52s 725MB
Starting translator
Finished translator 2m20s 2GB
Starting compiler/parsing
Finished compiler/parsing 1m21s 2GB
Starting characteristic
Finished characteristic 7m18s 2GB
Starting translator/monadic
Finished translator/monadic 2m03s 1GB
Starting basis
Finished basis 22m42s 2GB
Starting compiler/inference
Finished compiler/inference 2m38s 1GB
Starting compiler/backend/reg_alloc
Finished compiler/backend/reg_alloc 1m18s 1GB
Starting compiler/backend/gc
Finished compiler/backend/gc 12m32s 2GB
Starting compiler/backend
Finished compiler/backend 2s 22MB
Starting compiler/encoders/asm
Finished compiler/encoders/asm 1s 20MB
Starting compiler/encoders/x64
Finished compiler/encoders/x64 1m26s 614MB
Starting compiler/encoders/arm7
Finished compiler/encoders/arm7 2m28s 1GB
Starting compiler/encoders/arm8
Finished compiler/encoders/arm8 46s 534MB
Starting compiler/encoders/mips
Finished compiler/encoders/mips 1m41s 844MB
Starting compiler/encoders/riscv
Finished compiler/encoders/riscv 1m51s 1GB
Starting compiler/encoders/ag32
Finished compiler/encoders/ag32 23s 801MB
Starting compiler/backend/x64
Finished compiler/backend/x64 24s 1GB
Starting compiler/backend/arm7
Finished compiler/backend/arm7 26s 1GB
Starting compiler/backend/arm8
Finished compiler/backend/arm8 25s 1GB
Starting compiler/backend/mips
Finished compiler/backend/mips 25s 868MB
Starting compiler/backend/riscv
Finished compiler/backend/riscv 26s 1GB
Starting compiler/backend/ag32
Finished compiler/backend/ag32 1m29s 1GB
Starting compiler/parsing/proofs
Finished compiler/parsing/proofs 8m43s 1GB
Starting compiler/inference/proofs
Finished compiler/inference/proofs 3m54s 1GB
Starting compiler/backend/semantics
Finished compiler/backend/semantics 9m26s 2GB
Starting compiler/backend/reg_alloc/proofs
Finished compiler/backend/reg_alloc/proofs 4m40s 922MB
Starting compiler/backend/proofs
Resuming compiler/backend/proofs
Finished compiler/backend/proofs 5m28s 2GB
Starting compiler/encoders/x64/proofs
Finished compiler/encoders/x64/proofs 13m25s 4GB
Starting compiler/encoders/arm7/proofs
Finished compiler/encoders/arm7/proofs 17m55s 3GB
Starting compiler/encoders/arm8/proofs
Finished compiler/encoders/arm8/proofs 9m18s 1GB
Starting compiler/encoders/mips/proofs
Finished compiler/encoders/mips/proofs 13m35s 2GB
Starting compiler/encoders/riscv/proofs
Finished compiler/encoders/riscv/proofs 11m17s 1GB
Starting compiler/encoders/ag32/proofs
Finished compiler/encoders/ag32/proofs 3m15s 1GB
Starting compiler/backend/x64/proofs
Finished compiler/backend/x64/proofs 26s 1GB
Starting compiler/backend/arm7/proofs
Finished compiler/backend/arm7/proofs 25s 871MB
Starting compiler/backend/arm8/proofs
Finished compiler/backend/arm8/proofs 23s 835MB
Starting compiler/backend/mips/proofs
Finished compiler/backend/mips/proofs 26s 1GB
Starting compiler/backend/riscv/proofs
Finished compiler/backend/riscv/proofs 32s 1GB
Starting compiler/backend/ag32/proofs
Finished compiler/backend/ag32/proofs 12m02s 2GB
Starting compiler/proofs
Finished compiler/proofs 1m56s 3GB
Starting candle/set-theory
Finished candle/set-theory 36s 745MB
Starting candle/syntax-lib
Finished candle/syntax-lib 14s 684MB
Starting candle/standard/syntax
Finished candle/standard/syntax 2m22s 1GB
Starting candle/standard/semantics
Finished candle/standard/semantics 2m20s 1GB
Starting candle/standard/monadic
Finished candle/standard/monadic 2m13s 967MB
Starting candle/standard/ml_kernel
Finished candle/standard/ml_kernel 5m05s 3GB
Starting candle/standard/opentheory
Finished candle/standard/opentheory 11m37s 3GB
Starting candle/standard/opentheory/compilation
Finished candle/standard/opentheory/compilation 36m12s 14GB
Starting candle/standard/opentheory/compilation/proofs
Finished candle/standard/opentheory/compilation/proofs 1m00s 2GB
Starting characteristic/examples
Finished characteristic/examples 2m07s 2GB
Starting tutorial/solutions
Finished tutorial/solutions 16m56s 6GB
Starting translator/monadic/examples
Finished translator/monadic/examples 3m35s 2GB
Starting examples
Finished examples 10m00s 3GB
Starting examples/compilation/x64
Finished examples/compilation/x64 2h38m16s 14GB
Starting examples/compilation/x64/proofs
Finished examples/compilation/x64/proofs 1m56s 2GB
Starting examples/compilation/ag32
Finished examples/compilation/ag32 36m54s 6GB
Starting examples/compilation/ag32/proofs
Finished examples/compilation/ag32/proofs 1m07s 3GB
Starting translator/okasaki-examples
Finished translator/okasaki-examples 5m30s 1GB
Starting translator/other-examples
Finished translator/other-examples 4m57s 1GB
Starting compiler/parsing/tests
Finished compiler/parsing/tests 32s 535MB
Starting compiler/inference/tests
Finished compiler/inference/tests 5m14s 3GB
Starting compiler/bootstrap/translation
Finished compiler/bootstrap/translation 3h14m51s 41GB
Starting unverified/sexpr-bootstrap/x64/64
Finished unverified/sexpr-bootstrap/x64/64 9m31s 3GB
Starting unverified/sexpr-bootstrap/x64/32
Finished unverified/sexpr-bootstrap/x64/32 5m50s 6GB
Starting compiler/benchmarks
Finished compiler/benchmarks 5s 36MB
Starting compiler/bootstrap/compilation/x64/64
Finished compiler/bootstrap/compilation/x64/64 12h32m56s 60GB
Starting compiler/bootstrap/compilation/x64/64/proofs
Finished compiler/bootstrap/compilation/x64/64/proofs 3m47s 11GB
Starting compiler/bootstrap/compilation/x64/32