Code

new parser for lp files#1129

Code

Open

fblanqui wants to merge 14 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:parsefblanqui/lambdapi:parseCopy head branch name to clipboard

+1,756-156

Commits

Commits on Jul 31, 2024

• new parser

  fblanqui

  committed
  4c33890

  Copy full SHA for 4c33890

• wip

  fblanqui

  committed
  f414bc8

  Copy full SHA for f414bc8

Commits on Aug 1, 2024

• rewrite parser.ml

  fblanqui

  committed
  de901bd

  Copy full SHA for de901bd

• extend new parser to search command

  fblanqui

  committed
  c13d4ec

  Copy full SHA for c13d4ec

Commits on Aug 2, 2024

• wip

  fblanqui

  committed
  4c8c8ee

  Copy full SHA for 4c8c8ee

Commits on Oct 30, 2024

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  aeb5376

  Copy full SHA for aeb5376

Commits on Jan 2, 2025

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  a19a832

  Copy full SHA for a19a832

• add parsing of set tactic

  fblanqui

  committed
  0fefcf5

  Copy full SHA for 0fefcf5

Commits on Jan 9, 2025

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  59e974c

  Copy full SHA for 59e974c

Commits on Jan 24, 2025

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  7ab1d3f

  Copy full SHA for 7ab1d3f

Commits on Jan 25, 2025

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  e2487b7

  Copy full SHA for e2487b7

• wip

  fblanqui

  committed
  e1c5304

  Copy full SHA for e1c5304

Commits on Jan 27, 2025

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  2738f13

  Copy full SHA for 2738f13

Commits on Jan 28, 2025

• Merge remote-tracking branch 'dk/master' into parse

  fblanqui

  committed
  dcdf831

  Copy full SHA for dcdf831