issues
search
viperproject
/
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2
stars
1
forks
source link
Add code from report
#16
Closed
dnezam
closed
4 months ago
dnezam
commented
5 months ago
Adds the code written for the report of the practical work:
scripts for profiling and plotting quantifier instantiations and execution time
Gobra files that were evaluated (experiments)
Adds the code written for the report of the practical work: