Search results

Change order of arguments in lambda functions in Syntax

Status: Open.

#108 In atlanmod/coqtl;

· massimotisi opened on Feb 15, 2022

Trace links as a function

Status: Open.

#106 In atlanmod/coqtl;

· massimotisi opened on Jan 22, 2022

Expr and evalExpr should be in a separate typeclass

Status: Open.

#101 In atlanmod/coqtl;

· veriatl opened on Mar 22, 2021

· 

model-agnostic

a typeclass for ConcreteSyntax, containing just parse

Status: Open.

#99 In atlanmod/coqtl;

· veriatl opened on Mar 22, 2021

· 

model-agnostic

parameter tr is not needed in applyLinkOnPatternTraces

Status: Open.

#95 In atlanmod/coqtl;

· veriatl opened on Mar 3, 2021

Reintroduce option in syntax for output pattern element

Status: Open.

#91 In atlanmod/coqtl;

· massimotisi opened on Dec 22, 2020

Tactic for case analysis on rules

Status: Open.

#86 In atlanmod/coqtl;

· massimotisi opened on Jul 23, 2020

In concrete syntax links could be specified by computing only their target elements in the lambda

Status: Open.

#85 In atlanmod/coqtl;

· massimotisi opened on Jul 23, 2020

Notation for bring input pattern types and lambda variables closer

Status: Open.

#84 In atlanmod/coqtl;

· massimotisi opened on Jul 23, 2020

Inferring InTypes for buildConcreteOutputPatternElement

Status: Open.

#78 In atlanmod/coqtl;

· massimotisi opened on Jul 16, 2020

· 

0.2

In the Metamodel class we should require proof that upcasting and downcasting are inverse

Status: Open.

#42 In atlanmod/coqtl;

· massimotisi opened on Apr 24, 2020

Higher-order: the engine typeclass should refer to the metamodel of the transformation language

Status: Open.

#5 In atlanmod/coqtl;

· massimotisi opened on May 24, 2018