Skip to content

Fixed thread-safety in Earley + added the 'edit_terminals' option

Compare
Choose a tag to compare
@erezsh erezsh released this 03 Oct 08:39
· 1316 commits to master since this release
  • Fixed a bug in Earley where running it from different threads produced bad results

  • Improved error reporting when using LALR

  • Added 'edit_terminals' option, to allow programmatical manipulation of terminals, for example to support keywords in different languages.

Note: This release skips 0.7.6, due to simple oversight on my part. Hopefully that shouldn't be a problem.