Add support for multiple deltas

uwplse / syncro

Synthesis of Incremental Operations

2 stars 1 forks source link

Closed Sumith1896 closed 7 years ago

Sumith1896 commented 7 years ago

Somehow we missed this during the move, it is now complete :stuck_out_tongue:

Sumith1896 commented 7 years ago

Thanks!