You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Scott Owens 742ab9089d Change a type name ... Summary: Change loc_var (for local variable) to reg (for register) because loc_var looks too much like a location tagged variable. Reviewed By: jberdine Differential Revision: D16827920 fbshipit-source-id: 5b11f1065		5 years ago
..
Holmakefile	Add initial mini-LLVM semantics written in HOL4	5 years ago
llvmScript.sml	Change a type name	5 years ago
llvm_propScript.sml	Finish proving sanity checking property	5 years ago
settingsScript.sml	Prove that Ret preserves the invariant	5 years ago