search

uwplse / syncro

Synthesis of Incremental Operations
2 stars 1 forks source link

Added dependency analysis #3

Closed Sumith1896 closed 7 years ago

Sumith1896 commented 7 years ago

This fixes the (set S? #f) issue, however the issue is not completely resolved as we now get

Warning: Using recomputation instead of delta add-elemT! to T?
'(define (add-elemT! m) (begin (enum-set-add! T? m) (+ 1 1)) (set! T? #f))

PS: PR also has benchmark additions

Sumith1896 commented 7 years ago

All comments addressed, do bfs only once per input, good to merge

Sumith1896 commented 7 years ago

Merging this, as I need it in. I'm unsure about the last change, we can discuss that more and revert if inappropriate.