Results
1
issues of
mi.ki
This pull request allows handling various aliases for frame conditions within method/block/loop contracts and loop specifications. These aliases cover the ones which are used in various other verification tools with...
JML Parser
Review Request
HacKeYthon