Job 1818

CakeML:037d2866e15ecff407f07de35e3b5b5be9de16a8
  Merge pull request #866 from hrutvik/master [Mar 11 15:10:22]
HOL:9ef02c741e59da2e5b90512fc92aa8194c043623
  Fix Holmakefiles for Tamarack example; further modernise port-full [Mar 07 23:09:46]
Machine:oven3+4.19.67.1.amd64-smp+

Mar 11 17:03:20 Claimed job
Mar 11 17:03:35 Building+HOL
Mar 11 17:23:22 Starting+developers
Mar 11 17:23:31 Finished+developers++++++++++++++++++++++++++++++++++++++++8.69+134376
Mar 11 17:23:31 Starting+developers/bin
Mar 11 17:23:45 Finished+developers/bin++++++++++++++++++++++++++++++++++++13.74+1255840
Mar 11 17:23:45 Starting+semantics/ffi
Mar 11 17:24:11 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++25.79+266520
Mar 11 17:24:11 Starting+semantics
Mar 11 17:28:43 Finished+semantics+++++++++++++++++++++++++++++++++++++++++272.09+1306468
Mar 11 17:28:44 Starting+semantics/proofs
Mar 11 17:36:56 Finished+semantics/proofs++++++++++++++++++++++++++++++++++492.46+1140052
Mar 11 17:36:57 Starting+semantics/alt_semantics
Mar 11 17:37:34 Finished+semantics/alt_semantics+++++++++++++++++++++++++++37.38+494448
Mar 11 17:37:34 Starting+semantics/alt_semantics/proofs
Mar 11 17:42:56 Finished+semantics/alt_semantics/proofs++++++++++++++++++++320.88+1010296
Mar 11 17:42:56 Starting+basis/pure
Mar 11 17:49:40 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++404.03+1123964
Mar 11 17:49:40 Starting+translator
Mar 11 17:55:56 Finished+translator++++++++++++++++++++++++++++++++++++++++376.04+1855596
Mar 11 17:55:57 Starting+compiler/parsing
Mar 11 17:58:44 Finished+compiler/parsing++++++++++++++++++++++++++++++++++167.55+2080964
Mar 11 17:58:45 Starting+characteristic
Mar 11 18:12:09 Finished+characteristic++++++++++++++++++++++++++++++++++++804.16+2259440
Mar 11 18:12:09 Starting+translator/monadic
Mar 11 18:16:12 Finished+translator/monadic++++++++++++++++++++++++++++++++242.63+1473932
Mar 11 18:16:12 Starting+basis
Mar 11 19:59:47 Finished+basis+++++++++++++++++++++++++++++++++++++++++++++6214.14+17528856
Mar 11 19:59:47 Starting+compiler/inference
Mar 11 20:02:52 Finished+compiler/inference++++++++++++++++++++++++++++++++184.35+1285436
Mar 11 20:02:52 Starting+compiler/backend/reg_alloc
Mar 11 20:06:03 Finished+compiler/backend/reg_alloc++++++++++++++++++++++++190.74+1753180
Mar 11 20:06:03 Starting+compiler/backend/gc
Mar 11 20:14:28 Finished+compiler/backend/gc+++++++++++++++++++++++++++++++505.19+2016968
Mar 11 20:14:29 Starting+compiler/backend
Mar 11 20:25:13 Finished+compiler/backend++++++++++++++++++++++++++++++++++644.11+2609908
Mar 11 20:25:13 Starting+compiler/encoders/asm
Mar 11 20:26:18 Finished+compiler/encoders/asm+++++++++++++++++++++++++++++64.90+891744
Mar 11 20:26:19 Starting+compiler/encoders/x64
Mar 11 20:28:51 Finished+compiler/encoders/x64+++++++++++++++++++++++++++++152.15+720884
Mar 11 20:28:51 Starting+compiler/encoders/arm7
Mar 11 20:33:47 Finished+compiler/encoders/arm7++++++++++++++++++++++++++++295.23+1508528
Mar 11 20:33:47 Starting+compiler/encoders/arm8
Mar 11 20:35:23 Finished+compiler/encoders/arm8++++++++++++++++++++++++++++95.88+647060
Mar 11 20:35:23 Starting+compiler/encoders/arm8_asl
Mar 12 00:38:56 Finished+compiler/encoders/arm8_asl++++++++++++++++++++++++14612.09+32786344
Mar 12 00:38:56 Starting+compiler/encoders/mips
Mar 12 00:42:17 Finished+compiler/encoders/mips++++++++++++++++++++++++++++200.76+1311636
Mar 12 00:42:17 Starting+compiler/encoders/riscv
Mar 12 00:46:12 Finished+compiler/encoders/riscv+++++++++++++++++++++++++++235.19+1193600
Mar 12 00:46:12 Starting+compiler/encoders/ag32
Mar 12 00:47:01 Finished+compiler/encoders/ag32++++++++++++++++++++++++++++48.28+659532
Mar 12 00:47:01 Starting+compiler/backend/x64
Mar 12 00:47:48 Finished+compiler/backend/x64++++++++++++++++++++++++++++++46.85+1377348
Mar 12 00:47:48 Starting+compiler/backend/arm7
Mar 12 00:48:40 Finished+compiler/backend/arm7+++++++++++++++++++++++++++++51.12+1702276
Mar 12 00:48:40 Starting+compiler/backend/arm8
Mar 12 00:49:29 Finished+compiler/backend/arm8+++++++++++++++++++++++++++++49.20+1367912
Mar 12 00:49:30 Starting+compiler/backend/mips
Mar 12 00:50:17 Finished+compiler/backend/mips+++++++++++++++++++++++++++++47.23+1472160
Mar 12 00:50:17 Starting+compiler/backend/riscv
Mar 12 00:51:06 Finished+compiler/backend/riscv++++++++++++++++++++++++++++48.31+1542424
Mar 12 00:51:06 Starting+compiler/backend/ag32
Mar 12 00:54:06 Finished+compiler/backend/ag32+++++++++++++++++++++++++++++179.84+1356348
Mar 12 00:54:06 Starting+compiler/parsing/proofs
Mar 12 01:02:37 Finished+compiler/parsing/proofs+++++++++++++++++++++++++++510.92+1083868
Mar 12 01:02:37 Starting+compiler/inference/proofs
Mar 12 01:08:18 Finished+compiler/inference/proofs+++++++++++++++++++++++++340.32+1124032
Mar 12 01:08:18 Starting+compiler/backend/semantics
Mar 12 02:11:09 Finished+compiler/backend/semantics++++++++++++++++++++++++3769.06+1922164
Mar 12 02:11:09 Starting+compiler/backend/reg_alloc/proofs
Mar 12 02:19:08 Finished+compiler/backend/reg_alloc/proofs+++++++++++++++++478.39+982976
Mar 12 02:19:08 Starting+compiler/backend/proofs
Mar 12 03:59:43 Finished+compiler/backend/proofs+++++++++++++++++++++++++++6034.67+14354760
Mar 12 03:59:44 Starting+compiler/backend/serialiser
Mar 12 04:03:07 Finished+compiler/backend/serialiser+++++++++++++++++++++++202.78+1862380
Mar 12 04:03:07 Starting+compiler/encoders/x64/proofs
Mar 12 04:24:41 Finished+compiler/encoders/x64/proofs++++++++++++++++++++++1294.18+5613492
Mar 12 04:24:41 Starting+compiler/encoders/arm7/proofs
Mar 12 04:54:47 Finished+compiler/encoders/arm7/proofs+++++++++++++++++++++1805.37+3964852
Mar 12 04:54:47 Starting+compiler/encoders/arm8/proofs
Mar 12 05:10:07 Finished+compiler/encoders/arm8/proofs+++++++++++++++++++++919.19+1602000
Mar 12 05:10:07 Starting+compiler/encoders/arm8_asl/proofs
Mar 12 07:01:49 Finished+compiler/encoders/arm8_asl/proofs+++++++++++++++++6701.42+6191280
Mar 12 07:01:49 Starting+compiler/encoders/mips/proofs
Mar 12 07:24:22 Finished+compiler/encoders/mips/proofs+++++++++++++++++++++1352.65+2563392
Mar 12 07:24:22 Starting+compiler/encoders/riscv/proofs
Mar 12 07:44:11 Finished+compiler/encoders/riscv/proofs++++++++++++++++++++1189.21+1430492
Mar 12 07:44:12 Starting+compiler/encoders/ag32/proofs
Mar 12 07:49:58 Finished+compiler/encoders/ag32/proofs+++++++++++++++++++++345.89+802888
Mar 12 07:49:58 Starting+compiler/backend/x64/proofs
Mar 12 07:50:58 Finished+compiler/backend/x64/proofs+++++++++++++++++++++++59.89+1740992
Mar 12 07:50:58 Starting+compiler/backend/arm7/proofs
Mar 12 07:52:00 Finished+compiler/backend/arm7/proofs++++++++++++++++++++++61.38+1893196
Mar 12 07:52:00 Starting+compiler/backend/arm8/proofs
Mar 12 07:53:02 Finished+compiler/backend/arm8/proofs++++++++++++++++++++++61.99+1640416
Mar 12 07:53:02 Starting+compiler/backend/arm8_asl
Mar 12 07:53:49 Finished+compiler/backend/arm8_asl+++++++++++++++++++++++++46.91+1193440
Mar 12 07:53:50 Starting+compiler/backend/mips/proofs
Mar 12 07:54:51 Finished+compiler/backend/mips/proofs++++++++++++++++++++++60.77+1574148
Mar 12 07:54:51 Starting+compiler/backend/riscv/proofs
Mar 12 07:55:53 Finished+compiler/backend/riscv/proofs+++++++++++++++++++++61.69+1535076
Mar 12 07:55:53 Starting+compiler/backend/ag32/proofs
Mar 12 08:24:16 Finished+compiler/backend/ag32/proofs++++++++++++++++++++++1702.54+2316532
Mar 12 08:24:16 Starting+compiler/proofs
Mar 12 08:29:27 Finished+compiler/proofs+++++++++++++++++++++++++++++++++++310.60+4746092
Mar 12 08:29:27 Starting+candle/set-theory
Mar 12 08:30:36 Finished+candle/set-theory+++++++++++++++++++++++++++++++++68.97+1077560
Mar 12 08:30:37 Starting+candle/syntax-lib
Mar 12 08:31:06 Finished+candle/syntax-lib+++++++++++++++++++++++++++++++++28.86+684312
Mar 12 08:31:06 Starting+candle/standard/syntax
Mar 12 08:35:27 Finished+candle/standard/syntax++++++++++++++++++++++++++++261.22+994016
Mar 12 08:35:27 Starting+candle/standard/semantics
Mar 12 08:39:37 Finished+candle/standard/semantics+++++++++++++++++++++++++248.85+1616896
Mar 12 08:39:37 Starting+candle/standard/monadic
Mar 12 08:43:37 Finished+candle/standard/monadic+++++++++++++++++++++++++++240.24+1872464
Mar 12 08:43:37 Starting+candle/standard/ml_kernel
Mar 12 08:56:25 Finished+candle/standard/ml_kernel+++++++++++++++++++++++++766.99+3993700
Mar 12 08:56:25 Starting+candle/overloading/syntax
Mar 12 09:03:18 Finished+candle/overloading/syntax+++++++++++++++++++++++++413.02+1189128
Mar 12 09:03:18 Starting+candle/overloading/semantics
Mar 12 09:29:24 Finished+candle/overloading/semantics++++++++++++++++++++++1564.81+2724832
Mar 12 09:29:24 Starting+candle/overloading/monadic
Mar 12 09:34:49 Finished+candle/overloading/monadic++++++++++++++++++++++++325.02+1598868
Mar 12 09:34:49 Starting+candle/overloading/ml_kernel
Mar 12 09:49:33 Finished+candle/overloading/ml_kernel++++++++++++++++++++++883.80+3707196
Mar 12 09:49:33 Starting+candle/overloading/ml_checker
Mar 12 09:54:50 Finished+candle/overloading/ml_checker+++++++++++++++++++++316.46+3137024
Mar 12 09:54:50 Starting+candle/prover
Mar 12 10:12:59 Finished+candle/prover+++++++++++++++++++++++++++++++++++++1088.68+3658948
Mar 12 10:12:59 Starting+pancake
Mar 12 10:20:49 Finished+pancake+++++++++++++++++++++++++++++++++++++++++++469.72+3825484
Mar 12 10:20:49 Starting+pancake/ffi
Mar 12 10:20:50 Finished+pancake/ffi+++++++++++++++++++++++++++++++++++++++0.77+30584
Mar 12 10:20:50 Starting+pancake/semantics
Mar 12 10:26:11 Finished+pancake/semantics+++++++++++++++++++++++++++++++++320.35+1554732
Mar 12 10:26:11 Starting+pancake/proofs
Mar 12 10:52:00 Finished+pancake/proofs++++++++++++++++++++++++++++++++++++1548.61+7248016
Mar 12 10:52:00 Starting+characteristic/examples
Mar 12 10:54:55 Finished+characteristic/examples+++++++++++++++++++++++++++174.09+2974032
Mar 12 10:54:55 Starting+tutorial/solutions
Mar 12 11:32:01 Finished+tutorial/solutions++++++++++++++++++++++++++++++++2226.09+9692864
Mar 12 11:32:01 Starting+translator/monadic/examples
Mar 12 11:39:06 Finished+translator/monadic/examples+++++++++++++++++++++++424.26+2896804
Mar 12 11:39:06 Starting+examples
Mar 12 11:57:40 Finished+examples++++++++++++++++++++++++++++++++++++++++++1113.29+3740220
Mar 12 11:57:40 Starting+examples/compilation/x64
Mar 12 17:32:40 Finished+examples/compilation/x64++++++++++++++++++++++++++20098.49+20408472
Mar 12 17:32:40 Starting+examples/compilation/x64/proofs
Mar 12 17:37:43 Finished+examples/compilation/x64/proofs+++++++++++++++++++302.52+3603852
Mar 12 17:37:43 Starting+examples/compilation/ag32
Mar 12 18:55:23 Finished+examples/compilation/ag32+++++++++++++++++++++++++4660.16+9035280
Mar 12 18:55:24 Starting+examples/compilation/ag32/proofs
Mar 12 18:57:20 Finished+examples/compilation/ag32/proofs++++++++++++++++++116.08+3872268
Mar 12 18:57:20 Starting+examples/cost
Mar 12 20:55:00 Finished+examples/cost+++++++++++++++++++++++++++++++++++++7059.24+10610236
Mar 12 20:55:00 Starting+examples/lpr_checker
Mar 12 20:57:15 Finished+examples/lpr_checker++++++++++++++++++++++++++++++134.14+1479484
Mar 12 20:57:15 Starting+examples/lpr_checker/array
Mar 12 22:01:28 Finished+examples/lpr_checker/array++++++++++++++++++++++++3852.92+5900600
Mar 12 22:01:28 Starting+examples/lpr_checker/array/compilation
Mar 13 00:59:41 Finished+examples/lpr_checker/array/compilation++++++++++++10692.59+31877456
Mar 13 00:59:41 Starting+examples/lpr_checker/array/compilation/proofs
Mar 13 01:02:33 Finished+examples/lpr_checker/array/compilation/proofs+++++171.70+6806960
Mar 13 01:02:33 Starting+examples/opentheory
Mar 13 01:24:05 Finished+examples/opentheory+++++++++++++++++++++++++++++++1291.82+3907088
Mar 13 01:24:06 Starting+examples/opentheory
Mar 13 01:24:09 Finished+examples/opentheory+++++++++++++++++++++++++++++++2.91+32636
Mar 13 01:24:09 Starting+examples/opentheory/compilation
Mar 13 02:58:42 Finished+examples/opentheory/compilation+++++++++++++++++++5672.63+38853712
Mar 13 02:58:42 Starting+examples/opentheory/compilation/proofs
Mar 13 03:00:34 Finished+examples/opentheory/compilation/proofs++++++++++++111.41+4544008
Mar 13 03:00:34 Starting+examples/opentheory/compilation/ag32
Mar 13 04:25:39 Finished+examples/opentheory/compilation/ag32++++++++++++++5105.14+28402516
Mar 13 04:25:40 Starting+examples/opentheory/compilation/ag32/proofs
Mar 13 04:29:23 Finished+examples/opentheory/compilation/ag32/proofs+++++++223.24+6764956
Mar 13 04:29:23 Starting+examples/sat_encodings
Mar 13 04:33:42 Finished+examples/sat_encodings++++++++++++++++++++++++++++258.70+867244
Mar 13 04:33:42 Starting+examples/sat_encodings/case_studies
Mar 13 04:37:30 Finished+examples/sat_encodings/case_studies+++++++++++++++227.69+989052
Mar 13 04:37:30 Starting+examples/sat_encodings/translation
Mar 13 04:49:21 Finished+examples/sat_encodings/translation++++++++++++++++710.34+2777104
Mar 13 04:49:21 Starting+examples/sat_encodings/translation/compilation
Mar 13 06:18:05 Finished+examples/sat_encodings/translation/compilation++++5323.39+25673016
Mar 13 06:18:05 Starting+translator/okasaki-examples
Mar 13 06:27:54 Finished+translator/okasaki-examples+++++++++++++++++++++++588.67+1844652
Mar 13 06:27:54 Starting+translator/other-examples
Mar 13 06:31:41 Finished+translator/other-examples+++++++++++++++++++++++++226.32+1322724
Mar 13 06:31:41 Starting+compiler/parsing/tests
Mar 13 06:32:48 Finished+compiler/parsing/tests++++++++++++++++++++++++++++66.88+607796
Mar 13 06:32:48 Starting+compiler/inference/tests
Mar 13 06:48:29 Finished+compiler/inference/tests++++++++++++++++++++++++++940.26+5572920
Mar 13 06:48:29 Starting+compiler/printing/test
Mar 13 06:55:48 Finished+compiler/printing/test++++++++++++++++++++++++++++439.10+3635144
Mar 13 06:55:48 Starting+compiler/repl
Mar 13 07:20:40 Finished+compiler/repl+++++++++++++++++++++++++++++++++++++1491.08+4519136
Mar 13 07:20:40 Starting+compiler/bootstrap/translation
Mar 13 15:54:29 Finished+compiler/bootstrap/translation++++++++++++++++++++30828.70+60945260
Mar 13 15:54:29 Starting+unverified/sexpr-bootstrap/x64/64
Mar 13 16:16:40 Finished+unverified/sexpr-bootstrap/x64/64+++++++++++++++++1329.62+11971532
Mar 13 16:16:40 Starting+unverified/sexpr-bootstrap/x64/32
Mar 13 16:35:05 Finished+unverified/sexpr-bootstrap/x64/32+++++++++++++++++1104.84+11970760
Mar 13 16:35:05 Starting+compiler/benchmarks
Mar 13 16:35:10 Finished+compiler/benchmarks+++++++++++++++++++++++++++++++4.60+67384
Mar 13 16:35:10 Starting+compiler/bootstrap/compilation/x64/64