4
High
|
Visualisation of a simulation trace as a timing diagram
|
0
Approved
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
|
3
Medium
|
Generate a list of relative timing assumptions for signoff
|
0
Approved
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
|
3
Medium
|
Read MPSat verification results from XML output
|
0
Approved
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
|
3
Medium
|
Simulating the composed models
|
0
Approved
|
6
Slow progress
|
Stan
|
|
|
3
Medium
|
structural property checking for Alter-SON
|
0
Approved
|
7
Good progress
|
Bowen Li
|
Bowen Li
|
|
2
Low
|
Move connection label into the core
|
0
Approved
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
|
2
Low
|
Adequate copy-paste with pages
|
0
Approved
|
1
Not started
|
Danil Sokolov
|
Stan
|
|
2
Low
|
Update to page referencing from algebra in CPOG plug in
|
0
Approved
|
7
Good progress
|
Jonny Beaumont
|
Jonny Beaumont
|
Danil Sokolov
|
2
Low
|
Migrate from FlexDock to DockingFrames
|
0
Approved
|
0
Unknown
|
|
Danil Sokolov
|
|
2
Low
|
Smart Bezier connections
|
0
Approved
|
1
Not started
|
|
Andrey Mokhov
|
|
2
Low
|
Statistics about the model complexity
|
0
Approved
|
1
Not started
|
|
Danil Sokolov
|
|
2
Low
|
User-defined colours for selection and highlight of the node under the mouse
|
0
Approved
|
1
Not started
|
Danil Sokolov
|
Bowen Li
|
|
2
Low
|
Improve the consistency of class names.
|
4
Discussion
|
1
Not started
|
|
Danil Sokolov
|
|
2
Low
|
Separate filter plugins (importers/exporters/converters) need to be composed into filter chains
|
4
Discussion
|
1
Not started
|
|
|
|
2
Low
|
Move the classes related to boolean formulas to the core
|
4
Discussion
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
|
2
Low
|
Distribute Workcraft in JAR format
|
4
Discussion
|
1
Not started
|
|
Danil Sokolov
|
|
2
Low
|
page placement mechanism for avoiding overlapping problem
|
4
Discussion
|
1
Not started
|
Stan
|
Bowen Li
|
|
2
Low
|
Library of templates for frequently used primitives
|
4
Discussion
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
|
2
Low
|
Filtering the Property editor items
|
4
Discussion
|
1
Not started
|
|
Danil Sokolov
|
|
2
Low
|
Font selector for the textual information
|
4
Discussion
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
Danil Sokolov
|
2
Low
|
Flexible text positioning
|
4
Discussion
|
1
Not started
|
Danil Sokolov
|
Danil Sokolov
|
Danil Sokolov
|