Code

VM Backend#464

Code

Draft

b-studios wants to merge 48 commits intokoka-lang:devkoka-lang/koka:devfrom se-tuebingen:feature/vmse-tuebingen/koka:feature/vmCopy head branch name to clipboard

+1,207-16

Commits

Commits on Mar 7, 2024

• Add vm backend

  

  b-studios

  authored and

  marzipankaiser

  committed
  b4501b9

  Copy full SHA for b4501b9

• VM: Add compiler options and extern format

  marzipankaiser

  committed
  8d29cf6

  Copy full SHA for 8d29cf6

• VM: Add some helpers for generating mcore

  marzipankaiser

  committed
  bc1f63f

  Copy full SHA for bc1f63f

• VM: Make simple Hello World work

  marzipankaiser

  committed
  c25aba2

  Copy full SHA for c25aba2

• Fix names of generated lib files

  marzipankaiser

  committed
  2fdedf9

  Copy full SHA for 2fdedf9

• Translate constructor definitions

  marzipankaiser

  committed
  d4e4ef0

  Copy full SHA for d4e4ef0

• Some simplifications

  marzipankaiser

  committed
  13b311b

  Copy full SHA for 13b311b

• Initial draft of data types + match

  marzipankaiser

  committed
  e22fd00

  Copy full SHA for e22fd00

• Fix type tags for constructors

  marzipankaiser

  committed
  b28bd35

  Copy full SHA for b28bd35

• WIP Basic support for separate compilation

  marzipankaiser

  committed
  8d45ecf

  Copy full SHA for 8d45ecf

• Remove some dead code

  marzipankaiser

  committed
  57a0f2f

  Copy full SHA for 57a0f2f

Commits on Mar 8, 2024

• VM backend: refactor: Remove Result type

  marzipankaiser

  committed
  d5019b1

  Copy full SHA for d5019b1

• VM: treat all ints equally

  marzipankaiser

  committed
  a4bf1ac

  Copy full SHA for a4bf1ac

• VM: Partially-applied externs

  marzipankaiser

  committed
  c722e50

  Copy full SHA for c722e50

• Use AlternativeChoice/Fail to generate match clauses

  marzipankaiser

  committed
  e56e642

  Copy full SHA for e56e642

• VM: Complete some missing implementations

  marzipankaiser

  committed
  61cec88

  Copy full SHA for 61cec88

• VM backend: refactor: Remove some dead code

  marzipankaiser

  committed
  9a50d3d

  Copy full SHA for 9a50d3d

• VM: Fix wrapping of partially-applied externals

  marzipankaiser

  committed
  c88330e

  Copy full SHA for c88330e

• VM: Fix some name generation issues

  marzipankaiser

  committed
  2e99fe3

  Copy full SHA for 2e99fe3

• VM: Generate full names also for local variables

  marzipankaiser

  committed
  a199739

  Copy full SHA for a199739

Commits on Mar 19, 2024

• Add "VM" to core pretty printer and parser

  marzipankaiser

  committed
  3a03ae2

  Copy full SHA for 3a03ae2

• VM: Fix generated names and types

  marzipankaiser

  committed
  8953320

  Copy full SHA for 8953320

Commits on Mar 20, 2024

• Add first functions in stdlib

  marzipankaiser

  committed
  15fb4f3

  Copy full SHA for 15fb4f3

Commits on Mar 25, 2024

• Some minor fixes

  marzipankaiser

  committed
  23dbddb

  Copy full SHA for 23dbddb

• Add some primitives

  marzipankaiser

  committed
  1434e5f

  Copy full SHA for 1434e5f

Commits on Mar 26, 2024

• Re-add accidentally removed guard

  marzipankaiser

  committed
  b60b63d

  Copy full SHA for b60b63d

Commits on Mar 28, 2024

• Minor

  marzipankaiser

  committed
  2a60b3a

  Copy full SHA for 2a60b3a

Commits on Apr 5, 2024

• Initial draft with working handlers

  marzipankaiser

  committed
  e3d707c

  Copy full SHA for e3d707c

Commits on Apr 12, 2024

• Use the fact that codata will be monomorphized

  marzipankaiser

  committed
  010da9e

  Copy full SHA for 010da9e

Commits on Apr 24, 2024

• Fix effects

  marzipankaiser

  committed
  68925d8

  Copy full SHA for 68925d8

• Some more primitives

  marzipankaiser

  committed
  5fbeb63

  Copy full SHA for 5fbeb63

Commits on May 2, 2024

• More stdlib

  marzipankaiser

  committed
  9c1d524

  Copy full SHA for 9c1d524

• Fix unsupported externs in other backends

  marzipankaiser

  committed
  5af34d8

  Copy full SHA for 5af34d8

• Fix parsing ints

  marzipankaiser

  committed
  60e7c68

  Copy full SHA for 60e7c68

Commits on May 3, 2024

• Type-annotate returns from match clauses

  marzipankaiser

  committed
  d333ab5

  Copy full SHA for d333ab5

• Fix generation of matches with mulitple guard alternaitves

  marzipankaiser

  committed
  89d6013

  Copy full SHA for 89d6013

• Do not spuriously drop first argument on vm

  marzipankaiser

  committed
  8c168a9

  Copy full SHA for 8c168a9

• lib: local references for vm

  marzipankaiser

  committed
  ee67067

  Copy full SHA for ee67067

Commits on May 17, 2024

• Add some int32 features to run bench/koka/counter

  marzipankaiser

  committed
  4f7cc1a

  Copy full SHA for 4f7cc1a

• promote_ptr evv in evv-at

  marzipankaiser

  committed
  31ff978

  Copy full SHA for 31ff978

Commits on May 23, 2024

• Fix adjustment of evidence indices for VM

  marzipankaiser

  committed
  3fa3ed4

  Copy full SHA for 3fa3ed4

Commits on May 24, 2024

• Correctly restore evidence on resume

  marzipankaiser

  committed
  f5736a0

  Copy full SHA for f5736a0

Commits on May 29, 2024

• Fix ordering in evidence vectors

  marzipankaiser

  committed
  ec2e1d9

  Copy full SHA for ec2e1d9

Commits on Jun 4, 2024

• Fix local mutable variables for VM

  marzipankaiser

  committed
  d77c13e

  Copy full SHA for d77c13e

Commits on Jun 21, 2024

• use top instead of ptr in some positions

  marzipankaiser

  committed
  6b97255

  Copy full SHA for 6b97255

Commits on Jul 24, 2024

• vm: implement evvSwapDelete

  marzipankaiser

  committed
  70b8a83

  Copy full SHA for 70b8a83

• vm: test target

  marzipankaiser

  committed
  033bea3

  Copy full SHA for 033bea3

Commits on Jul 26, 2024

• Remove debug output for rpyeffect-asm by default

  marzipankaiser

  committed
  20dc2e9

  Copy full SHA for 20dc2e9