Verifpal 0.27.0 Verifpal 0.27.0 fixes an analysis bug caused by an ill-thought "performance optimization". It also updates a few dependencies. Thanks to Oskar Goldhahn (NTNU) for detecting the issue.
Changelog
- aa868ff4 Brew formula update for verifpal version v0.26.1
- eeaed68f Fix analysis bug caused by ill-thought "performance optimization"
- e069761b Move go.mod to 1.17 until linter is updated
- 3989221a Re-add dependencies
- bb392e73 Remove dependency on deprecated strings.Title function
- b12152a7 Scoop update for verifpal version v0.26.1
- 5f4d326b Update Homebrew formula
- e9821bb7 Update Makefile
- 81f43a23 Update year
- dad640af Verifpal 0.27.0