Workcraft 3.0.6
Milestone information
- Project:
- Workcraft
- Series:
- trunk
- Version:
- 3.0.6
- Released:
- Registrant:
- Danil Sokolov
- Release registered:
- Active:
- No. Drivers cannot target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- 3 Alessandro de Gennaro, 1 Bowen Li, 14 Danil Sokolov
- Blueprints:
- 11 Implemented
- Bugs:
- 7 Fix Committed
Download files for this release
Release notes
This release does not have release notes.
Changelog
This release does not have a changelog.
11 blueprints and 7 bugs targeted
Blueprint | Priority | Assignee | Delivery | |
---|---|---|---|---|
Converter form xMAS to STG model | Converter form xMAS to STG model | 4 High | Danil Sokolov | 11 Implemented |
Advanced encoding of CPOG scenarios | Advanced encoding of CPOG scenarios | 3 Medium | Alessandro de Gennaro | 11 Implemented |
Extend replica places from read-arcs to producing and consuming arcs | Extend replica places from read-arcs to producing and consuming arcs | 3 Medium | Danil Sokolov | 11 Implemented |
Refactor MPSat plugin | Refactor MPSat plugin | 3 Medium | Danil Sokolov | 11 Implemented |
Support for read-arcs | Support for read-arcs | 3 Medium | Danil Sokolov | 11 Implemented |
Visualisation of CVC cores in STG model | Visualisation of CVC cores in STG model | 3 Medium | Danil Sokolov | 11 Implemented |
Binary-encoded FST for an STG | Binary-encoded FST for an STG | 2 Low | Danil Sokolov | 11 Implemented |
PetriNets to CPOG converter exploiting Untangling formalism | PetriNets to CPOG converter exploiting Untangling formalism | 2 Low | Alessandro de Gennaro | 11 Implemented |
Refactor the STG generators for xMAS, DFS and Circuit models | Refactor the STG generators for xMAS, DFS and Circuit models | 2 Low | Danil Sokolov | 11 Implemented |
Verification for zero delay buffers and inverters | Verification for zero delay buffers and inverters | 2 Low | Danil Sokolov | 11 Implemented |
Time consistency checking tool for SON plugin | Time consistency checking tool for SON plugin | 2 Low | Bowen Li | 11 Implemented |
Bug report | Importance | Assignee | Status | |||
---|---|---|---|---|---|---|
1502713 | #1502713 | Visual connections are not created on import of .g file | 2 Critical | Danil Sokolov | 9 Fix Committed | |
1502715 | #1502715 | Results of CSC resolution by MPSat cannot be read | 2 Critical | Danil Sokolov | 9 Fix Committed | |
1500356 | #1500356 | xMAS Queue only correctly works for default capacity | 3 High | Danil Sokolov | 9 Fix Committed | |
1503646 | #1503646 | Composition of circuit with environment STG change inputs into outputs | 4 Medium | Danil Sokolov | 9 Fix Committed | |
1480444 | #1480444 | Temporary ScEnco files are not always removed | 5 Low | Alessandro de Gennaro | 9 Fix Committed | |
1505243 | #1505243 | External visualisation of state graphs with wraite_sg and draw_astg tools | 5 Low | Danil Sokolov | 9 Fix Committed | |
1503641 | #1503641 | Clean up the external task window | 6 Wishlist | Danil Sokolov | 9 Fix Committed |