EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and QuackyDucky, an untrusted compiler for generating verified secure parsers from a message format specification.
EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and QuackyDucky, an untrusted compiler for generating verified secure parsers from a message format specification.
To install everparse, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install everparse
To see what files were installed by everparse, run:
port contents everparse
To later upgrade everparse, run:
sudo port selfupdate && sudo port upgrade everparse
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.