Code

Lute/reification step4 testing ast#39

Code

Merged

lute47lillo merged 7 commits intolute/reificationStep4jorgefandinno/eclingo:lute/reificationStep4from lute/reificationStep4_testingASTjorgefandinno/eclingo:lute/reificationStep4_testingASTCopy head branch name to clipboardOct 3, 2022

+129-55

Commits

Commits on Aug 31, 2022

• update

  jorgefandinno

  committed
  beca7e1

  Copy full SHA for beca7e1

Commits on Sep 7, 2022

• SymbolicTerm transformer

  lute47lillo

  committed
  cc4744e

  Copy full SHA for cc4744e

Commits on Sep 13, 2022

• Fix -a name issue on UnaryOperation

  lute47lillo

  committed
  947e519

  Copy full SHA for 947e519

Commits on Sep 22, 2022

• Sorting error fixed, more tests passing

  lute47lillo

  committed
  facbdc1

  Copy full SHA for facbdc1

Commits on Oct 3, 2022

• Parameters test fixed, ensuring Interval SymbolicTerms

  lute47lillo

  committed
  d1e7147

  Copy full SHA for d1e7147

• All tests fixed

  lute47lillo

  committed
  61ba044

  Copy full SHA for 61ba044

• pylint

  lute47lillo

  committed
  9bd917a

  Copy full SHA for 9bd917a