CakeML Regression Test

Job 1702

CakeML:06727c01c2d205678015bc74f4b119dd7f732ab9
  Change readmePrefix to something better [Dec 31 10:06:54]
#851 (candle-prover)
Merging into:2c2b4c83b857a26ba3318c77300e798965c5dfed
  Refix parsing/fromSexp given unlisting of theorems in quantHeuristics [Dec 22 06:37:04]
HOL:288eed203f9e91e52a1707519ea31e41041b2f48
  Move more examples into parallel build process [Dec 23 06:36:48]
Machine:oven3+4.19.67.1.amd64-smp+

Jan 01 03:26:08 Claimed job
Jan 01 03:26:13 Reusing+HOL
Jan 01 03:27:06 Starting+developers
Jan 01 03:27:14 Finished+developers++++++++++++++++++++++++++++++++++++++++8.14+92036
Jan 01 03:27:14 Starting+developers/bin
Jan 01 03:27:24 Finished+developers/bin++++++++++++++++++++++++++++++++++++9.87+673968
Jan 01 03:27:25 Starting+semantics/ffi
Jan 01 03:27:44 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++19.25+240720
Jan 01 03:27:45 Starting+semantics
Jan 01 03:30:36 Finished+semantics+++++++++++++++++++++++++++++++++++++++++171.05+1262072
Jan 01 03:30:36 Starting+semantics/proofs
Jan 01 03:38:24 Finished+semantics/proofs++++++++++++++++++++++++++++++++++468.11+1164928
Jan 01 03:38:25 Starting+semantics/alt_semantics
Jan 01 03:38:50 Finished+semantics/alt_semantics+++++++++++++++++++++++++++25.31+415804
Jan 01 03:38:50 Starting+semantics/alt_semantics/proofs
Jan 01 03:44:07 Finished+semantics/alt_semantics/proofs++++++++++++++++++++316.03+996212
Jan 01 03:44:07 Starting+basis/pure
Jan 01 03:45:51 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++104.33+873556
Jan 01 03:45:52 Starting+translator
Jan 01 03:51:38 Finished+translator++++++++++++++++++++++++++++++++++++++++345.79+1712312
Jan 01 03:51:38 Starting+compiler/parsing
Jan 01 03:54:15 Finished+compiler/parsing++++++++++++++++++++++++++++++++++156.73+1949076
Jan 01 03:54:15 Starting+characteristic
Jan 01 04:06:19 Finished+characteristic++++++++++++++++++++++++++++++++++++723.91+2106860
Jan 01 04:06:19 Starting+translator/monadic
Jan 01 04:09:48 Finished+translator/monadic++++++++++++++++++++++++++++++++208.75+1509684
Jan 01 04:09:49 Starting+basis
Jan 01 05:50:21 Finished+basis+++++++++++++++++++++++++++++++++++++++++++++6032.45+16473140
Jan 01 05:50:22 Starting+compiler/inference
Jan 01 05:52:43 Finished+compiler/inference++++++++++++++++++++++++++++++++141.27+1200020
Jan 01 05:52:43 Starting+compiler/backend/reg_alloc
Jan 01 05:54:47 Finished+compiler/backend/reg_alloc++++++++++++++++++++++++123.20+1192068
Jan 01 05:54:47 Starting+compiler/backend/gc
Jan 01 06:01:18 Finished+compiler/backend/gc+++++++++++++++++++++++++++++++390.20+2015008
Jan 01 06:01:18 Starting+compiler/backend
Jan 01 06:10:10 Finished+compiler/backend++++++++++++++++++++++++++++++++++532.03+3092432
Jan 01 06:10:10 Starting+compiler/encoders/asm
Jan 01 06:10:58 Finished+compiler/encoders/asm+++++++++++++++++++++++++++++47.55+716460
Jan 01 06:10:58 Starting+compiler/encoders/x64
Jan 01 06:11:53 Finished+compiler/encoders/x64+++++++++++++++++++++++++++++54.68+983380
Jan 01 06:11:53 Starting+compiler/encoders/arm7
Jan 01 06:13:49 Finished+compiler/encoders/arm7++++++++++++++++++++++++++++115.78+762644
Jan 01 06:13:49 Starting+compiler/encoders/arm8
Jan 01 06:14:18 Finished+compiler/encoders/arm8++++++++++++++++++++++++++++28.34+612284
Jan 01 06:14:18 Starting+compiler/encoders/mips
Jan 01 06:14:56 Finished+compiler/encoders/mips++++++++++++++++++++++++++++37.19+1298464
Jan 01 06:14:56 Starting+compiler/encoders/riscv
Jan 01 06:15:28 Finished+compiler/encoders/riscv+++++++++++++++++++++++++++32.05+962276
Jan 01 06:15:28 Starting+compiler/encoders/ag32
Jan 01 06:16:10 Finished+compiler/encoders/ag32++++++++++++++++++++++++++++41.48+678792
Jan 01 06:16:10 Starting+compiler/backend/x64
Jan 01 06:16:52 Finished+compiler/backend/x64++++++++++++++++++++++++++++++41.26+1401252
Jan 01 06:16:52 Starting+compiler/backend/arm7
Jan 01 06:17:37 Finished+compiler/backend/arm7+++++++++++++++++++++++++++++44.89+1651812
Jan 01 06:17:37 Starting+compiler/backend/arm8
Jan 01 06:18:23 Finished+compiler/backend/arm8+++++++++++++++++++++++++++++45.15+1384368
Jan 01 06:18:23 Starting+compiler/backend/mips
Jan 01 06:19:05 Finished+compiler/backend/mips+++++++++++++++++++++++++++++42.23+1455100
Jan 01 06:19:06 Starting+compiler/backend/riscv
Jan 01 06:19:50 Finished+compiler/backend/riscv++++++++++++++++++++++++++++43.72+1370244
Jan 01 06:19:50 Starting+compiler/backend/ag32
Jan 01 06:22:13 Finished+compiler/backend/ag32+++++++++++++++++++++++++++++142.80+1328608
Jan 01 06:22:13 Starting+compiler/parsing/proofs
Jan 01 06:30:38 Finished+compiler/parsing/proofs+++++++++++++++++++++++++++504.45+1090172
Jan 01 06:30:38 Starting+compiler/inference/proofs
Jan 01 06:35:52 Finished+compiler/inference/proofs+++++++++++++++++++++++++313.49+977432
Jan 01 06:35:52 Starting+compiler/backend/semantics
Jan 01 07:37:26 Finished+compiler/backend/semantics++++++++++++++++++++++++3692.80+2296768
Jan 01 07:37:26 Starting+compiler/backend/reg_alloc/proofs
Jan 01 07:45:07 Finished+compiler/backend/reg_alloc/proofs+++++++++++++++++460.68+1100556
Jan 01 07:45:07 Starting+compiler/backend/proofs
Jan 01 09:25:30 Finished+compiler/backend/proofs+++++++++++++++++++++++++++6022.40+14095768
Jan 01 09:25:30 Starting+compiler/backend/serialiser
Jan 01 09:27:59 Finished+compiler/backend/serialiser+++++++++++++++++++++++148.52+1370736
Jan 01 09:27:59 Starting+compiler/encoders/x64/proofs
Jan 01 09:49:33 Finished+compiler/encoders/x64/proofs++++++++++++++++++++++1293.61+4395408
Jan 01 09:49:33 Starting+compiler/encoders/arm7/proofs
Jan 01 10:18:42 Finished+compiler/encoders/arm7/proofs+++++++++++++++++++++1748.63+3842696
Jan 01 10:18:42 Starting+compiler/encoders/arm8/proofs
Jan 01 10:34:28 Finished+compiler/encoders/arm8/proofs+++++++++++++++++++++944.58+1080808
Jan 01 10:34:28 Starting+compiler/encoders/mips/proofs
Jan 01 10:56:38 Finished+compiler/encoders/mips/proofs+++++++++++++++++++++1329.59+2607512
Jan 01 10:56:38 Starting+compiler/encoders/riscv/proofs
Jan 01 11:16:58 Finished+compiler/encoders/riscv/proofs++++++++++++++++++++1219.45+1139508
Jan 01 11:16:58 Starting+compiler/encoders/ag32/proofs
Jan 01 11:22:39 Finished+compiler/encoders/ag32/proofs+++++++++++++++++++++340.82+756336
Jan 01 11:22:39 Starting+compiler/backend/x64/proofs
Jan 01 11:23:31 Finished+compiler/backend/x64/proofs+++++++++++++++++++++++51.31+1490480
Jan 01 11:23:31 Starting+compiler/backend/arm7/proofs
Jan 01 11:24:25 Finished+compiler/backend/arm7/proofs++++++++++++++++++++++54.11+1677328
Jan 01 11:24:26 Starting+compiler/backend/arm8/proofs
Jan 01 11:25:17 Finished+compiler/backend/arm8/proofs++++++++++++++++++++++50.66+1687992
Jan 01 11:25:17 Starting+compiler/backend/mips/proofs
Jan 01 11:26:06 Finished+compiler/backend/mips/proofs++++++++++++++++++++++49.36+1345360
Jan 01 11:26:07 Starting+compiler/backend/riscv/proofs
Jan 01 11:26:55 Finished+compiler/backend/riscv/proofs+++++++++++++++++++++48.31+1420208
Jan 01 11:26:55 Starting+compiler/backend/ag32/proofs
Jan 01 11:55:11 Finished+compiler/backend/ag32/proofs++++++++++++++++++++++1694.35+3645240
Jan 01 11:55:11 Starting+compiler/proofs
Jan 01 11:58:41 Finished+compiler/proofs+++++++++++++++++++++++++++++++++++209.46+3297592
Jan 01 11:58:41 Starting+candle/set-theory
Jan 01 11:59:40 Finished+candle/set-theory+++++++++++++++++++++++++++++++++58.79+746376
Jan 01 11:59:40 Starting+candle/syntax-lib
Jan 01 12:00:04 Finished+candle/syntax-lib+++++++++++++++++++++++++++++++++23.61+687580
Jan 01 12:00:04 Starting+candle/standard/syntax
Jan 01 12:03:51 Finished+candle/standard/syntax++++++++++++++++++++++++++++226.11+862756
Jan 01 12:03:51 Starting+candle/standard/semantics
Jan 01 12:07:36 Finished+candle/standard/semantics+++++++++++++++++++++++++225.37+1371784
Jan 01 12:07:37 Starting+candle/standard/monadic
Jan 01 12:10:59 Finished+candle/standard/monadic+++++++++++++++++++++++++++202.17+1156600
Jan 01 12:10:59 Starting+candle/standard/ml_kernel
Jan 01 12:25:12 Finished+candle/standard/ml_kernel+++++++++++++++++++++++++852.41+3205832
Jan 01 12:25:12 Starting+candle/overloading/syntax
Jan 01 12:31:41 Finished+candle/overloading/syntax+++++++++++++++++++++++++388.63+1464800
Jan 01 12:31:41 Starting+candle/overloading/semantics
Jan 01 12:56:54 Finished+candle/overloading/semantics++++++++++++++++++++++1512.16+2706464
Jan 01 12:56:54 Starting+candle/prover
Jan 01 13:13:03 Finished+candle/prover+++++++++++++++++++++++++++++++++++++968.79+3263736
Jan 01 13:13:03 Starting+pancake
Jan 01 13:17:01 Finished+pancake+++++++++++++++++++++++++++++++++++++++++++237.30+2933880
Jan 01 13:17:01 Starting+pancake/ffi
Jan 01 13:17:02 Finished+pancake/ffi+++++++++++++++++++++++++++++++++++++++0.45+9680
Jan 01 13:17:02 Starting+pancake/semantics
Jan 01 13:21:52 Finished+pancake/semantics+++++++++++++++++++++++++++++++++289.59+1478288
Jan 01 13:21:52 Starting+pancake/proofs
Jan 01 13:47:43 Finished+pancake/proofs++++++++++++++++++++++++++++++++++++1550.61+7100580
Jan 01 13:47:43 Starting+characteristic/examples
Jan 01 13:50:37 Finished+characteristic/examples+++++++++++++++++++++++++++174.30+3039964
Jan 01 13:50:38 Starting+tutorial/solutions
Jan 01 14:24:38 Finished+tutorial/solutions++++++++++++++++++++++++++++++++2039.75+9085552
Jan 01 14:24:38 Starting+translator/monadic/examples
Jan 01 14:30:20 Finished+translator/monadic/examples+++++++++++++++++++++++342.32+2808000
Jan 01 14:30:21 Starting+examples
Jan 01 14:47:20 Finished+examples++++++++++++++++++++++++++++++++++++++++++1019.52+4247864
Jan 01 14:47:20 Starting+examples/compilation/x64
Jan 01 20:15:38 Finished+examples/compilation/x64++++++++++++++++++++++++++19696.25+18934264
Jan 01 20:15:38 Starting+examples/compilation/x64/proofs
Jan 01 20:18:59 Finished+examples/compilation/x64/proofs+++++++++++++++++++201.07+3804092
Jan 01 20:18:59 Starting+examples/compilation/ag32
Jan 01 21:36:50 Finished+examples/compilation/ag32+++++++++++++++++++++++++4670.79+8819268
Jan 01 21:36:51 Starting+examples/compilation/ag32/proofs
Jan 01 21:38:27 Finished+examples/compilation/ag32/proofs++++++++++++++++++96.38+3501316
Jan 01 21:38:28 Starting+examples/cost
Jan 01 23:35:44 Finished+examples/cost+++++++++++++++++++++++++++++++++++++7035.65+8280588
Jan 01 23:35:45 Starting+examples/lpr_checker
Jan 01 23:37:30 Finished+examples/lpr_checker++++++++++++++++++++++++++++++105.14+1305800
Jan 01 23:37:30 Starting+examples/lpr_checker/array
Jan 02 00:46:01 Finished+examples/lpr_checker/array++++++++++++++++++++++++4110.37+5842684
Jan 02 00:46:01 Starting+examples/lpr_checker/array/compilation
Jan 02 03:54:55 Finished+examples/lpr_checker/array/compilation++++++++++++11333.71+34740300
Jan 02 03:54:56 Starting+examples/lpr_checker/array/compilation/proofs
Jan 02 03:57:27 Finished+examples/lpr_checker/array/compilation/proofs+++++150.90+6613968
Jan 02 03:57:27 Starting+examples/opentheory
Jan 02 04:17:56 Finished+examples/opentheory+++++++++++++++++++++++++++++++1229.26+5527280
Jan 02 04:17:57 Starting+examples/opentheory
Jan 02 04:17:59 Finished+examples/opentheory+++++++++++++++++++++++++++++++2.50+33584
Jan 02 04:17:59 Starting+examples/opentheory/compilation
Jan 02 05:44:32 Finished+examples/opentheory/compilation+++++++++++++++++++5192.26+31773452
Jan 02 05:44:32 Starting+examples/opentheory/compilation/proofs
Jan 02 05:46:10 Finished+examples/opentheory/compilation/proofs++++++++++++97.85+4416368
Jan 02 05:46:11 Starting+examples/opentheory/compilation/ag32
Jan 02 07:10:53 Finished+examples/opentheory/compilation/ag32++++++++++++++5082.30+31049136
Jan 02 07:10:53 Starting+examples/opentheory/compilation/ag32/proofs
Jan 02 07:14:50 Finished+examples/opentheory/compilation/ag32/proofs+++++++236.15+4313676
Jan 02 07:14:50 Starting+examples/sat_encodings
Jan 02 07:18:43 Finished+examples/sat_encodings++++++++++++++++++++++++++++232.56+738872
Jan 02 07:18:43 Starting+examples/sat_encodings/case_studies
Jan 02 07:22:05 Finished+examples/sat_encodings/case_studies+++++++++++++++201.16+734380
Jan 02 07:22:05 Starting+examples/sat_encodings/translation
Jan 02 07:33:47 Finished+examples/sat_encodings/translation++++++++++++++++702.32+4588540
Jan 02 07:33:48 Starting+examples/sat_encodings/translation/compilation
Jan 02 09:01:52 Finished+examples/sat_encodings/translation/compilation++++5284.28+24746800
Jan 02 09:01:53 Starting+translator/okasaki-examples
Jan 02 09:11:06 Finished+translator/okasaki-examples+++++++++++++++++++++++552.89+1790944
Jan 02 09:11:06 Starting+translator/other-examples
Jan 02 09:12:35 Finished+translator/other-examples+++++++++++++++++++++++++88.12+1897416
Jan 02 09:12:35 Starting+compiler/parsing/tests
Jan 02 09:13:40 Finished+compiler/parsing/tests++++++++++++++++++++++++++++64.80+742512
Jan 02 09:13:40 Starting+compiler/inference/tests
Jan 02 09:29:58 Finished+compiler/inference/tests++++++++++++++++++++++++++977.34+4215456
Jan 02 09:29:58 Starting+compiler/bootstrap/translation
Jan 02 15:01:09 Finished+compiler/bootstrap/translation++++++++++++++++++++19870.34+25251092
Jan 02 15:01:10 Starting+unverified/sexpr-bootstrap/x64/64
Jan 02 15:21:11 Finished+unverified/sexpr-bootstrap/x64/64+++++++++++++++++1201.21+8421092
Jan 02 15:21:11 Starting+unverified/sexpr-bootstrap/x64/32
Jan 02 15:38:31 Finished+unverified/sexpr-bootstrap/x64/32+++++++++++++++++1039.11+8362652
Jan 02 15:38:31 Starting+compiler/benchmarks
Jan 02 15:38:35 Finished+compiler/benchmarks+++++++++++++++++++++++++++++++4.34+35136
Jan 02 15:38:35 Starting+compiler/bootstrap/compilation/x64/64
Jan 03 20:39:18 Finished+compiler/bootstrap/compilation/x64/64+++++++++++++104441.78+110748780
Jan 03 20:39:18 Starting+compiler/bootstrap/compilation/x64/64/proofs
Jan 03 20:44:15 Finished+compiler/bootstrap/compilation/x64/64/proofs++++++296.67+15692056
Jan 03 20:44:15 Starting+compiler/bootstrap/compilation/x64/32
Jan 04 22:19:10 Finished+compiler/bootstrap/compilation/x64/32+++++++++++++92093.98+109777912
Jan 04 22:19:10 Starting+compiler/bootstrap/compilation/x64/32/proofs
Jan 04 22:23:49 Finished+compiler/bootstrap/compilation/x64/32/proofs++++++278.88+18461436
Jan 04 22:23:49 Starting+compiler/bootstrap/compilation/ag32/32
Jan 06 01:15:09 Finished+compiler/bootstrap/compilation/ag32/32++++++++++++96678.00+111132692
Jan 06 01:15:09 Starting+compiler/bootstrap/compilation/ag32/32/proofs
Jan 06 01:51:24 Finished+compiler/bootstrap/compilation/ag32/32/proofs+++++2174.56+51382716
Jan 06 01:51:24 SUCCESS