;; 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)
