All issues

Search results

Parameterise DynSemContext with Language

back-end

enhancement

H

Status: Open.

#168 In metaborg/dynsem;

· vvergu opened on Jun 6, 2017

Update Truffle

back-end

enhancement

M

Status: Open.

#167 In metaborg/dynsem;

· vvergu opened on Jun 6, 2017

RTCO does not propagate accumulated components

back-end

bug

M

Status: Open.

#165 In metaborg/dynsem;

· vvergu opened on Feb 5, 2017

Builders in DynSem

Status: Open.

#157 In metaborg/dynsem;

· eelcovisser opened on Dec 8, 2016

Wrong variable name generation in explication

Status: Open.

#156 In metaborg/dynsem;

· eelcovisser opened on Dec 8, 2016

Rule could not be type checked

Status: Open.

#154 In metaborg/dynsem;

· eelcovisser opened on Dec 8, 2016

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

enhancement

front-end

idea

L

Status: Open.

#153 In metaborg/dynsem;

· vvergu opened on Dec 7, 2016

Rule cannot be type checked if LHS constructor is not declared

bug

front-end

M

Status: Open.

#151 In metaborg/dynsem;

· vvergu opened on Dec 7, 2016

Lazily load term classes

back-end

enhancement

Status: Open.

#150 In metaborg/dynsem;

· vvergu opened on Dec 6, 2016

Generate Maven dependency on the language project

back-end

enhancement

L

Status: Open.

#148 In metaborg/dynsem;

· vvergu opened on Dec 6, 2016

Add support for Spoofax Core transformations in DynSem interpreters

enhancement

L

Status: Open.

#147 In metaborg/dynsem;

· vvergu opened on Dec 6, 2016

Report time spent in rules

Status: Open.

#145 In metaborg/dynsem;

· vvergu opened on Dec 5, 2016