Skip to content
This repository has been archived by the owner on Feb 20, 2024. It is now read-only.

Issues: mbeddr/language_verification

14 Open 31 Closed
14 Open 31 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

Testing Indirect Links
#45 opened May 3, 2017 by BentleyJOakes
Testing ExistsClass help wanted question
#44 opened May 3, 2017 by BentleyJOakes
Create traceability attributes more efficiently enhancement
#42 opened Mar 8, 2017 by BentleyJOakes
When containment links are not created by transformation Attribute setting in concepts throws NPE bug
#39 opened Nov 9, 2016 by levilucio
@levilucio
proper paths for verification config model instead of strings enhancement
#31 opened Nov 3, 2016 by levilucio
block attribute copies after the instance as been created by the rule enhancement
#27 opened Oct 28, 2016 by levilucio
@levilucio
5
test abstract classes and interfaces in input and output languages enhancement
#23 opened Oct 28, 2016 by levilucio
@levilucio
empty match models in a DSLTrans transformation make the DSLTrans engine throw a java.lang.IndexOutOfBoundsException bug
#19 opened Oct 5, 2016 by levilucio
@levilucio
Scoping for bindings in SyVOLT contract sets not finished enhancement
#10 opened Aug 30, 2016 by levilucio
@levilucio
contract set formulas not complete enhancement
#9 opened Aug 30, 2016 by levilucio
@levilucio
Add basic types to DSLTrans
#8 opened Aug 26, 2016 by levilucio
ATL in MPS
#6 opened Aug 26, 2016 by levilucio
Add static checks for DSLTrans to MPS editor
#5 opened Aug 26, 2016 by levilucio
Different backward link semantics
#4 opened Aug 26, 2016 by levilucio
@BentleyJOakes
1
ProTip! Updated in the last three days: updated:>2024-12-14.