User Tools

Site Tools


Workcraft v3.1.6 (2017-09-21)

Usability improvements

  • New class of commands to report model complexity: generic statistics for all models and advanced complexity estimates for Petri net, STG and Circuit models. These commands are available under Tools→Statistics menu.
  • Tracking the current directory for open/save operations (the same directory is used for both).
  • User-defined colours for selection and highlight of model components.

Model and tool plugins

  • Digital Circuit plugin
    • Improvement of the conformation check to properly handle replication of places with read arcs.
    • Handle name clashing when circuit port is renamed.
    • Redraw gate when its contact is renamed.
    • Update position of the gate pins only if its set/reset function does really change.

Fixes and technical stuff

  • Decouple import/export formats from the core.
  • Configure logj4 output for PDF exporter.
  • Updated Plato backend for circuit specification using Concepts DSL.
  • Switch to Java 8 and remove deprecated Java 7 from Travis checks.
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki