What's new in Uppaal 4.1.19 Rev 5649 Development Snapshot
Dec 29, 2014
- Fixed some problems with the concrete simulator and broadcast sync
- Improved error feedback
- Added support for "hybrid" clocks - clocks ignored for model-checking, used for SMC only. They may not be active. The type double is now ignored for model-checking purposes as well
- Added Yggdrasil to the distribution
- Improvements to the GUI
- Merged query files with the model file. There is no need for .q files any more. Existing query files can be imported
- Better undo-redo
- Updated MITL syntax and improved the stability of the checker. Still some issues with the checker
- Added some support for OSCL. More info to come
- Improved the Gantt chart
- Fixed bug 551. Fixed arrays of double as arguments of templates
- Updated the demos
- Better support of Java 8 by the install script
New in Uppaal 4.1.18 Development Snapshot (Dec 29, 2014)
- Fixed an error introduced at the release of 4.1.17 that broke parsing the extension for dynamic creation of processes.
- Added a client-server example that uses dynamic creation of processes.
New in Uppaal 4.1.17 Development Snapshot (Dec 29, 2014)
- Added support for floating point inside clock constraints (guards and invariants).
- Added support for dynamic creation of processes.
- Added tree view of the variables.
- Exceptions work again under Linux.
- Fixed assignments to clocks for SMC (broken in 4.1.16).
New in Uppaal 4.1.16 Development Snapshot (Dec 29, 2014)
- Removed license check
- Added support for double precision floating point numbers (type double)
- Changed semantics of meta variables. They are now part of the model-checker, not the states
- Added clock initializers
- Added persistent view options for labels and grid
- Added visualization of comments in the editor and simulator
- Updated freehep and added support for encapsulated pdf export
- Implemented a fix to work-around Java on Mac
- The operators
New in Uppaal 4.1.15 Development Snapshot (Dec 29, 2014)
- Using now the Clopper-Pearson bound instead of Chernoff-Hoeffding for probability evaluations (non-MPI implementation only)
- Fixed the virtual machine for some instructions doing clock arithmetics (comparisons and evaluation of functions with constant arguments)
- Fixed synchronization with broadcast channels that could be broken in certain situations
- Added warnings on models using urgent transitions with strict guards. This can break SMC
- Added new concrete simulator. This is a technological preview. The simulator is not operational on SMC models and the verifier does not interact with it
- Updated the GUI look and feel
- This version is not available for Mac because it simply does not work on that platform yet
New in Uppaal 4.0.6 Rev 2987 (Jul 12, 2007)
- The new major version of Uppaal. Notice that the GUI requires Java version 5.
- Be aware that this version contains changes to the syntax and you will need to convert your old models.
- Binaries for Mac OS X are available for download (requires MacOS 10.4 - known as Tiger - as Java 5 is not available for earlier versions).