Workcraft

Workcraft 3.0.1

  1. Series trunk
  2. 3.0.1

Milestone information

Project:
Workcraft
Series:
trunk
Version:
3.0.1
Released:
 
Registrant:
Danil Sokolov
Release registered:
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:
1 Bowen Li, 73 Danil Sokolov, 10 Stan
Blueprints:
14 Implemented
Bugs:
4 Invalid, 67 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.1.zip (md5) Distribution of Workcraft 3.0.1 for Windows 13
last downloaded 4 weeks ago
download icon workcraft_3.0.1.tar.gz (md5) Distribution of Workcraft 3.0.1 for Linux 15
last downloaded 43 weeks ago
Total downloads: 28

Release notes 

This release does not have release notes.

Changelog 

This release does not have a changelog.

14 blueprints and 71 bugs targeted

Blueprint Priority Assignee Delivery
Compatibility manager Compatibility manager 4 High Danil Sokolov  11 Implemented
Compatibility with old models after renaming component classes Compatibility with old models after renaming component classes 4 High Danil Sokolov  11 Implemented
Environment STG in circuit model Environment STG in circuit model 4 High Danil Sokolov  11 Implemented
Add Reach presets for STG verification Add Reach presets for STG verification 3 Medium Danil Sokolov  11 Implemented
Copy selected portion of model into global clipboard debug in a readable unzipped form Copy selected portion of model into global clipboard debug in a readable unzipped form 3 Medium Stan  11 Implemented
Hierarchical names in workcraft Hierarchical names in workcraft 3 Medium Stan  11 Implemented
Improve circuit usability Improve circuit usability 3 Medium Danil Sokolov  11 Implemented
Refactor NameManager, UniqueNameManager and STGNameManager classes Refactor NameManager, UniqueNameManager and STGNameManager classes 3 Medium Danil Sokolov  11 Implemented
Tools for basic STG transformations Tools for basic STG transformations 3 Medium Danil Sokolov  11 Implemented
Add a posibility to clear Output and Problems text boxes Add a posibility to clear Output and Problems text boxes 2 Low Danil Sokolov  11 Implemented
Expand Tools and Help menu Expand Tools and Help menu 2 Low Danil Sokolov  11 Implemented
Recently opened files Recently opened files 2 Low Danil Sokolov  11 Implemented
Simplify the generation of node references in ReferenceManager and NameManager Simplify the generation of node references in ReferenceManager and NameManager 2 Low Danil Sokolov  11 Implemented
Unify JavaCC parsers Unify JavaCC parsers 2 Low Danil Sokolov  11 Implemented
Bug report Importance Assignee Status
1332530 #1332530 Verification with MPSat fails with confusing message 3 High Danil Sokolov  3 Invalid
1314609 #1314609 Init to 1 does not work for output ports in Circuit plugin 4 Medium Danil Sokolov  3 Invalid
1343255 #1343255 In circuit plugin a gate changes to box after its function is modified 5 Low Danil Sokolov  3 Invalid
1356964 #1356964 Only one deadlock trace is reported for Petri nets 5 Low Danil Sokolov  3 Invalid
789315 #789315 Incorrect import of .g files 2 Critical Danil Sokolov  9 Fix Committed
1336237 #1336237 Dummies and places may be assigned the same name 2 Critical Danil Sokolov  9 Fix Committed
1276668 #1276668 Connection tool is only active within the current level/group instead of all the levels 3 High Danil Sokolov  9 Fix Committed
1277521 #1277521 Signal type of newly added STG transitions may be wrong 3 High Danil Sokolov  9 Fix Committed
1287199 #1287199 Copy-paste in nested groups does not work 3 High Danil Sokolov  9 Fix Committed
1288336 #1288336 Broken copy-paste of conditional vertices in CPOG plugin 3 High Danil Sokolov  9 Fix Committed
1291931 #1291931 Copy-paste of a "doubled" implicit arc in STG causes an exception 3 High Danil Sokolov  9 Fix Committed
1317910 #1317910 Renaming signals in STG is wrong 3 High Danil Sokolov  9 Fix Committed
1321714 #1321714 Hanning connection in STG after copy-paste of a page 3 High Stan  9 Fix Committed
1326726 #1326726 Explicit place becomes implicit after saving into a file 3 High Danil Sokolov  9 Fix Committed
1326800 #1326800 Dot layout tool is broken 3 High Danil Sokolov  9 Fix Committed
1331466 #1331466 Activation of cycle analysis tool in DFS plugin results in null-pointer exception 3 High Danil Sokolov  9 Fix Committed
1333796 #1333796 Paning the editor panel with Ctrl +arrows does not work when several work tabs are open 3 High Danil Sokolov  9 Fix Committed
1338529 #1338529 Add output ports explicitly to the STG generated from circuits 3 High Danil Sokolov  9 Fix Committed
1339007 #1339007 Trace reported by MPSat does not play 3 High Danil Sokolov  9 Fix Committed
1346997 #1346997 expanding groups when simulation has excited nodes inside 3 High Stan  9 Fix Committed
1351503 #1351503 Error opening programmer constraints file for writing 3 High Danil Sokolov  9 Fix Committed
1351504 #1351504 HitMan exception after use of SCENCO tool 3 High Danil Sokolov  9 Fix Committed
1360339 #1360339 Exception on creating a page of a digital circuit gate with self-loop 3 High Stan  9 Fix Committed
1383443 #1383443 Copy-paste resents node name to default 3 High Stan  9 Fix Committed
1383493 #1383493 Polyline connection in STG is broken 3 High Danil Sokolov  9 Fix Committed
1321678 #1321678 SON models as well as many other models get an error message, when the copy-paste is used 4 Medium   9 Fix Committed
1331471 #1331471 Cycle information is missing in the cycle analysis tool of DFS plugin 4 Medium Danil Sokolov  9 Fix Committed
1332527 #1332527 Checking custom properties with Reachability analysis tool fails 4 Medium Danil Sokolov  9 Fix Committed
1333585 #1333585 in a Page MathConnection is not deleted after deleting visual connection 4 Medium Stan  9 Fix Committed
1334772 #1334772 STG simulation: trace merging does not work correctly 4 Medium Danil Sokolov  9 Fix Committed
1336239 #1336239 Select all command works incorrectly within a group 4 Medium Danil Sokolov  9 Fix Committed
1336242 #1336242 Set component label from their unique names does not work right with the groups 4 Medium Danil Sokolov  9 Fix Committed
1339233 #1339233 Start script does not work properly on Mac 4 Medium Danil Sokolov  9 Fix Committed
1340299 #1340299 Problems with circuit ports inside pages 4 Medium Stan  9 Fix Committed
1343295 #1343295 In circuit plugin position of function contacts is inconsistent for Gate renderer 4 Medium Stan  9 Fix Committed
1346840 #1346840 Namespaces are missing for signal names in the state table of simulation 4 Medium Danil Sokolov  9 Fix Committed
1346843 #1346843 Namespaces are missing for signal names in the model properties 4 Medium Danil Sokolov  9 Fix Committed
1349424 #1349424 Hierarchy separators are not acceptable by Reach language 4 Medium Danil Sokolov  9 Fix Committed
1350399 #1350399 Policy Net plugin is broken after introducing namespaces 4 Medium Danil Sokolov  9 Fix Committed
1364023 #1364023 Bounding box of group/page initially has wrong size 4 Medium Danil Sokolov  9 Fix Committed
1367438 #1367438 Pages are not properly supported in DFS, PolicyNet, CPOG anf xMAS plugins 4 Medium Danil Sokolov  9 Fix Committed
1270801 #1270801 Text box changes are ignored if Enter is not pressed 5 Low Danil Sokolov  9 Fix Committed
1277073 #1277073 Corrections of build_distr script 5 Low Danil Sokolov  9 Fix Committed
1281618 #1281618 Exception on opening a non-existent file 5 Low Danil Sokolov  9 Fix Committed
1281645 #1281645 Node coordinates inside a group are inconsistent between the PropertyEditor and the Rulers 5 Low Stan  9 Fix Committed
1287735 #1287735 Hiding contacts and arrows in Digital Circuit plugin does not look right 5 Low Danil Sokolov  9 Fix Committed
1288340 #1288340 Double-click on a variable in CPOG plugin does not change its value 5 Low Danil Sokolov  9 Fix Committed
1288772 #1288772 Positioning of RenderedText is wrong for non-square oblong VisaulComponents 5 Low Danil Sokolov  9 Fix Committed
1302041 #1302041 Dummy transitions with directions should be forbidden 5 Low Danil Sokolov  9 Fix Committed
1312185 #1312185 Incorrect drawing of arcs in CPOG plugin 5 Low Danil Sokolov  9 Fix Committed
1330404 #1330404 Renaming a port in circuit does not show changes in the referring formulas 5 Low Danil Sokolov  9 Fix Committed
1332108 #1332108 STG specific tools should not be available in Petri net plugin 5 Low Danil Sokolov  9 Fix Committed
1332115 #1332115 Verification and transformation tools are accessible in simulation mode 5 Low Danil Sokolov  9 Fix Committed
1333721 #1333721 Preferences for enabled component color should be moved from Visual to Simulation section 5 Low Danil Sokolov  9 Fix Committed
1335055 #1335055 Incorrect circuit STG generator rules 5 Low Danil Sokolov  9 Fix Committed
1339216 #1339216 Simulation traces get forgotten 5 Low Danil Sokolov  9 Fix Committed
1342652 #1342652 Assign empty set/reset functions to new circuit contacts 5 Low Danil Sokolov  9 Fix Committed
1342671 #1342671 Add one output to new function components 5 Low Danil Sokolov  9 Fix Committed
1343256 #1343256 Node names do not change until the editor panel is clicked 5 Low Danil Sokolov  9 Fix Committed
1343266 #1343266 In Circuit plugin Join component does not have a name property but has name color and position 5 Low Danil Sokolov  9 Fix Committed
1350528 #1350528 Export menu is enabled when no work is open 5 Low Danil Sokolov  9 Fix Committed
1360299 #1360299 Connection from output to input pin of the same gate of digital circuit is difficult to select 5 Low Danil Sokolov  9 Fix Committed
1364057 #1364057 Multiline labels are incompatible with SON Group 5 Low Bowen Li  9 Fix Committed
1365514 #1365514 Regional settings are ignored in the property editor 5 Low Danil Sokolov  9 Fix Committed
1366068 #1366068 Use shared STG outputs option of pcomp tool 5 Low Danil Sokolov  9 Fix Committed
1366078 #1366078 Enable the use PNML versions of Punf and MPSat tools 5 Low Danil Sokolov  9 Fix Committed
1313829 #1313829 Support for old models after renaming component classes 6 Wishlist Danil Sokolov  9 Fix Committed
1338509 #1338509 Use the same default directory for open and save operations 6 Wishlist Danil Sokolov  9 Fix Committed
1339003 #1339003 Make Set and Reset functions available in combined property editing 6 Wishlist Danil Sokolov  9 Fix Committed
1342059 #1342059 Highlight the node under the mouse cursor 6 Wishlist Danil Sokolov  9 Fix Committed
1365553 #1365553 Introduce short names for the model types 6 Wishlist Danil Sokolov  9 Fix Committed
This milestone contains Public information
Everyone can see this information.