Code

AST Validation Step#5

Code

Merged

Saverio976 merged 17 commits intodevX-R-G-B/Leviator:devfrom step4TypeCheckX-R-G-B/Leviator:step4TypeCheckCopy head branch name to clipboardJan 14, 2024

+308-7

Commits

Commits on Dec 21, 2023

• Rename lib file

  guillaumeAbel

  committed
  ef31143

  Copy full SHA for ef31143

Commits on Jan 3, 2024

• Add AST

  guillaumeAbel

  committed
  289ffe2

  Copy full SHA for 289ffe2

• Fix file location

  guillaumeAbel

  committed
  7bead12

  Copy full SHA for 7bead12

• Add header

  guillaumeAbel

  committed
  4ce0c16

  Copy full SHA for 4ce0c16

• Add exports

  guillaumeAbel

  committed
  b6e2464

  Copy full SHA for b6e2464

• Fix TypeValue

  guillaumeAbel

  committed
  924b829

  Copy full SHA for 924b829

• Fix norm + returnValue

  guillaumeAbel

  committed
  4287510

  Copy full SHA for 4287510

• Fix

  guillaumeAbel

  committed
  e15385b

  Copy full SHA for e15385b

• Fix type

  guillaumeAbel

  committed
  cac38e5

  Copy full SHA for cac38e5

• Fix export

  guillaumeAbel

  committed
  2b5c4c3

  Copy full SHA for 2b5c4c3

Commits on Jan 7, 2024

• Add current progress

  guillaumeAbel

  committed
  a3a0beb

  Copy full SHA for a3a0beb

Commits on Jan 14, 2024

• Add awaiting tests

  guillaumeAbel

  committed
  a637ac3

  Copy full SHA for a637ac3

• Add awaiting tests

  guillaumeAbel

  committed
  2cd8616

  Copy full SHA for 2cd8616

• Fix conflicts

  guillaumeAbel

  committed
  9505160

  Copy full SHA for 9505160

• Add type checker

  guillaumeAbel

  committed
  a0f771e

  Copy full SHA for a0f771e

• Add typecheck

  guillaumeAbel

  committed
  ce1d910

  Copy full SHA for ce1d910

• Add

  guillaumeAbel

  committed
  907e8c3

  Copy full SHA for 907e8c3