Skip to content

Issues: atlanmod/coqtl

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

12 Open 32 Closed
12 Open 32 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Change order of arguments in lambda functions in Syntax
#108 opened Feb 15, 2022 by massimotisi
Trace links as a function
#106 opened Jan 22, 2022 by massimotisi
@massimotisi
Expr and evalExpr should be in a separate typeclass
#101 opened Mar 22, 2021 by veriatl model-agnostic
a typeclass for ConcreteSyntax, containing just parse
#99 opened Mar 22, 2021 by veriatl model-agnostic
parameter tr is not needed in applyLinkOnPatternTraces
#95 opened Mar 3, 2021 by veriatl
Reintroduce option in syntax for output pattern element
#91 opened Dec 22, 2020 by massimotisi
Tactic for case analysis on rules
#86 opened Jul 23, 2020 by massimotisi
1
In concrete syntax links could be specified by computing only their target elements in the lambda
#85 opened Jul 23, 2020 by massimotisi
Notation for bring input pattern types and lambda variables closer
#84 opened Jul 23, 2020 by massimotisi
Inferring InTypes for buildConcreteOutputPatternElement
#78 opened Jul 16, 2020 by massimotisi 0.2
1
In the Metamodel class we should require proof that upcasting and downcasting are inverse
#42 opened Apr 24, 2020 by massimotisi
Higher-order: the engine typeclass should refer to the metamodel of the transformation language
#5 opened May 24, 2018 by massimotisi
ProTip! Find all open issues with in progress development work with linked:pr.