Skip to content

LogicIR parser.

Melkonian,O. (Orestis) requested to merge lir-parser into duncan
  • LogicIR Parser.
  • LogicIR EDSL + OverloadedStrings.
  • Minimized LogicIR.
  • General styling fixes.
  • Supressed output in tests.
  • Single-threaded test execution.

@j.s.tentusscher The mimization removed CNEqual, CLeq, CGeq, so use the EDSL operators .!=, .<=, .>= instead.

Merge request reports