Job 566

CakeML:24050da03e4c1412a0aa8207562fc97f06aff0b9
  Merge branch 'master' into flat-elim-cleanup [Nov 19 22:06:30]
#553 (flat-elim-cleanup)
Merging into:9b491cb24bd22174a6c514574e4bb6c057eafe2f
  Rename "backend_correct" to "encoder_correct" [Nov 20 18:08:31]
HOL:57ef4df497757f622a7fe2bfeda16116585da6d4
  Update experimental kernel for world free of Globals.priming [Nov 20 05:59:15]
Machine:demi

Nov 20 19:40:13 Claimed job
Nov 20 19:40:18 Reusing HOL
Nov 20 19:41:08 Starting developers/bin
Nov 20 19:41:15 Finished developers/bin                                           6s 924MB
Nov 20 19:41:16 Starting semantics/ffi
Nov 20 19:41:33 Finished semantics/ffi                                           17s 291MB
Nov 20 19:41:34 Starting semantics
Nov 20 19:43:21 Finished semantics                                             1m46s   1GB
Nov 20 19:43:22 Starting semantics/proofs
Nov 20 20:01:56 FAILED: semantics/proofs
]0;Holmake: .]0;Holmake: ../../developers]0;Holmake: ../../developers[1mWorking in ../../developers[0m
]0;Holmake: .]0;Holmake: ../../misc]0;Holmake: ~/cakeml/regression-worker/HOL-57ef4df497757f622a7fe2bfeda16116585da6d4/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/cakeml/regression-worker/HOL-57ef4df497757f622a7fe2bfeda16116585da6d4/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ../../misc]0;Holmake: ~/cakeml/regression-worker/HOL-57ef4df497757f622a7fe2bfeda16116585da6d4/examples/machine-code/hoare-triple]0;Holmake: ~/cakeml/regression-worker/HOL-57ef4df497757f622a7fe2bfeda16116585da6d4/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ../../misc]0;Holmake: ../../misc/lem_lib_stub]0;Holmake: ../../misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ../../misc]0;Holmake: ../../misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: .]0;Holmake: ..]0;Holmake: ../ffi]0;Holmake: ../ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ..]0;Holmake: ..[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
Starting work on heap
Starting work on README.md
README.md                                                                                                                                                                                                                                                                              OK
heap                                                                                                                                                                                                                                                                                   OK
Starting work on astPropsTheory
Starting work on gramPropsTheory
Starting work on semanticPrimitivesPropsTheory
Starting work on typeSoundInvariantsTheory
typeSoundInvariantsTheory                                                                                                                                                                                                                                                              OK
gramPropsTheory                                                                                                                                                                                                                                                                        OK
Starting work on cmlPtreeConversionPropsTheory
semanticPrimitivesPropsTheory                                                                                                                                                                                                                                                          OK
Starting work on evaluatePropsTheory
cmlPtreeConversionPropsTheory                                                                                                                                                                                                                                                          OK
evaluatePropsTheory                                                                                                                                                                                                                                                                    OK
astPropsTheory                                                                                                                                                                                                                                                         FAILED! <Signal 9>