Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Migrate to GitHub Actions
August 19, 2023 12:43
HomebrewFormula
Brew formula update for verifpal version v0.27.2
August 23, 2023 09:50
assets
Verifpal 0.27.2
August 23, 2023 09:44
build
Reorganize project structure into "lib" internals
May 7, 2020 19:06
cmd
Verifpal 0.27.2
August 23, 2023 09:44
examples
Fix analysis bug caused by ill-thought "performance optimization"
May 29, 2022 18:29
internal
Update year
May 29, 2022 16:21
tools
Update year
May 29, 2022 16:21
.gitignore
Update year
May 29, 2022 16:21
.golangci.yml
Verifpal 0.27.1
August 19, 2023 12:05
.goreleaser.yml
Verifpal 0.27.1
August 19, 2023 12:05
Build.cmd
Update year
May 29, 2022 16:21
CONTRIBUTING.md
Update year
May 29, 2022 16:21
LICENSE
Update year
May 29, 2022 16:21
Makefile
Minor dependency updates
August 23, 2023 09:40
README.md
Add CI status badge
August 23, 2023 09:43
default.nix
File permissions
June 25, 2020 17:02
go.mod
Minor dependency updates
August 23, 2023 09:40
go.sum
Minor dependency updates
August 23, 2023 09:40
verifpal.json
Scoop update for verifpal version v0.27.2
August 23, 2023 09:50