IDES Release Notes

Version: 2.1 beta 5
Date: August 2008

Known issues

* Poor automatic placement of event labels on edges
* Occasional poor automatic placement of edges
* Node labels may not be centered properly when exporting
  to LaTeX or EPS
* Potential problems when using the uniform node size option
* DES operations are not formally verified
* Automatic layout of the result of operations is slow
* There is no way to select more than two models when performing
  DES operations such as "product"
* Font size is small

Changelog

Version: 2.1 beta 5

* Fix to "supcon" operation
* Fix to FSA implementation bug which could lead to incorrect DES operation results
* Other minor bugfixes

Version: 2.1 beta 4

* Introduction of Undo and Redo
* New appearance of edges depending on controllability
  and observability. Controllable edges have a little
  marker, unobservable edges are dashed. 
* Models can be renamed
* New export to JPEG and PNG files
* Fix to export to EPS
* "Use uniform node size" is now graph-specific
* IDES now remembers your interface settings, such
  as viewed portion of the model, zoom level, etc.,
  when switching between models
* Addition of the Multi-Agent product operation
* "Filmstrip" at the bottom automatically scrolls to
  active model.
* Numerous bugfixes

Version: 2.1 beta 3

* Greater usability when drawing graphs
* Performance improvements (speed and memory footprint)
* Large graphs with more than 100 states are not displayed
  graphically by default
* New I/O subsystem
* Automatic labeling of nodes
* New "save modified models" dialog
* Import/export of TCT and Grail+ files
* Resolved occasional issues with the labelling of nodes
  after composition operations (e.g., synchronous product)
* Smaller default node size so graphs look nicer
* Compatibility issues with newer versions of MikTeX resolved
* Improvements to the UI under MacOS
* Numerous bugfixes