OverviewCakeML:a681f0882be171571089b73430ae183a1a088a65
remove heap/stack arguments
#738 (export_update)
Merging into:821014d04d6aa08f3cf595887516512be9982d10
Get a few scripts to build
HOL:ac7497223d5845f2709250fa8fdcb566cbc2e1ae
emacs-mode: make regexp searching case-sensitive; SOME not a q'fier
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Claimed job
Reusing HOL
Starting developers
Finished developers 4s 104MB
Starting developers/bin
Finished developers/bin 7s 1GB
Starting semantics/ffi
Finished semantics/ffi 11s 256MB
Starting semantics
Finished semantics 1m23s 1GB
Starting semantics/proofs
Finished semantics/proofs 3m31s 985MB
Starting semantics/alt_semantics
Finished semantics/alt_semantics 9s 303MB
Starting semantics/alt_semantics/proofs
Finished semantics/alt_semantics/proofs 2m11s 1GB
Starting basis/pure
Finished basis/pure 3m03s 1GB
Starting translator
Resuming translator