search

uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

Bug fixes #26

Closed rohinmshah closed 6 years ago

rohinmshah commented 6 years ago

Resolves #16, improves displaying of synthesized code, and fixes an issue with graph reachability (we should use a directed graph instead of an undirected one).

rohinmshah commented 6 years ago

Also partially resolves #21, in particular the updates are now combined properly.