Grasshopper framing and lclist modification

septract / starling-tool

An automatic verifier for concurrent algorithms.

MIT License

7 stars 4 forks source link

Closed septract closed 7 years ago

septract commented 7 years ago

Added framing with sTrue() to the pure bits of expressions. The user has to define sTrue() which isn't ideal of course.
Modified the lclist-grasshopper code to be more logical.

MattWindsor91 commented 7 years ago

This looks fine. Waiting on Travis, then :shipit: