Code

Exploring the Ohmjs parser#1227

Code

Closed

konnov wants to merge 10 commits intomaininformalsystems/quint:mainfrom igor/peggy-parserinformalsystems/quint:igor/peggy-parserCopy head branch name to clipboard

+544-7

Commits

Commits on Oct 16, 2023

• add ohm as a better way to handle parse errors

  konnov

  committed
  3d3a2f7

• add the generated ohm bundle to git attributes

  konnov

  committed
  6665c15

Commits on Oct 20, 2023

• update the grammar

  konnov

  committed
  5b0e5e0

• add the missing file

  konnov

  committed
  7c842a5

Commits on Nov 9, 2023

• Merge branch 'main' into igor/peggy-parser

  konnov

  authored
  8b53ddc

Commits on Nov 14, 2023

• integrating error reporting

  konnov

  committed
  d8385c9

Commits on Nov 15, 2023

• fix the lines

  konnov

  committed
  ed21d80

• fixing the ohmjs grammar

  konnov

  committed
  71a8c08

• fixin things

  konnov

  committed
  7c8b319

• add the script to parse quint with ohmjs

  konnov

  committed
  afd9798