Commit Graph

19 Commits

Author SHA1 Message Date
Tony Garnock-Jones fc8226e868 Clarify 2022-07-10 13:21:31 +02:00
Tony Garnock-Jones df1d75d181 Put cheatsheet in an appendix 2022-06-20 17:05:47 +02:00
Tony Garnock-Jones 9ee59562a1 Repair security considerations section 2022-06-19 21:19:04 +02:00
Tony Garnock-Jones b43d372014 Smaller simpler (?) presentation of binary syntax 2022-06-19 21:11:05 +02:00
Tony Garnock-Jones 70e282a42e More examples 2022-06-19 21:10:42 +02:00
Tony Garnock-Jones 8f607cee1a Repair tag table 2022-06-19 17:25:40 +02:00
Tony Garnock-Jones 0dd2a8d622 Permit overlong SignedInteger encodings 2022-06-19 17:20:25 +02:00
Tony Garnock-Jones 6a5d82d567 Move examples out of the main text 2022-06-19 14:36:05 +02:00
Tony Garnock-Jones 6d496b5113 Require non-empty sequence of annotations 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 6138bfdb8a Clarify 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 894000a54f Clarification 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones ade682a5f6 NUL terminator on String Reprs 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 3baade843d Better tag assignment, emphasising that Embeddeds are real Values 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 8bb3f329a2 Adjust language around overlong varint encodings 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones d6b0b8bbd8 Loosen re overlong varints. Clarify re use of length info 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 832fec6c43 Fix spec issues with len() and IEEE754 endianness (thanks to isd) 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 7055a6467c New "blue jelly" machine-oriented binary syntax, inspired by argdata 2022-06-18 21:51:16 +02:00
Tony Garnock-Jones 0feef9cc9e Clean up named links 2022-06-18 20:28:38 +02:00
Tony Garnock-Jones 7d3789e371 Split up spec! 2022-06-18 19:12:05 +02:00