search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Make traversals generic in the variable being collected #120

Closed MattWindsor91 closed 7 years ago

MattWindsor91 commented 7 years ago

Small internal change, trades off some type complexity for less boilerplate.

Most of this is boring rewriting apart from the deletions in Symbolic and Traversal.

Fixes #113.

MattWindsor91 commented 7 years ago

Just going to put this through, as it's been on the pile for so long.