Const Variables - Githubissues

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

3 stars 6 forks source link

Closed gleiss closed 5 years ago

gleiss commented 5 years ago

Requires #2 and #3.

Add support for const variables.

[x] Figure out syntax (probably const vars as default and var keyword for non-const vars)
[x] Implement parsing
[x] Implement semantics: Only add value-equalities for non-const vars

Advantages:

gleiss commented 5 years ago

done