;; Below are the commands I issued during the talk. (rebuild "~/research/jade/executions.lisp" :all) (rebuild "~/research/jade/sc-per-location.lisp" :all) (pe 'po) (pf 'po-proc) (pf 'po-total) (pf 'co-total) (pf 'rf-rf-inv-fn) (pf 'rf-write-unique) (pc 'fr) (pc 'fr-rewrite) (pc 'com) (pc 'com-pathp) (pc 'com+) (pc 'com+-alt) (pc 'rewrite-com+) (pc 'pol) (pc 'pol-com) (pc 'pol-com-cyclep) (pc 'sc-per-location-1) (pc 'sc-per-location-2) (pc 'sc-per-location-1-implies-2) (pc 'com+-alt-totality) (pc 'cycle-n) (pc 'collapse-cycle) (pc 'sc-per-location-2-implies-1-unquantified) (pc 'sc-per-location-2-implies-1)