Code

MixFix Parsing - An idea#3425

Code

Draft

mattulbrich wants to merge 4 commits intoKeYProject:mainKeYProject/key:mainfrom mattulbrich:mixfixmattulbrich/key:mixfixCopy head branch name to clipboard

+2,816-328

Commits

Commits on Feb 21, 2024

• introducing the idea of mixfix parsing

  mattulbrich

  committed
  9b7d726

  Copy full SHA for 9b7d726

Commits on Feb 22, 2024

• no git submodule. does not work correctly

  wadoon

  committed
  a6fc7d1

  Copy full SHA for a6fc7d1

• repair compile error and prepare grammar for mixfix

  wadoon

  committed
  e2483ee

  Copy full SHA for e2483ee

• faster de.uka.ilkd.key.nparser.ExprTest

  wadoon

  committed
  0c67fd6

  Copy full SHA for 0c67fd6