Issues
- 0
Allow user to choose when multiple root classes
#160 opened by nmacedo - 0
CLI not working
#142 opened by nmacedo - 0
Frame conditions: convert to@modifies
#176 opened by nmacedo - 0
Generation is not least-change
#162 opened by nmacedo - 0
Inform the user when max delta reached
#133 opened by nmacedo - 1
Interrupt do generate não funciona
#168 opened by tiagojrg - 1
erro ao gravar xmi gerado por cima de um já existente
#163 opened by tiagojrg - 0
Repair does not paint new elems
#161 opened by nmacedo - 0
Improve ATL's OCL support
#172 opened by nmacedo - 0
Support "any" operation
#179 opened by nmacedo - 0
If statement: expression or formula
#178 opened by nmacedo - 2
ao reparar xmi surgem roots adicionais
#164 opened by tiagojrg - 0
Support for ATL explicit rule calls
#177 opened by nmacedo - 0
Support for ATL unique lazy rules
#173 opened by nmacedo - 0
Support for ATL's implicit trace calls
#171 opened by nmacedo - 1
Support for ATL query helpers
#174 opened by nmacedo - 0
Support for ATL one-to-one semantics
#175 opened by nmacedo - 0
Update ATL's OCL to new engine representation
#170 opened by nmacedo - 1
Bug on multiple containments of the same type
#157 opened by nmacedo - 0
Connect ATL core to plugin
#169 opened by nmacedo - 0
suportar includesAll do OCL
#167 opened by tiagojrg - 0
Kodkod Visualizer
#158 opened by tmguimaraes - 0
Target oriented kodkod repair
#150 opened by nmacedo - 0
Ecore to kodkod translation
#151 opened by nmacedo - 0
XMI to kodkod translation
#152 opened by nmacedo - 0
QVT to kodkod translation
#153 opened by nmacedo - 0
OCL to kodkod translation
#154 opened by nmacedo - 0
Target oriented kodkod checking
#149 opened by nmacedo - 0
suportar quantificadores com multiplas variaveis
#166 opened by tiagojrg - 0
Ordering the universe might improve performance
#165 opened by tmguimaraes - 0
New elements not painted with OBD repairs
#134 opened by nmacedo - 0
Rename and Save_As
#139 opened by tiagojrg - 0
Allow domain dependencies specifications at GUI
#156 opened by nmacedo - 0
Generate increases model state scopes
#141 opened by nmacedo - 0
Generate: better root finder
#159 opened by nmacedo - 0
Support for domain dependencies
#148 opened by nmacedo - 0
N-ary repair with multiple target models
#155 opened by nmacedo - 0
N-ary repair
#147 opened by nmacedo - 0
Enable repair of n-ary constraints
#145 opened by nmacedo - 0
Process and translate n-ary relations
#143 opened by nmacedo - 0
Enable creation of n-ary constraints
#144 opened by nmacedo - 0
N-ary checking
#146 opened by nmacedo - 1
Support for ID
#131 opened by alcinocunha - 0
Lack of containment tree fails quietly
#138 opened by nmacedo - 0
Local state set not well-formed for abstract sigs
#140 opened by nmacedo - 0
Create an option to backup models before repairs
#130 opened by nmacedo - 0
Bigger integers are not processed
#137 opened by tiagojrg - 0
Delete instance
#136 opened by tiagojrg - 1
Untrack model not working properly
#132 opened by alcinocunha - 0