6 Commits (622d981bdadc0d4746fde52f5f51ed5d74f3b49a)

Author SHA1 Message Date
Scott Owens 8d95ef7e3c [sledge sem] Fix global variables
5 years ago
Scott Owens 86024892e1 [sledge sem] Refactor inductive definitions a bit
5 years ago
Scott Owens 0a35b1da35 [sledge sem] Prove the Load and Store cases (mostly)
5 years ago
Scott Owens f298d728c5 [sledge sem] Start sketching translation correctness
5 years ago
Scott Owens d864fb2c89 [sledge semantics] Add a rough draft llair semantics
5 years ago
Scott Owens 9f44bbc264 [sledge semantics] Refactor the memory model
5 years ago