metaborg/dynsem

Issues

• Parameterise DynSemContext with Language

  #168 opened 7 years ago by vvergu
  0

• Update Truffle

  #167 opened 7 years ago by vvergu
  0

• Make get-applicable-arrow more powerful

  #115 opened 7 years ago by vvergu
  0

• Document built-in types

  #121 opened 7 years ago by vvergu
  0

• Implicit constructors are not expanded properly

  #133 opened 7 years ago by vvergu
  4

• Sort aliases may not collide with existent sorts

  #136 opened 7 years ago by vvergu
  0

• Daemon mode for DynSem-derived interpreters

  #149 opened 7 years ago by vvergu
  1

• Missing list type inference in semantic components

  #152 opened 8 years ago by vvergu
  0

• Implicit coercion incorrectly inserted in rule LHS

  #162 opened 8 years ago by vvergu
  0

• Explication fails if there are no semantic components

  #164 opened 8 years ago by vvergu
  0

• Implicit coercion incorrectly chosen in reduction premise

  #163 opened 8 years ago by vvergu
  0

• RTCO does not propagate accumulated components

  #165 opened 8 years ago by vvergu
  0

• Add list concatenation operator

  #146 opened 8 years ago by vvergu
  1

• Analysis crashes on empty rules section

  #161 opened 8 years ago by vvergu
  0

• Leave the *default* arrow name implicit

  #158 opened 8 years ago by vvergu
  1

• Revive inference style syntax for rules

  #142 opened 8 years ago by eelcovisser
  1

• Add automated regression testing

  #127 opened 8 years ago by vvergu
  2

• Builders in DynSem

  #157 opened 8 years ago by eelcovisser
  0

• Wrong variable name generation in explication

  #156 opened 8 years ago by eelcovisser
  0

• Overloaded meta functions don't work

  #155 opened 8 years ago by vvergu
  0

• Rule could not be type checked

  #154 opened 8 years ago by eelcovisser
  4

• Report a warning if the -init-> arrow has unsatisfied components

  #153 opened 8 years ago by vvergu
  0

• Rule cannot be type checked if LHS constructor is not declared

  #151 opened 8 years ago by vvergu
  0

• Add support for Spoofax Core transformations in DynSem interpreters

  #147 opened 8 years ago by vvergu
  1

• desugaring meta-function causes mistyping

  #122 opened 8 years ago by eelcovisser
  4

• Lazily load term classes

  #150 opened 8 years ago by vvergu
  0

• Generate Maven dependency on the language project

  #148 opened 8 years ago by vvergu
  1

• Benchmark harness

  #143 opened 8 years ago by eelcovisser
  0

• Report time spent in rules

  #145 opened 8 years ago by vvergu
  0

• Tail recursion optimization for indirect recursion

  #144 opened 8 years ago by eelcovisser
  0

• meta-function confuses typing of default arrow

  #132 opened 8 years ago by eelcovisser
  4

• Generating interpreter without dynsem.properties file leads to failure

  #141 opened 8 years ago by eelcovisser
  1

• Support meta-functions without arguments

  #130 opened 8 years ago by eelcovisser
  0

• Interpreter type inference of tuples with wildcards

  #139 opened 8 years ago by casperbp
  0

• Inconsistent behavior of imports resolution

  #117 opened 8 years ago by vvergu
  0

• Empty tuple as unit?

  #138 opened 8 years ago by casperbp
  0

• Error in DynSem core: (Variable _lifted_L_Int_M121 cannot be resolved)

  #134 opened 8 years ago by milosonator
  5

• Run programs on downloaded Graal VMs

  #137 opened 8 years ago by vvergu
  0

• De-factorization and copy propagation broken for case match

  #128 opened 8 years ago by vvergu
  0

• Source references are not accessible

  #123 opened 8 years ago by eelcovisser
  18

• Exception when matching on tuples

  #131 opened 8 years ago by hendrikvanantwerpen
  1

• Tuple classes should be generated from use sites

  #135 opened 8 years ago by vvergu
  0

• Case match fails to match 0

  #124 opened 8 years ago by eelcovisser
  11

• Cleanup old MergePoint code

  #129 opened 8 years ago by vvergu
  0

• Unapplied meta-functions should be eagerly applied

  #126 opened 8 years ago by eelcovisser
  2

• Add JVM arguments option to dynsem.properties

  #118 opened 8 years ago by vvergu
  0

• AST reducing rules do not fire

  #119 opened 8 years ago by vvergu
  0

• Tuple reductions don't appear to work

  #120 opened 8 years ago by vvergu
  0

• Simple sort alias not expanded

  #125 opened 8 years ago by eelcovisser
  1

• Add string interpolation facilities

  #116 opened 8 years ago by vvergu
  0