search

uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

Environments #24

Closed rohinmshah closed 7 years ago

rohinmshah commented 7 years ago

Change the implementation so that the lifted language interpreter takes an environment as a second parameter. The environment is a functional data structure, making it easy to mix in symbolic evaluation. Currently it is implemented as an association list, but ideally it could become a hash table at some point. One implication is that variables no longer store their values.

There have also been a few other miscellaneous changes and bug fixes along the way.

@Sumith1896 This is ready to merge, but I'm waiting until you look through it. (Don't worry about going through it all, there are a lot of changes, I just wanted to give you an opportunity to comment before merging it.)

Sumith1896 commented 7 years ago

Looks good to me :) I do not have any comments as of now, I'll have more since I'm debugging benchmarks. Feel free to merge this now.