Grasshopper backend (minus variable types and commands)

septract / starling-tool

An automatic verifier for concurrent algorithms.

MIT License

7 stars 4 forks source link

Grasshopper backend (minus variable types and commands) #115

Closed septract closed 7 years ago

septract commented 7 years ago

This PRQ is the first step towards addressing #98 - by passing the grass stage, we get a list of Grasshopper procedures, each of which correspond to a ZTerm.

To test it out, run:

$ ./starling.sh -s grass Examples/WIP/lclist-grasshopper.cvf