9 Commits

Author	SHA1	Message	Date
Alessandro Coglio	f26114afa5	[ABNF] Make ** right-associative. ... As agreed on Slack.	2021-04-09 13:01:59 -07:00
damirka	45986d598c	adds %s to abnf converter and md	2021-04-08 10:45:04 +03:00
Alessandro Coglio	d7d15b1bc4	[ABNF] Regenerate markdown file.	2021-04-06 16:41:12 -07:00
Alessandro Coglio	880f2cd200	[ABNF] Remove explicit author info, as discussed.	2021-04-05 21:55:19 -07:00
Alessandro Coglio	797e8ceffd	[ABNF] Tweak some layout. ... Just for consistency with the rest of the file.	2021-04-05 21:54:18 -07:00
Alessandro Coglio	c0ea8798a2	[ABNF] Remove leftover reference. ... This was uncovered by running the grammar through the ACL2 build: among other things, the build checks that every nonterminal referenced in the right side of each rule has a definition in the grammar.	2021-04-05 21:47:28 -07:00
Alessandro Coglio	5f875a4e93	[ABNF] Allow const self. ... This still needed to be updated. The rules only supported self and mut self.	2021-04-05 21:27:37 -07:00
Alessandro Coglio	b535a5fde3	[ABNF] Allow spaces in affine group literals.	2021-04-05 13:55:05 -07:00
gluax	bcb0838e0d	last bit of clippy, push grammar md it should now be in the repo	2021-03-31 13:22:25 -04:00