Before merging this PR, please check the following:
[x] I made sure the wiki is updated in accordance with the changes in this PR. For example, syntax changes, semantics changes, VerCors flags changes, etc.
PR description
Fixed problems in VeSUV that would not allow the program to run
Improved the VeSUV transformation
Added the ability to create a control flow graph out of a COL AST
Organized COL nodes by their behavior for the CFG
Added the ability to explore the state space of a COL program at an abstract level
Added flags to create either the CFG or the abstract state space from a given PVL program
Added a PVL keyword for a program entry point, "vesuv_entry"
Before merging this PR, please check the following:
PR description