Job 1830

CakeML:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff [Mar 17 04:55:12]
HOL:47ea62a9b6ccbdb7ee64099fef54c49f572a53be
  Handle both % and & (special characters to TeX) uniformly in EmitTeX [Mar 24 06:58:03]
Machine:oven3

Mar 25 11:28:26 Claimed job
Mar 25 11:28:36 Building+HOL
Mar 25 11:48:44 Starting+developers
Mar 25 11:48:52 Finished+developers++++++++++++++++++++++++++++++++++++++++7.82+159660
Mar 25 11:48:52 Starting+developers/bin
Mar 25 11:49:18 Finished+developers/bin++++++++++++++++++++++++++++++++++++25.67+1252016
Mar 25 11:49:18 Starting+semantics/ffi
Mar 25 11:49:43 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++24.53+243912
Mar 25 11:49:43 Starting+semantics
Mar 25 11:54:03 Finished+semantics+++++++++++++++++++++++++++++++++++++++++259.42+1086464
Mar 25 11:54:03 Starting+semantics/proofs
Mar 25 12:03:00 Finished+semantics/proofs++++++++++++++++++++++++++++++++++536.39+3448272
Mar 25 12:03:00 Starting+semantics/alt_semantics
Mar 25 12:03:38 Finished+semantics/alt_semantics+++++++++++++++++++++++++++38.26+482964
Mar 25 12:03:39 Starting+semantics/alt_semantics/proofs
Mar 25 12:08:54 Finished+semantics/alt_semantics/proofs++++++++++++++++++++315.36+1055260
Mar 25 12:08:54 Starting+basis/pure
Mar 25 12:15:24 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++389.80+937308
Mar 25 12:15:25 Starting+translator
Mar 25 12:21:41 Finished+translator++++++++++++++++++++++++++++++++++++++++376.20+1482356
Mar 25 12:21:41 Starting+compiler/parsing
Mar 25 12:24:26 Finished+compiler/parsing++++++++++++++++++++++++++++++++++164.28+1798556
Mar 25 12:24:26 Starting+characteristic
Mar 25 12:37:44 Finished+characteristic++++++++++++++++++++++++++++++++++++796.75+2153884
Mar 25 12:37:44 Starting+translator/monadic
Mar 25 12:41:50 Finished+translator/monadic++++++++++++++++++++++++++++++++246.19+1606476
Mar 25 12:41:51 Starting+basis
Mar 25 14:24:19 Finished+basis+++++++++++++++++++++++++++++++++++++++++++++6148.36+23240716
Mar 25 14:24:20 Starting+compiler/inference
Mar 25 14:27:29 Finished+compiler/inference++++++++++++++++++++++++++++++++189.04+1754880
Mar 25 14:27:29 Starting+compiler/backend/reg_alloc
Mar 25 14:30:41 Finished+compiler/backend/reg_alloc++++++++++++++++++++++++191.93+1798400
Mar 25 14:30:41 Starting+compiler/backend/gc
Mar 25 14:39:05 Finished+compiler/backend/gc+++++++++++++++++++++++++++++++502.88+2172856
Mar 25 14:39:05 Starting+compiler/backend
Mar 25 14:49:50 Finished+compiler/backend++++++++++++++++++++++++++++++++++644.96+2064256
Mar 25 14:49:50 Starting+compiler/encoders/asm
Mar 25 14:50:54 Finished+compiler/encoders/asm+++++++++++++++++++++++++++++64.23+776064
Mar 25 14:50:55 Starting+compiler/encoders/x64
Mar 25 14:53:26 Finished+compiler/encoders/x64+++++++++++++++++++++++++++++151.11+1087988
Mar 25 14:53:26 Starting+compiler/encoders/arm7
Mar 25 14:58:01 Finished+compiler/encoders/arm7++++++++++++++++++++++++++++274.21+1627812
Mar 25 14:58:01 Starting+compiler/encoders/arm8
Mar 25 14:59:35 Finished+compiler/encoders/arm8++++++++++++++++++++++++++++93.89+1104384
Mar 25 14:59:35 Starting+compiler/encoders/arm8_asl
Mar 25 19:05:46 Finished+compiler/encoders/arm8_asl++++++++++++++++++++++++14769.92+31024984
Mar 25 19:05:46 Starting+compiler/encoders/mips
Mar 25 19:09:08 Finished+compiler/encoders/mips++++++++++++++++++++++++++++202.11+1173416
Mar 25 19:09:08 Starting+compiler/encoders/riscv
Mar 25 19:13:09 Finished+compiler/encoders/riscv+++++++++++++++++++++++++++240.08+1204756
Mar 25 19:13:09 Starting+compiler/encoders/ag32
Mar 25 19:13:57 Finished+compiler/encoders/ag32++++++++++++++++++++++++++++48.28+982636
Mar 25 19:13:57 Starting+compiler/backend/x64
Mar 25 19:14:46 Finished+compiler/backend/x64++++++++++++++++++++++++++++++48.12+1386776
Mar 25 19:14:46 Starting+compiler/backend/arm7
Mar 25 19:15:33 Finished+compiler/backend/arm7+++++++++++++++++++++++++++++46.42+1342640
Mar 25 19:15:33 Starting+compiler/backend/arm8
Mar 25 19:16:25 Finished+compiler/backend/arm8+++++++++++++++++++++++++++++51.51+1409624
Mar 25 19:16:25 Starting+compiler/backend/mips
Mar 25 19:17:12 Finished+compiler/backend/mips+++++++++++++++++++++++++++++47.03+1634004
Mar 25 19:17:12 Starting+compiler/backend/riscv
Mar 25 19:18:03 Finished+compiler/backend/riscv++++++++++++++++++++++++++++50.93+1553428
Mar 25 19:18:04 Starting+compiler/backend/ag32
Mar 25 19:21:06 Finished+compiler/backend/ag32+++++++++++++++++++++++++++++182.49+1474512
Mar 25 19:21:06 Starting+compiler/parsing/proofs
Mar 25 19:29:38 Finished+compiler/parsing/proofs+++++++++++++++++++++++++++511.17+1105224
Mar 25 19:29:38 Starting+compiler/inference/proofs
Mar 25 19:35:16 Finished+compiler/inference/proofs+++++++++++++++++++++++++337.70+885280
Mar 25 19:35:16 Starting+compiler/backend/semantics
Mar 25 20:37:19 Finished+compiler/backend/semantics++++++++++++++++++++++++3722.20+2767856
Mar 25 20:37:19 Starting+compiler/backend/reg_alloc/proofs
Mar 25 20:45:03 Finished+compiler/backend/reg_alloc/proofs+++++++++++++++++463.83+1077436
Mar 25 20:45:03 Starting+compiler/backend/proofs
Mar 25 22:24:39 Finished+compiler/backend/proofs+++++++++++++++++++++++++++5975.41+13921540
Mar 25 22:24:39 Starting+compiler/backend/serialiser
Mar 25 22:28:00 Finished+compiler/backend/serialiser+++++++++++++++++++++++200.85+2325492
Mar 25 22:28:00 Starting+compiler/encoders/x64/proofs
Mar 25 22:49:26 Finished+compiler/encoders/x64/proofs++++++++++++++++++++++1285.03+5425108
Mar 25 22:49:26 Starting+compiler/encoders/arm7/proofs
Mar 25 23:19:12 Finished+compiler/encoders/arm7/proofs+++++++++++++++++++++1786.41+3963756
Mar 25 23:19:13 Starting+compiler/encoders/arm8/proofs
Mar 25 23:34:26 Finished+compiler/encoders/arm8/proofs+++++++++++++++++++++913.15+1383852
Mar 25 23:34:26 Starting+compiler/encoders/arm8_asl/proofs
Mar 26 01:25:31 Finished+compiler/encoders/arm8_asl/proofs+++++++++++++++++6664.03+6455348
Mar 26 01:25:31 Starting+compiler/encoders/mips/proofs
Mar 26 01:48:20 Finished+compiler/encoders/mips/proofs+++++++++++++++++++++1369.31+2615024
Mar 26 01:48:21 Starting+compiler/encoders/riscv/proofs
Mar 26 02:08:41 Finished+compiler/encoders/riscv/proofs++++++++++++++++++++1219.71+1329464
Mar 26 02:08:41 Starting+compiler/encoders/ag32/proofs
Mar 26 02:14:26 Finished+compiler/encoders/ag32/proofs+++++++++++++++++++++345.46+838560
Mar 26 02:14:27 Starting+compiler/backend/x64/proofs
Mar 26 02:15:29 Finished+compiler/backend/x64/proofs+++++++++++++++++++++++61.85+1676640
Mar 26 02:15:29 Starting+compiler/backend/arm7/proofs
Mar 26 02:16:26 Finished+compiler/backend/arm7/proofs++++++++++++++++++++++57.12+1233920
Mar 26 02:16:26 Starting+compiler/backend/arm8/proofs
Mar 26 02:17:28 Finished+compiler/backend/arm8/proofs++++++++++++++++++++++61.60+1759760
Mar 26 02:17:28 Starting+compiler/backend/arm8_asl
Mar 26 02:18:20 Finished+compiler/backend/arm8_asl+++++++++++++++++++++++++51.54+1815208
Mar 26 02:18:20 Starting+compiler/backend/mips/proofs
Mar 26 02:19:21 Finished+compiler/backend/mips/proofs++++++++++++++++++++++60.97+1265232
Mar 26 02:19:22 Starting+compiler/backend/riscv/proofs
Mar 26 02:20:22 Finished+compiler/backend/riscv/proofs+++++++++++++++++++++60.22+1515824
Mar 26 02:20:22 Starting+compiler/backend/ag32/proofs
Mar 26 02:48:23 Finished+compiler/backend/ag32/proofs++++++++++++++++++++++1680.29+2747300
Mar 26 02:48:23 Starting+compiler/proofs
Mar 26 02:53:30 Finished+compiler/proofs+++++++++++++++++++++++++++++++++++306.57+4649952
Mar 26 02:53:30 Starting+candle/set-theory
Mar 26 02:54:42 Finished+candle/set-theory+++++++++++++++++++++++++++++++++71.54+919416
Mar 26 02:54:42 Starting+candle/syntax-lib
Mar 26 02:55:11 Finished+candle/syntax-lib+++++++++++++++++++++++++++++++++28.76+656684
Mar 26 02:55:11 Starting+candle/standard/syntax
Mar 26 02:59:31 Finished+candle/standard/syntax++++++++++++++++++++++++++++259.61+1070296
Mar 26 02:59:31 Starting+candle/standard/semantics
Mar 26 03:03:32 Finished+candle/standard/semantics+++++++++++++++++++++++++240.68+1447912
Mar 26 03:03:32 Starting+candle/standard/monadic
Mar 26 03:07:29 Finished+candle/standard/monadic+++++++++++++++++++++++++++236.34+1898076
Mar 26 03:07:29 Starting+candle/standard/ml_kernel
Mar 26 03:20:20 Finished+candle/standard/ml_kernel+++++++++++++++++++++++++770.21+3321360
Mar 26 03:20:20 Starting+candle/overloading/syntax
Mar 26 03:27:16 Finished+candle/overloading/syntax+++++++++++++++++++++++++416.37+1566308
Mar 26 03:27:17 Starting+candle/overloading/semantics
Mar 26 03:53:50 Finished+candle/overloading/semantics++++++++++++++++++++++1592.70+2807796
Mar 26 03:53:50 Starting+candle/overloading/monadic
Mar 26 03:59:23 Finished+candle/overloading/monadic++++++++++++++++++++++++332.72+1872752
Mar 26 03:59:23 Starting+candle/overloading/ml_kernel
Mar 26 04:14:27 Finished+candle/overloading/ml_kernel++++++++++++++++++++++904.09+3194440
Mar 26 04:14:28 Starting+candle/overloading/ml_checker
Mar 26 04:19:46 Finished+candle/overloading/ml_checker+++++++++++++++++++++318.34+3379716
Mar 26 04:19:46 Starting+candle/prover
Mar 26 04:37:31 Finished+candle/prover+++++++++++++++++++++++++++++++++++++1064.62+2438876
Mar 26 04:37:31 Starting+pancake
Mar 26 04:45:03 Finished+pancake+++++++++++++++++++++++++++++++++++++++++++451.48+4287848
Mar 26 04:45:03 Starting+pancake/ffi
Mar 26 04:45:04 Finished+pancake/ffi+++++++++++++++++++++++++++++++++++++++0.78+29560
Mar 26 04:45:04 Starting+pancake/semantics
Mar 26 04:50:23 Finished+pancake/semantics+++++++++++++++++++++++++++++++++318.86+1101688
Mar 26 04:50:24 Starting+pancake/proofs
Mar 26 05:16:26 Finished+pancake/proofs++++++++++++++++++++++++++++++++++++1561.63+5854520
Mar 26 05:16:27 Starting+characteristic/examples
Mar 26 05:19:18 Finished+characteristic/examples+++++++++++++++++++++++++++171.60+3496196
Mar 26 05:19:19 Starting+tutorial/solutions
Mar 26 05:56:02 Finished+tutorial/solutions++++++++++++++++++++++++++++++++2202.83+10085108
Mar 26 05:56:02 Starting+translator/monadic/examples
Mar 26 06:03:04 Finished+translator/monadic/examples+++++++++++++++++++++++422.14+2711460
Mar 26 06:03:04 Starting+examples
Mar 26 06:21:30 Finished+examples++++++++++++++++++++++++++++++++++++++++++1104.83+3512312
Mar 26 06:21:30 Starting+examples/compilation/x64
Mar 26 11:54:52 Finished+examples/compilation/x64++++++++++++++++++++++++++20001.10+18116452
Mar 26 11:54:52 Starting+examples/compilation/x64/proofs
Mar 26 11:59:03 Finished+examples/compilation/x64/proofs+++++++++++++++++++251.07+3168724
Mar 26 11:59:04 Starting+examples/compilation/ag32
Mar 26 13:17:38 Finished+examples/compilation/ag32+++++++++++++++++++++++++4713.79+9930088
Mar 26 13:17:38 Starting+examples/compilation/ag32/proofs
Mar 26 13:19:30 Finished+examples/compilation/ag32/proofs++++++++++++++++++112.39+2594788
Mar 26 13:19:31 Starting+examples/cost
Mar 26 15:17:28 Finished+examples/cost+++++++++++++++++++++++++++++++++++++7076.17+8945384
Mar 26 15:17:28 Starting+examples/lpr_checker
Mar 26 15:19:44 Finished+examples/lpr_checker++++++++++++++++++++++++++++++135.73+1206324
Mar 26 15:19:44 Starting+examples/lpr_checker/array
Mar 26 16:24:06 Finished+examples/lpr_checker/array++++++++++++++++++++++++3861.36+6199080
Mar 26 16:24:06 Starting+examples/lpr_checker/array/compilation
Mar 26 19:25:34 Finished+examples/lpr_checker/array/compilation++++++++++++10886.98+36869144
Mar 26 19:25:34 Starting+examples/lpr_checker/array/compilation/proofs
Mar 26 19:28:28 Finished+examples/lpr_checker/array/compilation/proofs+++++174.35+6823884
Mar 26 19:28:29 Starting+examples/opentheory
Mar 26 19:50:16 Finished+examples/opentheory+++++++++++++++++++++++++++++++1307.04+4664040
Mar 26 19:50:16 Starting+examples/opentheory
Mar 26 19:50:19 Finished+examples/opentheory+++++++++++++++++++++++++++++++2.85+33188
Mar 26 19:50:19 Starting+examples/opentheory/compilation
Mar 26 21:24:27 Finished+examples/opentheory/compilation+++++++++++++++++++5646.57+40807424
Mar 26 21:24:27 Starting+examples/opentheory/compilation/proofs
Mar 26 21:26:19 Finished+examples/opentheory/compilation/proofs++++++++++++111.36+4555136
Mar 26 21:26:19 Starting+examples/opentheory/compilation/ag32
Mar 26 22:54:15 Finished+examples/opentheory/compilation/ag32++++++++++++++5275.88+37171180
Mar 26 22:54:16 Starting+examples/opentheory/compilation/ag32/proofs
Mar 26 22:58:40 Finished+examples/opentheory/compilation/ag32/proofs+++++++264.73+6416748
Mar 26 22:58:41 Starting+examples/sat_encodings
Mar 26 23:03:06 Finished+examples/sat_encodings++++++++++++++++++++++++++++265.33+996516
Mar 26 23:03:06 Starting+examples/sat_encodings/case_studies
Mar 26 23:06:45 Finished+examples/sat_encodings/case_studies+++++++++++++++218.13+945844
Mar 26 23:06:45 Starting+examples/sat_encodings/translation
Mar 26 23:18:29 Finished+examples/sat_encodings/translation++++++++++++++++704.28+3763104
Mar 26 23:18:30 Starting+examples/sat_encodings/translation/compilation
Mar 27 00:48:15 Finished+examples/sat_encodings/translation/compilation++++5385.33+27945744
Mar 27 00:48:16 Starting+translator/okasaki-examples
Mar 27 00:57:56 Finished+translator/okasaki-examples+++++++++++++++++++++++579.83+2043384
Mar 27 00:57:56 Starting+translator/other-examples
Mar 27 01:01:45 Finished+translator/other-examples+++++++++++++++++++++++++228.77+1312544
Mar 27 01:01:45 Starting+compiler/parsing/tests
Mar 27 01:02:53 Finished+compiler/parsing/tests++++++++++++++++++++++++++++67.73+585252
Mar 27 01:02:53 Starting+compiler/inference/tests
Mar 27 01:18:22 Finished+compiler/inference/tests++++++++++++++++++++++++++928.37+5901656
Mar 27 01:18:22 Starting+compiler/printing/test
Mar 27 01:25:40 Finished+compiler/printing/test++++++++++++++++++++++++++++438.31+3648460
Mar 27 01:25:41 Starting+compiler/repl
Mar 27 01:50:43 Finished+compiler/repl+++++++++++++++++++++++++++++++++++++1501.93+4728244
Mar 27 01:50:43 Starting+compiler/bootstrap/translation
Mar 27 10:36:52 Finished+compiler/bootstrap/translation++++++++++++++++++++31568.39+66833936
Mar 27 10:36:52 Starting+unverified/sexpr-bootstrap/x64/64
Mar 27 11:01:22 Finished+unverified/sexpr-bootstrap/x64/64+++++++++++++++++1468.67+8413964
Mar 27 11:01:22 Starting+unverified/sexpr-bootstrap/x64/32
Mar 27 11:19:40 Finished+unverified/sexpr-bootstrap/x64/32+++++++++++++++++1097.29+11202232
Mar 27 11:19:40 Starting+compiler/benchmarks
Mar 27 11:19:46 Finished+compiler/benchmarks+++++++++++++++++++++++++++++++5.25+43588
Mar 27 11:19:46 Starting+compiler/bootstrap/compilation/x64/64
Mar 29 00:49:07 Finished+compiler/bootstrap/compilation/x64/64+++++++++++++134959.61+82371252
Mar 29 00:49:07 Starting+compiler/bootstrap/compilation/x64/64/proofs
Mar 29 01:30:29 Finished+compiler/bootstrap/compilation/x64/64/proofs++++++2482.38+46852308
Mar 29 01:30:30 Starting+compiler/bootstrap/compilation/x64/32
Mar 30 05:11:39 Finished+compiler/bootstrap/compilation/x64/32+++++++++++++99668.11+109371536
Mar 30 05:11:39 Starting+compiler/bootstrap/compilation/x64/32/proofs
Mar 30 05:18:04 Finished+compiler/bootstrap/compilation/x64/32/proofs++++++384.71+21575252
Mar 30 05:18:04 Starting+compiler/bootstrap/compilation/ag32/32
Mar 31 12:47:05 Finished+compiler/bootstrap/compilation/ag32/32++++++++++++113339.27+110653820
Mar 31 12:47:05 Starting+compiler/bootstrap/compilation/ag32/32/proofs
Mar 31 13:11:40 Finished+compiler/bootstrap/compilation/ag32/32/proofs+++++1474.33+58742640
Mar 31 13:11:40 SUCCESS