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.


  • 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