2 Commits

Include renames

Author	SHA1	Message	Date
Jon MeowandGeoff Romer	05663633d3	Remove : from vars in exec semantics (#504) ... Going through tests, funptr1.6c is the main spot I see a real change, I added parens to get around an issue parsing fnty. Co-authored-by: Geoff Romer <gromer@google.com>	2021-05-06 14:21:31 -07:00
Jeremy G. SiekandGeoff Romer	27fd9de5bf	improved checking for liveness when reading and writing memory (#448) ... * improved checking for liveness when reading and writing memory * moving some functions to be methods of State * finished moving functions into State * Update executable_semantics/interpreter/interpreter.h Co-authored-by: Geoff Romer <gromer@google.com> * moved some comments, other minor edits Co-authored-by: Geoff Romer <gromer@google.com>	2021-04-21 14:10:42 -04:00