From Don Y@21:1/5 to All on Thu Jul 11 18:45:36 2024
This is a minor refactoring of the last release with symbolic
execution support integrated. It should build just as cleanly;
let me know if any compilers choke on bits of it.
As there haven't been any reported bugs in ages, I don't
see any further releases and will be concentrating on
enhancing the documentation with more detailed examples
and specific performance metrics. See the ReamDe for details
of the example suite if you'd care to contribute.
Knock sequence is unchanged. Note the banner message for important
details. Email for problems, complaints... (make sure I have your
current email as I'll be moving to a 100% whitelist RSN)