Simon J. Gerraty a8189e9bd4 veriexec(8): explain that only a unique prefix is required ...

When setting or querying state it is sufficient to
provide only enough of the state name to be unambiguous.

2022-02-14 13:54:22 -08:00

..

Makefile

…

Makefile.depend

…

manifest_lexer.l

…

manifest_parser.y

…

veriexec.8

…

veriexec.c

…

veriexec.h

…