Code

JuvixTree parser and pretty printer#2583

Code

Merged

lukaszcz merged 28 commits intomainanoma/juvix:mainfrom tree-parseranoma/juvix:tree-parserCopy head branch name to clipboardJan 24, 2024

+2,056-968

Commits

Commits on Jan 16, 2024

• factor the Core -> Asm translation

  lukaszcz

  committed
  27306b0

  Copy full SHA for 27306b0

• JuvixTree parser wip

  lukaszcz

  committed
  9fb03f9

  Copy full SHA for 9fb03f9

• Merge branch 'main' into tree-parser

  lukaszcz

  authored
  991a221

  Copy full SHA for 991a221

• fix after merge

  lukaszcz

  committed
  d3e3866

  Copy full SHA for d3e3866

Commits on Jan 17, 2024

• Merge branch 'main' into juvix-tree

  lukaszcz

  authored
  860e546

  Copy full SHA for 860e546

• parser wip

  lukaszcz

  committed
  3b0b622

  Copy full SHA for 3b0b622

• Merge branch 'main' into juvix-tree

  lukaszcz

  committed
  2bde536

  Copy full SHA for 2bde536

• fix after merge

  lukaszcz

  committed
  f00b3c1

  Copy full SHA for f00b3c1

• Merge branch 'juvix-tree' into tree-parser

  lukaszcz

  committed
  0786daa

  Copy full SHA for 0786daa

• fix after merge

  lukaszcz

  committed
  c836bf7

  Copy full SHA for c836bf7

• parser

  lukaszcz

  committed
  c3ca0cf

  Copy full SHA for c3ca0cf

Commits on Jan 18, 2024

• Merge branch 'main' into juvix-tree

  lukaszcz

  authored
  9d38d64

  Copy full SHA for 9d38d64

• fix after merge

  lukaszcz

  committed
  f7d6369

  Copy full SHA for f7d6369

• changes for review

  lukaszcz

  committed
  a40c554

  Copy full SHA for a40c554

• Merge branch 'juvix-tree' into tree-parser

  lukaszcz

  committed
  acc7cdc

  Copy full SHA for acc7cdc

• pretty wip

  lukaszcz

  committed
  ca0e77a

  Copy full SHA for ca0e77a

• Merge branch 'main' into tree-parser

  lukaszcz

  committed
  235561b

  Copy full SHA for 235561b

• pretty

  lukaszcz

  committed
  49b6400

  Copy full SHA for 49b6400

• CLI

  lukaszcz

  committed
  97eb759

  Copy full SHA for 97eb759

Commits on Jan 19, 2024

• Merge branch 'main' into tree-parser

  lukaszcz

  authored
  895cec1

  Copy full SHA for 895cec1

Commits on Jan 22, 2024

• Merge branch 'main' into tree-parser

  lukaszcz

  authored
  67f8c89

  Copy full SHA for 67f8c89

Commits on Jan 23, 2024

• Merge branch 'main' into tree-parser

  lukaszcz

  authored
  dd8828f

  Copy full SHA for dd8828f

• Merge branch 'main' into tree-parser

  lukaszcz

  authored
  8778a32

  Copy full SHA for 8778a32

• Avoid using StackRef in nockma tests

  paulcadman

  committed
  db7e061

  Copy full SHA for db7e061

• Merge remote-tracking branch 'origin/avoid-stackref' into tree-parser

  lukaszcz

  committed
  754417b

  Copy full SHA for 754417b

• fix tests

  lukaszcz

  committed
  95716a7

  Copy full SHA for 95716a7

• minor refactor

  lukaszcz

  committed
  d9fe693

  Copy full SHA for d9fe693

Commits on Jan 24, 2024

• Use makeSem (#2592)

  Show description for 1fe8b6f
  janmasrovira

  authored
  1fe8b6f

  Copy full SHA for 1fe8b6f