atlanmod/coqtl

Issues

• Change order of arguments in lambda functions in Syntax

  #108 opened 3 years ago by massimotisi
  0

• maxArity should be removed by all engine implementations

  #50 opened 3 years ago by massimotisi
  0

• License and attribution policy should be defined

  #41 opened 3 years ago by massimotisi
  0

• denoteModelClass ColumnClass != Column

  #77 opened 3 years ago by massimotisi
  0

• Improve interface for expression evaluator

  #90 opened 3 years ago by massimotisi
  0

• Updating README

  #104 opened 3 years ago by massimotisi
  0

• Removing core/test

  #105 opened 3 years ago by massimotisi
  0

• Trace links as a function

  #106 opened 3 years ago by massimotisi
  0

• Inferring InTypes for buildConcreteOutputPatternElement

  #78 opened 4 years ago by massimotisi
  1

• Refactoring type-classes

  #1 opened 3 years ago by veriatl
  0

• List -> *Set in Engine Typeclass

  #2 opened 3 years ago by massimotisi
  1

• Add Traces to the Engine Typeclass

  #4 opened 3 years ago by massimotisi
  0

• Unable to make the project

  #73 opened 3 years ago by luntan-maker
  4

• Split Metamodel typeclass into two instances of Sum

  #79 opened 3 years ago by massimotisi
  0

• parameter tr is not needed in applyLinkOnPatternTraces

  #95 opened 4 years ago by veriatl
  0

• Seperate Metamodel.v from Engine.v

  #98 opened 3 years ago by veriatl
  0

• using sumtype for metamodel.v

  #100 opened 3 years ago by veriatl
  0

• a typeclass for ConcreteSyntax, containing just parse

  #99 opened 4 years ago by veriatl
  0

• Expr and evalExpr should be in a separate typeclass

  #101 opened 4 years ago by veriatl
  0

• Reintroduce option in syntax for output pattern element

  #91 opened 4 years ago by massimotisi
  0

• Tactic for case analysis on rules

  #86 opened 4 years ago by massimotisi
  1

• Mandatory ForSection

  #8 opened 4 years ago by veriatl
  1

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

  #85 opened 4 years ago by massimotisi
  0

• Notation for bring input pattern types and lambda variables closer

  #84 opened 4 years ago by massimotisi
  0

• Split Engine typeclass in CoqTL / RelationalTransformation

  #3 opened 4 years ago by massimotisi
  0

• Having a specific notation when the iterator is not specified

  #12 opened 4 years ago by veriatl
  1

• proofs break on the master branch

  #13 opened 4 years ago by veriatl
  0

• Create typeclass for end-user

  #32 opened 4 years ago by massimotisi
  1

• inTypes -> arity

  #33 opened 4 years ago by massimotisi
  0

• Review None/nil semantics

  #35 opened 4 years ago by massimotisi
  0

• Clarify why BuildModelElement and toModelElement are both in the Metamodel typeclass

  #43 opened 4 years ago by massimotisi
  0

• Add scripts for compiling and generate metrics and documentations

  #69 opened 4 years ago by massimotisi
  1

• theorems about matchRuleOnPattern, instantiateElementOnPattern, applyReferenceOnPattern

  #51 opened 4 years ago by massimotisi
  1

• theorems about resolve

  #52 opened 4 years ago by massimotisi
  2

• Port simple proofs to the typeclass

  #54 opened 4 years ago by massimotisi
  0

• CoqTL.v should be divided in several files

  #44 opened 4 years ago by massimotisi
  0

• Proving name definedness for C2R

  #55 opened 4 years ago by massimotisi
  1

• <> -> False translates to =

  #34 opened 4 years ago by massimotisi
  2

• Remove the nil case from tr_instantiatePattern_None_tr

  #53 opened 4 years ago by massimotisi
  2

• Evolve Resolve and ResolveAll function to work with iterator

  #11 opened 4 years ago by veriatl
  4

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

  #42 opened 4 years ago by massimotisi
  0

• add list index function to the library

  #10 opened 6 years ago by veriatl
  0

• Evolve SetID function

  #9 opened 6 years ago by veriatl
  1

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

  #5 opened 6 years ago by massimotisi
  0