Issues · atsyra / atsyra-dev · GitLab

Mentions légales du service

Snippets Groups Projects

Git-LFS is now available on our GitLab instance.
Please note that the quota check is now in blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab

GitLab upgrade completed. Current version is 17.8.2.

Issue Investigate CEGAR techniques to improve goal search efficiency 0 of 2 checklist items completed

#425 created 11 months ago by Vojtisek Didier
AssetBasedSystem
updated 11 months ago
Issue Test performance of "reusable" guard style 0 of 2 checklist items completed

#422 created 1 year ago by Vojtisek Didier
AssetBasedSystem
Issue Test performance of 2 guard styles

#421 created 1 year ago by Vojtisek Didier
AssetBasedSystem
updated 1 year ago
Issue add more biblio on atsyra2.irisa.fr web site 0 of 2 checklist items completed

#420 created 1 year ago by Vojtisek Didier
AssetBasedSystem
Issue Find scenario performance

#419 created 1 year ago by William Ragot
AssetBasedSystem Prio - High To Do
updated 1 year ago
Issue Add a tool to automate the creation of a web/asciidoc document from an abs metamodel

#416 created 1 year ago by Vojtisek Didier
AssetBasedSystem
Issue Add a tool that allow to estimate the size of the model (related to the asset type) 0 of 2 checklist items completed

#415 created 1 year ago by Vojtisek Didier
AssetBasedSystem Prio - High To Do
updated 11 months ago
Issue NPE when an action used an Asset that not exists in the model

#413 created 1 year ago by William Ragot
abs2gal AssetBasedSystem Bug To Do
updated 1 year ago
Issue Prevent the definition of multiple PrimitiveDataType with the same name

#411 created 1 year ago by Maxime Audinot
AssetBasedSystem Bug
Issue Extract Word from requirement in order to build a large domain metamodel from it

#398 created 1 year ago by Vojtisek Didier
AssetBasedSystem To Do
updated 1 year ago
Issue rename nightly into latest_dev

#388 created 1 year ago by Vojtisek Didier
AssetBasedSystem To Do
updated 1 year ago
Issue Validation of Contracts and goals in Eclipse should follows imports instead of working by project

#386 created 1 year ago by Maxime Audinot
AssetBasedSystem Bug Prio - Low
updated 1 year ago
Issue ABS2JSON at build

#377 created 1 year ago by William Ragot
AssetBasedSystem Prio - Medium
updated 1 year ago
Issue [Sirius] highlight Assets that are present more than once in an AssetDiagram 0 of 2 checklist items completed

#369 created 1 year ago by Vojtisek Didier
AssetBasedSystem Feature request Prio - Low To Do
updated 1 year ago
Issue [Sirius] allows linking Assets by drag'n drop from any sub zone of the Asset box

#367 created 1 year ago by Vojtisek Didier
AssetBasedSystem Feature request Prio - Low To Do
Issue [Sirius] Asset dialog field is displayed with wrong info when editing

#365 created 1 year ago by Vojtisek Didier
AssetBasedSystem Bug Prio - Medium To Do
updated 1 year ago
Task adaptation K3 (contract and expression evaluation)

#360 created 1 year ago by Vojtisek Didier
updated 1 year ago
Issue [Sirius] add support to manage bidirectionnal reference in Domain diagram 0 of 3 checklist items completed

#357 created 1 year ago by Vojtisek Didier
AssetBasedSystem Feature request Prio - Low To Do
updated 1 year ago
Issue add locales/fr folder in project wizard template

#355 created 1 year ago by Vojtisek Didier
AssetBasedSystem Prio - Low To Do
updated 1 year ago
Issue add opposite references applied to dynamic part

#350 created 2 years ago by Vojtisek Didier
AssetBasedSystem Prio - Medium