Some of you noticed, that the formal version is under constant development.
I made some special changes, that's why I droped this note. Please feel free
to discuss it here.
Removed PGP5 workaround, published a format converter instead.
Simplified the lexer. It returns only tokens.
Added Literal Data semantics.
Started with compressed data (included zlib)
Removed "debugging" output
Finished public key packet
Added a switch for PGP5 handling. Will be removed in the final version.
Added more "debugging" output and worked on signature subpackets.
First public edition.
Complete rewrite of the lexer (removing the stateful all-in-one lexer)
Phoned with John W. Noerenberg:
Got his ACK for writing a formal specification containing a syntax and
semantic definition in a machine readable format.
This specification will be a reference implementation:
- not fast
- proofable correct (necessary for CA and gouvernmental use
by European (German) laws)
If a specification and a program are nearly the same, the formal proof
of correctness and termination is much easier.