Job 849

CakeML:f3af75842ad48b2b116441cdb49066c1c2bc45b7
  Merge branch 'master' into vstte18 [May 08 16:07:57]
#629 (vstte18)
Merging into:331972bc323d7886b60ecbab12195ee6999bcdeb
  Merge pull request #634 from CakeML/cleanup [May 08 15:37:32]
HOL:544f92fea1905436f7a85854eed6dcb089568063
  Emacs mode: key-bindings for  [May 05 04:49:45]
Machine:te1

May 08 17:02:43 Claimed job
May 08 17:02:46 Reusing HOL
May 08 17:12:13 Starting developers
May 08 17:12:16 Finished developers                                               2s  48MB
May 08 17:12:16 Starting developers/bin
May 08 17:12:22 Finished developers/bin                                           6s 925MB
May 08 17:12:22 Starting semantics/ffi
May 08 17:13:16 Finished semantics/ffi                                           53s 543MB
May 08 17:13:16 Starting semantics
May 08 17:15:31 Finished semantics                                             2m14s   1GB
May 08 17:15:31 Starting semantics/proofs
May 08 17:19:47 Finished semantics/proofs                                      4m16s   1GB
May 08 17:19:47 Starting basis/pure
May 08 17:24:49 Finished basis/pure                                            5m01s 722MB
May 08 17:24:49 Starting translator
May 08 17:27:08 Finished translator                                            2m19s   1GB
May 08 17:27:08 Starting compiler/parsing
May 08 17:28:27 Finished compiler/parsing                                      1m17s   2GB
May 08 17:28:27 Starting characteristic
May 08 17:35:49 Finished characteristic                                        7m22s   1GB
May 08 17:35:49 Starting translator/monadic
May 08 17:37:57 Finished translator/monadic                                    2m08s   1GB
May 08 17:37:57 Starting basis
May 08 17:38:52 FAILED: basis
]0;Holmake: pure]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages/regular]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages/regular]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages/context-free]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages/regular]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: pure]0;Holmake: ~/regression-worker/cakeml-849/misc]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression-worker/cakeml-849/misc]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/machine-code/hoare-triple]0;Holmake: ~/regression-worker/HOL-544f92fea1905436f7a85854eed6dcb089568063/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression-worker/cakeml-849/misc]0;Holmake: ~/regression-worker/cakeml-849/developers]0;Holmake: ~/regression-worker/cakeml-849/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression-worker/cakeml-849/misc]0;Holmake: ~/regression-worker/cakeml-849/misc/lem_lib_stub]0;Holmake: ~/regression-worker/cakeml-849/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression-worker/cakeml-849/misc]0;Holmake: ~/regression-worker/cakeml-849/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: pure]0;Holmake: pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: .]0;Holmake: ~/regression-worker/cakeml-849/characteristic]0;Holmake: ~/regression-worker/cakeml-849/compiler/parsing]0;Holmake: ~/regression-worker/cakeml-849/semantics]0;Holmake: ~/regression-worker/cakeml-849/semantics/ffi]0;Holmake: ~/regression-worker/cakeml-849/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression-worker/cakeml-849/semantics]0;Holmake: ~/regression-worker/cakeml-849/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/regression-worker/cakeml-849/compiler/parsing]0;Holmake: ~/regression-worker/cakeml-849/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/regression-worker/cakeml-849/characteristic]0;Holmake: ~/regression-worker/cakeml-849/semantics/proofs]0;Holmake: ~/regression-worker/cakeml-849/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/regression-worker/cakeml-849/characteristic]0;Holmake: ~/regression-worker/cakeml-849/translator]0;Holmake: ~/regression-worker/cakeml-849/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/regression-worker/cakeml-849/characteristic]0;Holmake: ~/regression-worker/cakeml-849/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: .]0;Holmake: ~/regression-worker/cakeml-849/translator/monadic]0;Holmake: ~/regression-worker/cakeml-849/translator/monadic/monad_base]0;Holmake: ~/regression-worker/cakeml-849/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/regression-worker/cakeml-849/translator/monadic]0;Holmake: ~/regression-worker/cakeml-849/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/basis[0m
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on runtimeFFITheory
MarshallingTheory                                                                                                                        OK
Starting work on fsFFITheory
runtimeFFITheory                                                                                                                         OK
Starting work on README.md
clFFITheory                                                                                                                              OK
Starting work on basis_ffi.o
basis_ffi.o                                                                                                                              OK
README.md                                                                                                                                OK
RuntimeProgTheory                                                                                                                        OK
Starting work on OptionProgTheory
Starting work on RuntimeProofTheory
fsFFITheory                                                                                                                              OK
Starting work on fsFFIPropsTheory
OptionProgTheory                                                                                                                         OK
Starting work on ListProgTheory
fsFFIPropsTheory                                                                                                                FAILED! <1>
 Found near [ALIST_FUPDKEY_ALOOKUP]
 /usr/local/google/home/ramanakumar/regression-worker/cakeml-849/basis/fsFFIPropsScript.sml:456: error: Value or constructor (ALIST_FUPDKEY_ALOOKUP) has not been declared
 Found near [fsupdate_def, fastForwardFD_def, ALIST_FUPDKEY_ALOOKUP]
 /usr/local/google/home/ramanakumar/regression-worker/cakeml-849/basis/fsFFIPropsScript.sml:457: error: Value or constructor (ALIST_FUPDKEY_ALOOKUP) has not been declared
 Found near
   [ALIST_FUPDKEY_ALOOKUP, IO_fs_component_equality, ALIST_FUPDKEY_comm]
 /usr/local/google/home/ramanakumar/regression-worker/cakeml-849/basis/fsFFIPropsScript.sml:457: error: Value or constructor (ALIST_FUPDKEY_comm) has not been declared
 Found near
   [ALIST_FUPDKEY_ALOOKUP, IO_fs_component_equality, ALIST_FUPDKEY_comm]
 Uncaught exception: Fail "Static Errors"
RuntimeProofTheory                                                                                                                 M-KILLED
ListProgTheory                                                                                                                     M-KILLED