As a result of the bug, a model move could be seen as a log move, which caused the merge of the subalignments to block. As a result of the bug fix, the option to prefer synchronous moves on the border transitions has been reinstated. Earlier on, this option resulted in these blocking merges, quite … [Read more…]
On Monday April 16, 2018, the ProM website has been moved to a new server. ProM users and website users should not really notice any change. All contents have been migrated. Cron job for keeping the package repository up-to-date has been changed. Also required an svn upgrade of the package repository. Cron job for updating … [Read more…]
Presented on the AIS Staff meeting of March 29, 2018.
This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 or a recent ProM Nightly Build.
See the development page for ProM 6.8.
This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 or a recent ProM Nightly Build.
This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 or a recent ProM Nightly Build.
Recent Comments