Job 3056

CakeML:dc302610f4baeae2908fa1533bd812edf7569f58
  Fix sexp related breakage [Nov 22 21:59:11]
#1270 (new-prims)
Merging into:3194e00b69ce817cf477515ac309fe832eee2817
  remove missed cheats in Word8/64Prog [Nov 21 10:22:46]
HOL:a32193172d5be16ab7ea6f0d938f778e8ffc8249
  Variance of normal random variables [Nov 13 21:40:28]
Machine:lammmington

Nov 22 22:09:39 Claimed job
Nov 22 22:09:42 Reusing HOL
Nov 22 22:09:49 Starting developers
Nov 22 22:09:54 Finished developers                                               4s 208MB
Nov 22 22:09:55 Starting developers/bin
Nov 22 22:09:59 Finished developers/bin                                           2s  90MB
Nov 22 22:10:00 Starting misc
Nov 22 22:10:37 Finished misc                                                    36s   1GB
Nov 22 22:10:38 Starting compiler/proofs
Nov 22 23:09:41 Finished compiler/proofs                                      59m02s  10GB
Nov 22 23:09:41 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 23 04:53:44 Finished compiler/bootstrap/compilation/x64/64/proofs       5h44m00s 106GB
Nov 23 04:53:45 Starting semantics/ffi
Nov 23 04:53:54 Finished semantics/ffi                                            8s 522MB
Nov 23 04:53:55 Starting semantics
Nov 23 04:53:56 Finished semantics                                                0s  62MB
Nov 23 04:53:57 Starting semantics/proofs
Nov 23 04:54:18 Finished semantics/proofs                                        20s 732MB
Nov 23 04:54:19 Starting semantics/alt_semantics
Nov 23 04:54:36 Finished semantics/alt_semantics                                 16s 715MB
Nov 23 04:54:37 Starting semantics/alt_semantics/proofs
Nov 23 04:58:30 Finished semantics/alt_semantics/proofs                        3m52s   2GB
Nov 23 04:58:31 Starting basis/pure
Nov 23 04:58:33 Finished basis/pure                                               0s  95MB
Nov 23 04:58:34 Starting translator
Nov 23 04:59:39 Finished translator                                            1m05s   3GB
Nov 23 04:59:40 Starting compiler/parsing
Nov 23 04:59:42 Finished compiler/parsing                                         0s  69MB
Nov 23 04:59:43 Starting characteristic
Nov 23 04:59:45 Finished characteristic                                           1s 109MB
Nov 23 04:59:45 Starting translator/monadic
Nov 23 04:59:47 Finished translator/monadic                                       1s 117MB
Nov 23 04:59:48 Starting translator/monadic/monad_base
Nov 23 04:59:50 Finished translator/monadic/monad_base                            0s  63MB
Nov 23 04:59:50 Starting profiler
Nov 23 05:00:13 Finished profiler                                                21s   1GB
Nov 23 05:00:14 Starting basis
Nov 23 05:01:35 Finished basis                                                 1m20s   3GB
Nov 23 05:01:36 Starting compiler
Nov 23 05:01:39 Finished compiler                                                 2s 219MB
Nov 23 05:01:39 Starting compiler/inference
Nov 23 05:01:41 Finished compiler/inference                                       1s 110MB
Nov 23 05:01:42 Starting compiler/backend/reg_alloc
Nov 23 05:01:44 Finished compiler/backend/reg_alloc                               0s  91MB
Nov 23 05:01:45 Starting compiler/backend/gc
Nov 23 05:01:47 Finished compiler/backend/gc                                      1s 145MB
Nov 23 05:01:48 Starting compiler/backend
Nov 23 05:01:53 Finished compiler/backend                                         4s 256MB
Nov 23 05:01:54 Starting compiler/encoders/asm
Nov 23 05:01:55 Finished compiler/encoders/asm                                    0s  86MB
Nov 23 05:01:56 Starting compiler/encoders/x64
Nov 23 05:01:58 Finished compiler/encoders/x64                                    0s  95MB
Nov 23 05:01:59 Starting compiler/encoders/arm7
Nov 23 05:02:00 Finished compiler/encoders/arm7                                   0s  94MB
Nov 23 05:02:01 Starting compiler/encoders/arm8
Nov 23 05:02:03 Finished compiler/encoders/arm8                                   0s  92MB
Nov 23 05:02:04 Starting compiler/encoders/arm8_asl
Nov 23 05:02:16 Finished compiler/encoders/arm8_asl                              11s   1GB
Nov 23 05:02:17 Starting compiler/encoders/mips
Nov 23 05:02:19 Finished compiler/encoders/mips                                   0s  90MB
Nov 23 05:02:19 Starting compiler/encoders/riscv
Nov 23 05:02:21 Finished compiler/encoders/riscv                                  0s  90MB
Nov 23 05:02:22 Starting compiler/encoders/ag32
Nov 23 05:02:24 Finished compiler/encoders/ag32                                   0s  93MB
Nov 23 05:02:24 Starting compiler/encoders/tests
Nov 23 05:02:26 Finished compiler/encoders/tests                                  1s 106MB
Nov 23 05:02:27 Starting compiler/encoders/monadic_enc
Nov 23 05:02:48 Finished compiler/encoders/monadic_enc                           19s   1GB
Nov 23 05:02:49 Starting compiler/backend/x64
Nov 23 05:02:51 Finished compiler/backend/x64                                     1s 143MB
Nov 23 05:02:52 Starting compiler/backend/arm7
Nov 23 05:02:54 Finished compiler/backend/arm7                                    1s 140MB
Nov 23 05:02:55 Starting compiler/backend/arm8
Nov 23 05:02:57 Finished compiler/backend/arm8                                    1s 139MB
Nov 23 05:02:58 Starting compiler/backend/mips
Nov 23 05:03:00 Finished compiler/backend/mips                                    1s 144MB
Nov 23 05:03:01 Starting compiler/backend/riscv
Nov 23 05:03:03 Finished compiler/backend/riscv                                   1s 139MB
Nov 23 05:03:04 Starting compiler/backend/ag32
Nov 23 05:04:00 Finished compiler/backend/ag32                                   55s   1GB
Nov 23 05:04:01 Starting compiler/backend/pattern_matching
Nov 23 05:04:02 Finished compiler/backend/pattern_matching                        0s  64MB
Nov 23 05:04:03 Starting compiler/parsing/ocaml
Nov 23 05:05:45 Finished compiler/parsing/ocaml                                1m41s   1GB
Nov 23 05:05:46 Starting compiler/printing
Nov 23 05:05:48 Finished compiler/printing                                        1s 112MB
Nov 23 05:05:49 Starting compiler/parsing/proofs
Nov 23 05:05:51 Finished compiler/parsing/proofs                                  0s  70MB
Nov 23 05:05:51 Starting compiler/inference/proofs
Nov 23 05:05:53 Finished compiler/inference/proofs                                1s 110MB
Nov 23 05:05:54 Starting compiler/backend/semantics
Nov 23 05:08:15 Finished compiler/backend/semantics                            2m19s   2GB
Nov 23 05:08:16 Starting compiler/backend/reg_alloc/proofs
Nov 23 05:08:18 Finished compiler/backend/reg_alloc/proofs                        1s 124MB
Nov 23 05:08:18 Starting compiler/backend/proofs
Nov 23 05:09:00 Finished compiler/backend/proofs                                 40s   3GB
Nov 23 05:09:01 Starting compiler/backend/serialiser
Nov 23 05:09:03 Finished compiler/backend/serialiser                              1s 144MB
Nov 23 05:09:04 Starting compiler/encoders/x64/proofs
Nov 23 05:09:06 Finished compiler/encoders/x64/proofs                             0s  98MB
Nov 23 05:09:07 Starting compiler/encoders/arm7/proofs
Nov 23 05:19:43 Finished compiler/encoders/arm7/proofs                        10m35s  10GB
Nov 23 05:19:44 Starting compiler/encoders/arm8/proofs
Nov 23 05:26:14 Finished compiler/encoders/arm8/proofs                         6m28s   4GB
Nov 23 05:26:15 Starting compiler/encoders/arm8_asl/proofs
Nov 23 05:40:39 Finished compiler/encoders/arm8_asl/proofs                    14m23s   3GB
Nov 23 05:40:40 Starting compiler/encoders/mips/proofs
Nov 23 05:49:10 Finished compiler/encoders/mips/proofs                         8m28s   9GB
Nov 23 05:49:10 Starting compiler/encoders/riscv/proofs
Nov 23 05:56:49 Finished compiler/encoders/riscv/proofs                        7m38s   4GB
Nov 23 05:56:50 Starting compiler/encoders/ag32/proofs
Nov 23 05:59:24 Finished compiler/encoders/ag32/proofs                         2m32s   1GB
Nov 23 05:59:25 Starting compiler/backend/x64/proofs
Nov 23 05:59:27 Finished compiler/backend/x64/proofs                              2s 206MB
Nov 23 05:59:28 Starting compiler/backend/arm7/proofs
Nov 23 06:00:02 Finished compiler/backend/arm7/proofs                            32s   2GB
Nov 23 06:00:03 Starting compiler/backend/arm8/proofs
Nov 23 06:00:36 Finished compiler/backend/arm8/proofs                            32s   2GB
Nov 23 06:00:37 Starting compiler/backend/arm8_asl
Nov 23 06:00:59 Finished compiler/backend/arm8_asl                               21s   2GB
Nov 23 06:01:00 Starting compiler/backend/mips/proofs
Nov 23 06:01:33 Finished compiler/backend/mips/proofs                            31s   2GB
Nov 23 06:01:33 Starting compiler/backend/riscv/proofs
Nov 23 06:02:07 Finished compiler/backend/riscv/proofs                           32s   2GB
Nov 23 06:02:08 Starting compiler/backend/ag32/proofs
Nov 23 06:12:46 Finished compiler/backend/ag32/proofs                         10m36s   5GB
Nov 23 06:12:47 Starting compiler/backend/cv_compute
Nov 23 06:13:10 Finished compiler/backend/cv_compute                             22s   2GB
Nov 23 06:13:11 Starting cv_translator
Nov 23 06:18:04 Finished cv_translator                                         4m51s   4GB
Nov 23 06:18:05 Starting candle
Nov 23 06:18:05 Finished candle                                                   0s  14MB
Nov 23 06:18:06 Starting candle/set-theory
Nov 23 06:18:32 Finished candle/set-theory                                       24s 923MB
Nov 23 06:18:33 Starting candle/syntax-lib
Nov 23 06:18:34 Finished candle/syntax-lib                                        0s  89MB
Nov 23 06:18:35 Starting candle/standard
Nov 23 06:18:36 Finished candle/standard                                          0s  15MB
Nov 23 06:18:37 Starting candle/standard/syntax
Nov 23 06:18:49 Finished candle/standard/syntax                                  11s 767MB
Nov 23 06:18:50 Starting candle/standard/semantics
Nov 23 06:20:41 Finished candle/standard/semantics                             1m50s   1GB
Nov 23 06:20:42 Starting candle/standard/monadic
Nov 23 06:20:44 Finished candle/standard/monadic                                  1s 116MB
Nov 23 06:20:45 Starting candle/standard/ml_kernel
Nov 23 06:22:23 Finished candle/standard/ml_kernel                             1m37s   4GB
Nov 23 06:22:24 Starting candle/standard/ml_kernel/lisp
Nov 23 06:22:25 Finished candle/standard/ml_kernel/lisp                           0s  56MB
Nov 23 06:22:26 Starting candle/overloading
Nov 23 06:22:27 Finished candle/overloading                                       0s  14MB
Nov 23 06:22:28 Starting candle/overloading/syntax
Nov 23 06:25:13 Finished candle/overloading/syntax                             2m44s   1GB
Nov 23 06:25:14 Starting candle/overloading/semantics
Nov 23 06:35:10 Finished candle/overloading/semantics                          9m54s  10GB
Nov 23 06:35:10 Starting candle/overloading/monadic
Nov 23 06:37:10 Finished candle/overloading/monadic                            1m58s   1GB
Nov 23 06:37:11 Starting candle/overloading/ml_kernel
Nov 23 06:43:09 Finished candle/overloading/ml_kernel                          5m56s   6GB
Nov 23 06:43:10 Starting candle/overloading/ml_checker
Nov 23 06:45:15 Finished candle/overloading/ml_checker                         2m04s   6GB
Nov 23 06:45:16 Starting candle/prover
Nov 23 06:45:19 Finished candle/prover                                            1s 161MB
Nov 23 06:45:20 Starting candle/prover/compute
Nov 23 06:45:22 Finished candle/prover/compute                                    1s 144MB
Nov 23 06:45:23 Starting pancake
Nov 23 06:45:25 Finished pancake                                                  1s 138MB
Nov 23 06:45:26 Starting pancake/semantics
Nov 23 06:47:55 Finished pancake/semantics                                     2m27s   2GB
Nov 23 06:47:55 Starting pancake/parser
Nov 23 06:48:24 Finished pancake/parser                                          27s 491MB
Nov 23 06:48:25 Starting pancake/static_checker
Nov 23 06:49:27 Finished pancake/static_checker                                1m01s   1GB
Nov 23 06:49:27 Starting pancake/proofs
Nov 23 07:03:00 Finished pancake/proofs                                       13m31s   4GB
Nov 23 07:03:01 Starting compiler/dafny
Nov 23 07:03:25 Finished compiler/dafny                                          23s 704MB
Nov 23 07:03:26 Starting compiler/dafny/translation
Nov 23 07:12:07 Finished compiler/dafny/translation                            8m40s   4GB
Nov 23 07:12:08 Starting compiler/dafny/compilation
Nov 23 07:13:49 Finished compiler/dafny/compilation                            1m39s   5GB
Nov 23 07:13:50 Starting compiler/dafny/semantics
Nov 23 07:14:21 Finished compiler/dafny/semantics                                30s 551MB
Nov 23 07:14:22 Starting compiler/dafny/proofs
Nov 23 07:15:37 Finished compiler/dafny/proofs                                 1m15s   1GB
Nov 23 07:15:38 Starting compiler/dafny/vcg
Nov 23 07:16:45 Finished compiler/dafny/vcg                                    1m05s   1GB
Nov 23 07:16:45 Starting compiler/scheme
Nov 23 07:17:11 Finished compiler/scheme                                         24s   1GB
Nov 23 07:17:11 Starting compiler/scheme/translation
Nov 23 07:23:44 Finished compiler/scheme/translation                           6m31s   6GB
Nov 23 07:23:44 Starting compiler/scheme/compilation
Nov 23 07:24:57 Finished compiler/scheme/compilation                           1m11s   4GB
Nov 23 07:24:58 Starting compiler/scheme/proofs
Nov 23 07:38:59 Finished compiler/scheme/proofs                               14m00s  43GB
Nov 23 07:39:00 Starting characteristic/examples
Nov 23 07:40:19 Finished characteristic/examples                               1m17s   4GB
Nov 23 07:40:20 Starting tutorial/solutions
Nov 23 07:42:37 Finished tutorial/solutions                                    2m17s   3GB
Nov 23 07:42:38 Starting translator/monadic/examples
Nov 23 07:45:21 Finished translator/monadic/examples                           2m41s   3GB
Nov 23 07:45:21 Starting examples
Nov 23 07:49:49 Finished examples                                              4m26s   5GB
Nov 23 07:49:50 Starting examples/compilation
Nov 23 07:49:51 Finished examples/compilation                                     0s  15MB
Nov 23 07:49:51 Starting examples/compilation/x64
Nov 23 07:56:37 Finished examples/compilation/x64                              6m45s   4GB
Nov 23 07:56:38 Starting examples/compilation/x64/proofs
Nov 23 07:59:10 Finished examples/compilation/x64/proofs                       2m30s   4GB
Nov 23 07:59:10 Starting examples/compilation/ag32
Nov 23 08:01:02 Finished examples/compilation/ag32                             1m50s   3GB
Nov 23 08:01:03 Starting examples/compilation/ag32/proofs
Nov 23 08:02:05 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Nov 23 08:02:05 Starting examples/lpr_checker
Nov 23 08:02:37 Finished examples/lpr_checker                                    30s   1GB
Nov 23 08:02:37 Starting examples/lpr_checker/array
Nov 23 08:14:58 Finished examples/lpr_checker/array                           12m18s   8GB
Nov 23 08:14:58 Starting examples/lpr_checker/array/compilation
Nov 23 08:17:12 Finished examples/lpr_checker/array/compilation                2m12s   6GB
Nov 23 08:17:12 Starting examples/lpr_checker/array/compilation/proofs
Nov 23 08:18:23 Finished examples/lpr_checker/array/compilation/proofs         1m09s   6GB
Nov 23 08:18:24 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 23 08:19:32 Finished examples/lpr_checker/array/compilation/proofsARM8     1m07s   6GB
Nov 23 08:19:33 Starting .
Nov 23 08:19:37 Finished .                                                        3s 327MB
Nov 23 08:19:38 Starting examples/xlrup_checker
Nov 23 08:20:23 Finished examples/xlrup_checker                                  44s   1GB
Nov 23 08:20:24 Starting examples/xlrup_checker/array
Nov 23 08:29:49 Finished examples/xlrup_checker/array                          9m24s   4GB
Nov 23 08:29:50 Starting examples/xlrup_checker/array/compilation
Nov 23 08:30:58 Finished examples/xlrup_checker/array/compilation              1m07s   4GB
Nov 23 08:30:59 Starting examples/xlrup_checker/array/compilation/proofs
Nov 23 08:32:02 Finished examples/xlrup_checker/array/compilation/proofs       1m01s   4GB
Nov 23 08:32:03 Starting examples/scpog_checker
Nov 23 08:32:43 Finished examples/scpog_checker                                  39s   1GB
Nov 23 08:32:44 Starting examples/scpog_checker/array
Nov 23 08:38:23 Finished examples/scpog_checker/array                          5m36s   3GB
Nov 23 08:38:23 Starting examples/scpog_checker/array/compilation
Nov 23 08:40:16 Finished examples/scpog_checker/array/compilation              1m51s   7GB
Nov 23 08:40:17 Starting examples/scpog_checker/array/compilation/proofs
Nov 23 08:41:27 Finished examples/scpog_checker/array/compilation/proofs       1m09s   6GB
Nov 23 08:41:28 Starting examples/pseudo_bool
Nov 23 08:43:13 Finished examples/pseudo_bool                                  1m44s   1GB
Nov 23 08:43:14 Starting examples/pseudo_bool/cnf_encoding
Nov 23 08:43:42 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Nov 23 08:43:43 Starting examples/pseudo_bool/graph_encoding
Nov 23 08:44:20 Finished examples/pseudo_bool/graph_encoding                     36s   1GB
Nov 23 08:44:21 Starting examples/pseudo_bool/array
Nov 23 09:19:32 Finished examples/pseudo_bool/array                           35m09s  23GB
Nov 23 09:19:33 Starting examples/pseudo_bool/array/compilation
Nov 23 09:29:22 Finished examples/pseudo_bool/array/compilation                9m47s  17GB
Nov 23 09:29:23 Starting examples/pseudo_bool/array/compilation/proofs
Nov 23 09:31:59 Finished examples/pseudo_bool/array/compilation/proofs         2m35s   7GB
Nov 23 09:32:00 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 23 09:33:14 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m12s   7GB
Nov 23 09:33:14 Starting examples/opentheory
Nov 23 09:40:04 Finished examples/opentheory                                   6m49s   5GB
Nov 23 09:40:05 Starting examples/opentheory/compilation
Nov 23 09:41:32 Finished examples/opentheory/compilation                       1m25s   5GB
Nov 23 09:41:33 Starting examples/opentheory/compilation/proofs
Nov 23 09:42:35 Finished examples/opentheory/compilation/proofs                1m01s   4GB
Nov 23 09:42:36 Starting examples/opentheory/compilation/ag32
Nov 23 09:44:06 Finished examples/opentheory/compilation/ag32                  1m29s   6GB
Nov 23 09:44:06 Starting examples/opentheory/compilation/ag32/proofs
Nov 23 09:45:33 Finished examples/opentheory/compilation/ag32/proofs           1m25s   7GB
Nov 23 09:45:34 Starting examples/sat_encodings
Nov 23 09:46:32 Finished examples/sat_encodings                                  57s 785MB
Nov 23 09:46:33 Starting examples/sat_encodings/demo
Nov 23 09:46:34 Finished examples/sat_encodings/demo                              0s  15MB
Nov 23 09:46:35 Starting examples/sat_encodings/case_studies
Nov 23 09:48:09 Finished examples/sat_encodings/case_studies                   1m33s   1GB
Nov 23 09:48:10 Starting examples/sat_encodings/translation
Nov 23 09:51:20 Finished examples/sat_encodings/translation                    3m08s   3GB
Nov 23 09:51:21 Starting examples/sat_encodings/translation/compilation
Nov 23 09:53:09 Finished examples/sat_encodings/translation/compilation        1m47s   4GB
Nov 23 09:53:10 Starting examples/deflate
Nov 23 09:53:28 Finished examples/deflate                                        17s 463MB
Nov 23 09:53:29 Starting examples/deflate/translation
Nov 23 09:54:21 Finished examples/deflate/translation                            51s   2GB
Nov 23 09:54:22 Starting examples/deflate/translation/compilation
Nov 23 09:55:12 Finished examples/deflate/translation/compilation                49s   3GB
Nov 23 09:55:13 Starting examples/vipr
Nov 23 09:58:07 Finished examples/vipr                                         2m53s   4GB
Nov 23 09:58:08 Starting examples/vipr/compilation
Nov 23 09:59:02 Finished examples/vipr/compilation                               52s   3GB
Nov 23 09:59:02 Starting translator/okasaki-examples
Nov 23 10:02:07 Finished translator/okasaki-examples                           3m03s   3GB
Nov 23 10:02:08 Starting translator/other-examples
Nov 23 10:02:56 Finished translator/other-examples                               47s   2GB
Nov 23 10:02:57 Starting translator/other-examples/auxiliary
Nov 23 10:02:58 Finished translator/other-examples/auxiliary                      0s  20MB
Nov 23 10:02:59 Starting compiler/parsing/tests
Nov 23 10:03:32 Finished compiler/parsing/tests                                  32s   1GB
Nov 23 10:03:33 Starting compiler/inference/tests
Nov 23 10:04:09 Finished compiler/inference/tests                                34s   2GB
Nov 23 10:04:10 Starting compiler/printing/test
Nov 23 10:05:19 Finished compiler/printing/test                                1m08s   5GB
Nov 23 10:05:19 Starting compiler/repl
Nov 23 10:05:23 Finished compiler/repl                                            2s 260MB
Nov 23 10:05:24 Starting unverified/sexpr-bootstrap/x64/64
Nov 23 10:08:37 FAILED: unverified/sexpr-bootstrap/x64/64
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(HOLDIR)/src/integer
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/algebra/base
Scanning $(HOLDIR)/src/algebra/construction
Scanning $(HOLDIR)/src/algebra
Scanning $(HOLDIR)/src/hol88
Scanning $(HOLDIR)/src/rational
Scanning $(HOLDIR)/src/real
Scanning $(HOLDIR)/src/floating-point
Scanning $(HOLDIR)/src/monad/more_monads
Scanning $(HOLDIR)/src/update
Scanning $(HOLDIR)/examples/l3-machine-code/common
Scanning $(HOLDIR)/examples/l3-machine-code/lib
Scanning $(HOLDIR)/examples/l3-machine-code/arm/model
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/model
Scanning $(HOLDIR)/examples/l3-machine-code/mips/model
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/model
Scanning $(HOLDIR)/examples/l3-machine-code/x64/model
Scanning $(HOLDIR)/examples/data-structures/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/src/search
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/pl-semantics/lprefix_lub
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Scanning $(CAKEMLDIR)/basis
Scanning $(HOLDIR)/examples/algorithms
Scanning $(HOLDIR)/examples/machine-code/multiword
Scanning $(CAKEMLDIR)/compiler/backend/pattern_matching
Scanning $(CAKEMLDIR)/unverified/reg_alloc
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc
Scanning $(CAKEMLDIR)/compiler/encoders/asm
Scanning $(CAKEMLDIR)/compiler/backend
Scanning $(CAKEMLDIR)/compiler/encoders/ag32
Scanning $(CAKEMLDIR)/compiler/backend/ag32
Scanning $(HOLDIR)/examples/machine-code/decompiler
Scanning $(HOLDIR)/examples/l3-machine-code
Scanning $(HOLDIR)/examples/l3-machine-code/arm/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm7
Scanning $(CAKEMLDIR)/compiler/backend/arm7
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm8
Scanning $(CAKEMLDIR)/compiler/backend/arm8
Scanning $(HOLDIR)/examples/l3-machine-code/mips/step
Scanning $(CAKEMLDIR)/compiler/encoders/mips
Scanning $(CAKEMLDIR)/compiler/backend/mips
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/step
Scanning $(CAKEMLDIR)/compiler/encoders/riscv
Scanning $(CAKEMLDIR)/compiler/backend/riscv
Scanning $(HOLDIR)/examples/l3-machine-code/x64/step
Scanning $(CAKEMLDIR)/compiler/encoders/x64
Scanning $(CAKEMLDIR)/compiler/backend/x64
Scanning $(HOLDIR)/examples/algorithms/unification/triangular
Scanning $(HOLDIR)/src/transfer/examples
Scanning $(HOLDIR)/examples/algorithms/unification/triangular/first-order
Scanning $(HOLDIR)/examples/algorithms/unification/triangular/first-order/compilation
Scanning $(CAKEMLDIR)/compiler/inference
Scanning $(CAKEMLDIR)/pancake
Scanning $(CAKEMLDIR)/pancake/parser
Scanning $(CAKEMLDIR)/compiler
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs
Scanning $(CAKEMLDIR)/compiler/backend/serialiser
Scanning $(CAKEMLDIR)/compiler/encoders/monadic_enc
Scanning $(CAKEMLDIR)/compiler/parsing/ocaml
Scanning $(CAKEMLDIR)/candle/standard/ml_kernel/lisp
Scanning $(CAKEMLDIR)/candle/syntax-lib
Scanning $(CAKEMLDIR)/candle/standard/syntax
Scanning $(CAKEMLDIR)/candle/standard/monadic
Scanning $(CAKEMLDIR)/candle/standard/ml_kernel
Scanning $(CAKEMLDIR)/candle/set-theory
Scanning $(CAKEMLDIR)/candle/standard/semantics
Scanning $(CAKEMLDIR)/candle/prover/compute
Scanning $(CAKEMLDIR)/candle/prover
Scanning $(CAKEMLDIR)/compiler/inference/proofs
Scanning $(CAKEMLDIR)/compiler/printing
Scanning $(CAKEMLDIR)/compiler/repl
Scanning $(CAKEMLDIR)/compiler/bootstrap/translation
Scanning $(CAKEMLDIR)/developers/bin
Scanning $(CAKEMLDIR)/unverified/sexpr-bootstrap
Scanned 100 directories
Starting work on cake.S
Starting work on README.md
Starting work on cake-sexpr-x64-64
README.md                        unverified/sexpr-bootstrap/x64/64  (0s)     OK
cake.S                                              developers/bin  (0s)     OK
cake-sexpr-x64-64                unverified/sexpr-bootstrap/x64/64(150s)     OK
Starting work on cake.S
cake.S                           unverified/sexpr-bootstrap/x64/64  (7s)FAIL<1>
 ### ERROR: parse error
 Parsing of sexp syntax failed
 Program exited with nonzero exit code.
 Full log: /scratch/cakeml/regression3/cakeml-3056/unverified/sexpr-bootstrap/x64/64/.hol/logs/cake.S