Mon May 20 2024 02:01:58 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
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
510636 EFM modeling efm-inbox UNCO --- [GUI] Plugin Extension settings formalML profile 2017-01-18
511094 EFM modeling efm-inbox NEW --- [formalml] update formalml and associated utilities 2017-05-22
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
511825 EFM modeling efm-inbox NEW --- [GUI] Another Water System Papyrus Example with two Pumps instances 2017-02-07
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
511978 EFM modeling efm-inbox NEW --- [core] validation rules for formalml profile 2017-02-09
512037 EFM modeling efm-inbox UNCO --- [GUI] Correct icons for PropertyView disappearance 2017-02-10
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
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
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