Workcraft 3.0.6

Milestone information

Project:
Workcraft
Series:
trunk
Version:
3.0.6
Released:
2015-11-02  
Registrant:
Danil Sokolov
Release registered:
2015-11-02
Active:
No. Drivers cannot target bugs and blueprints to this milestone.  

Download RDF metadata

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

After you've downloaded a file, you can verify its authenticity using its MD5 sum or signature. (How do I verify a download?)

File Description Downloads
download icon workcraft_3.0.6.zip (md5) Distribution of Workcraft 3.0.6 for Windows 18
last downloaded 10 days ago
download icon workcraft_3.0.6.tar.gz (md5) Distribution of Workcraft 3.0.6 for Linux 14
last downloaded 9 days ago
Total downloads: 32

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
This milestone contains Public information
Everyone can see this information.