OverviewCakeML:a1bd1344c788191d0c74f4bc314ab3b8e0f4b4c0
Fix bvl_const translation
#485 (better-constant-folding)
Merging into:a2189a6940aa40c618029d8663874246e88029d1
Merge pull request #482 from zapashcanon/pp
HOL:1026e4d1fcaf267cf1ba69ffb18c9d0f7e5bdbe5
Fix docs about quoting things with ^ in the lexer
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux
Claimed job
Building HOL
Starting developers/bin
Finished developers/bin 38s 923MB
Starting semantics/ffi
Finished semantics/ffi 38s 449MB
Starting semantics
Finished semantics 1m22s 917MB
Starting semantics/proofs
Finished semantics/proofs 1m47s 1GB
Starting basis/pure
Finished basis/pure 3m28s 716MB
Starting translator
Finished translator 3m47s 1GB
Starting compiler/parsing
Finished compiler/parsing 1m26s 1GB
Starting characteristic
Finished characteristic 2m20s 1GB
Starting basis
Finished basis 16m49s 3GB
Starting translator/monadic
Finished translator/monadic 1s 14MB
Starting compiler/inference
Finished compiler/inference 1m32s 1GB
Starting compiler/backend/reg_alloc
Finished compiler/backend/reg_alloc 25s 692MB
Starting compiler/backend/gc
Finished compiler/backend/gc 8m44s 3GB
Starting compiler/backend
Finished compiler/backend 2s 18MB
Starting compiler/encoders/asm
Finished compiler/encoders/asm 0s 10MB
Starting compiler/encoders/x64
Finished compiler/encoders/x64 49s 590MB
Starting compiler/encoders/arm6
Finished compiler/encoders/arm6 1m41s 1GB
Starting compiler/encoders/arm8
Finished compiler/encoders/arm8 25s 499MB
Starting compiler/encoders/mips
Finished compiler/encoders/mips 56s 839MB
Starting compiler/encoders/riscv
Finished compiler/encoders/riscv 1m00s 704MB
Starting compiler/backend/x64
Finished compiler/backend/x64 16s 1GB
Starting compiler/backend/arm6
Finished compiler/backend/arm6 19s 1GB
Starting compiler/backend/arm8
Finished compiler/backend/arm8 18s 1GB
Starting compiler/backend/mips
Finished compiler/backend/mips 18s 1GB
Starting compiler/backend/riscv
Finished compiler/backend/riscv 18s 1GB
Starting compiler/parsing/proofs
Finished compiler/parsing/proofs 6m04s 797MB
Starting compiler/inference/proofs
Finished compiler/inference/proofs 2m18s 1GB
Starting compiler/backend/semantics
Finished compiler/backend/semantics 11m19s 2GB
Starting compiler/backend/reg_alloc/proofs
Finished compiler/backend/reg_alloc/proofs 37s 486MB
Starting compiler/backend/proofs
Finished compiler/backend/proofs 35m40s 4GB
Starting compiler/encoders/x64/proofs
Finished compiler/encoders/x64/proofs 7m21s 4GB
Starting compiler/encoders/arm6/proofs
Finished compiler/encoders/arm6/proofs 7m27s 2GB
Starting compiler/encoders/arm8/proofs
Finished compiler/encoders/arm8/proofs 5m22s 1GB
Starting compiler/encoders/mips/proofs
Finished compiler/encoders/mips/proofs 7m18s 2GB
Starting compiler/encoders/riscv/proofs
Finished compiler/encoders/riscv/proofs 8m01s 835MB
Starting compiler/backend/x64/proofs
Finished compiler/backend/x64/proofs 19s 1GB
Starting compiler/backend/arm6/proofs
Finished compiler/backend/arm6/proofs 22s 1GB
Starting compiler/backend/arm8/proofs
Finished compiler/backend/arm8/proofs 21s 1GB
Starting compiler/backend/mips/proofs
Finished compiler/backend/mips/proofs 21s 1GB
Starting compiler/backend/riscv/proofs
Finished compiler/backend/riscv/proofs 20s 1GB
Starting compiler/proofs
Finished compiler/proofs 1m13s 2GB
Starting candle/set-theory
Finished candle/set-theory 55s 590MB
Starting candle/syntax-lib
Finished candle/syntax-lib 9s 502MB
Starting candle/standard/syntax
Finished candle/standard/syntax 1m32s 644MB
Starting candle/standard/semantics
Finished candle/standard/semantics 1m18s 932MB
Starting candle/standard/monadic
Finished candle/standard/monadic 1m24s 946MB
Starting candle/standard/ml_kernel
Finished candle/standard/ml_kernel 6m14s 2GB
Starting candle/standard/opentheory
Finished candle/standard/opentheory 14s 575MB
Starting characteristic/examples
Finished characteristic/examples 1m25s 1GB
Starting tutorial/solutions
Finished tutorial/solutions 23m23s 9GB
Starting translator/monadic/examples
Finished translator/monadic/examples 1m50s 3GB
Starting examples
Finished examples 5m29s 2GB
Starting examples/compilation
Finished examples/compilation 3h58m38s 18GB
Starting examples/compilation/proofs
Finished examples/compilation/proofs 3m17s 6GB
Starting compiler/benchmarks
Finished compiler/benchmarks 0s 4MB
Starting translator/okasaki-examples
Finished translator/okasaki-examples 3m31s 1GB
Starting translator/other-examples
Finished translator/other-examples 3m29s 1GB
Starting compiler/parsing/tests
Finished compiler/parsing/tests 22s 351MB
Starting compiler/bootstrap/translation
Finished compiler/bootstrap/translation 4h55m30s 50GB
Starting unverified/sexpr-bootstrap/x64/64
Finished unverified/sexpr-bootstrap/x64/64 5m44s 16GB
Starting unverified/sexpr-bootstrap/x64/32
Finished unverified/sexpr-bootstrap/x64/32 4m46s 12GB
Starting compiler/bootstrap/compilation/x64/64
Finished compiler/bootstrap/compilation/x64/64 29h07m56s 65GB
Starting compiler/bootstrap/compilation/x64/64/proofs
Finished compiler/bootstrap/compilation/x64/64/proofs 3m49s 28GB
Starting compiler/bootstrap/compilation/x64/32
Finished compiler/bootstrap/compilation/x64/32 14h14m33s 64GB
Starting compiler/bootstrap/compilation/x64/32/proofs
Finished compiler/bootstrap/compilation/x64/32/proofs 4m04s 24GB
SUCCESS