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 ...
See the CHANGELOG.md file for the changes associated with each release of this application. Changes that have been merged to master, but not yet an official release may also be noted in the file under the Unreleased section. A helpful link to the Git commit history since the last official ...
See the CHANGELOG.md file for the changes associated with each release of this application. Changes that have been merged to master, but not yet an official release may also be noted in the file under the Unreleased section. A helpful link to the Git commit history since the last official ...