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.
Log moves that did not have a corresponding transition in the model were not counted for in the raw fitness costs. Such moves were not part of any subalignment, and hence were not counted for. Many thanks to Jonathan Lee for noticing the bug.
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.
Recent Comments