LICENSE Initial commit Jun 2, 2020 Makefile Add support for macOS binaries Oct 5, 2024 README.md Promote cert metadata format 1 to default Dec 2, 2024 go.mod Go Dependency: Bump github.com/atc0005/cert-payload from 0.7.0 to 0.7.1 Dec 12, 2024 go.sum Go Dependency: Bump github.com...
MIT License Issues Please report bugs to theGitHub Issue Tracker. esverify is currently developed and maintained byChristopher Schuster. Acknowledgements Inspired byDafnyandLiquidHaskell. This project is developed by theSoftware and Languages Research Group at University of California, Santa Cruz. Thanks ...
LICENSE Initial commit Jun 2, 2020 Makefile Misc cleanup tasks May 5, 2023 README.md Fix markdownlint linting errors May 5, 2023 go.mod go.mod: bump golang.org/x/sys from 0.16.0 to 0.17.0 Feb 8, 2024 go.sum go.mod: bump golang.org/x/sys from 0.16.0 to 0.17.0 Feb 8, 20...
LICENSE Initial commit Jun 2, 2020 Makefile Misc cleanup tasks May 5, 2023 README.md Fix markdownlint linting errors May 5, 2023 go.mod go.mod: bump golang.org/x/sys from 0.16.0 to 0.17.0 Feb 8, 2024 go.sum go.mod: bump golang.org/x/sys from 0.16.0 to 0.17.0 Feb 8, 20...