Commit History

Author SHA1 Message Date
  metagn 86f7f4ffa5 remove deprecated type pragma syntax, fix bugs that required it (#20199) 2 years ago
  Andreas Rumpf 2e2d928846 formal grammar updates [backport:1.2] (#18803) 3 years ago
  Timothee Cour 98f7254fb2 followup #18711 grammar_nanny now reports unused non-terminals (#18746) 3 years ago
  Clyybber 13e659cfec Big compiler Cleanup (#14777) 4 years ago
  Andreas Rumpf fadbd8f70d fixes #10665 (#13141) [backport] 5 years ago