Sat Jun 1 2024 22:09:57 EDT
Hide Search Description
29 bugs found.
ID Product Comp Assignee▲ Status▲ Resolution Summary Changed
505873 EFM modeling efm-inbox UNCO --- [releng] make the first release of modeling in 0.0.1 version 2016-10-13
509279 EFM modeling efm-inbox UNCO --- [releng] default updatesite to not embeded reference to papyrus designer 2016-12-15
509280 EFM modeling efm-inbox UNCO --- [rcp] rcp seems not to be executable 2016-12-15
509282 EFM modeling efm-inbox UNCO --- [releng] plugins dependencies error 2017-03-28
509284 EFM modeling efm-inbox UNCO --- [userxp] menu should be groupped under EFM 2016-12-15
510636 EFM modeling efm-inbox UNCO --- [GUI] Plugin Extension settings formalML profile 2017-01-18
511552 EFM modeling efm-inbox UNCO --- [GUI] adding templates to new project wizard 2017-02-09
511556 EFM modeling efm-inbox UNCO --- [GUI] Group EFM preferences 2017-02-10
511565 EFM modeling efm-inbox UNCO --- [GUI] Refactor Examples w.r.t. profile upgrade 2017-02-02
511566 EFM modeling efm-inbox UNCO --- [DOC] Update Help Contents 2017-02-02
511573 EFM modeling efm-inbox UNCO --- [GUI] Create EFM perspective 2017-03-29
511576 EFM modeling efm-inbox UNCO --- [GUI] FML-XLIA nature for OpaqueBehavior 2017-02-02
511757 EFM modeling efm-inbox UNCO --- [GUI] Centralize graphical resources 2017-02-15
511835 EFM modeling efm-inbox UNCO --- [GIT] gitignore xtend-gen 2017-02-10
511915 EFM modeling efm-inbox UNCO --- [REFACTOR] Assess viability of chaperon projects removal 2017-02-08
512037 EFM modeling efm-inbox UNCO --- [GUI] Correct icons for PropertyView disappearance 2017-02-10
514316 EFM modeling efm-inbox UNCO --- [GUI] extract-generalize gui code from runconfiguration 2017-03-28
514634 EFM modeling efm-inbox UNCO --- [REFACTOR] refactor the project 2021-05-12
518875 EFM modeling efm-inbox UNCO --- Translation of UML Interaction diagrams to Formal Modeling Language (xLIA) 2017-07-27
509339 EFM modeling efm-inbox NEW --- [Help Contents] efm help has been deconnected from the Help Contents 2017-02-09
509368 EFM modeling efm-inbox NEW --- [Developer Doc] How to contribute recommendation 2017-02-09
511094 EFM modeling efm-inbox NEW --- [formalml] update formalml and associated utilities 2017-05-22
511825 EFM modeling efm-inbox NEW --- [GUI] Another Water System Papyrus Example with two Pumps instances 2017-02-07
511978 EFM modeling efm-inbox NEW --- [core] validation rules for formalml profile 2017-02-09
512217 EFM modeling efm-inbox NEW --- [GUI] Update of Run-Configuration options 2017-05-09
513796 EFM modeling efm-inbox NEW --- [GUI] Adding dedicated perspectives for modeling & executing (of symbex workflow) 2017-03-17
520516 EFM modeling efm-inbox NEW --- [codegen] xlia code generation from sequence diagrams 2018-01-16
521459 EFM modeling efm-inbox NEW --- [editor] Bug copy command 2017-08-28
521463 EFM modeling efm-inbox NEW --- [editor] Numbers format 2017-08-28
29 bugs found.
CSV Feed iCal

as