v1.1.1

Queries must be separated by ;

Ability to use specific replacements for query parameters

Example of a correct input:
"[]( (?x{A,B}) -> <>(?y)"; "<>(?x)"; "[]( (?x{A,B}) -> <>(?y{C, S})" ; "[]( (?x) -> <>(?y{C,F})"

v1.1.0

LTLMiner with very basic config file support.

Config file settings:
logPath - path to log in Java format
queries - very basic queries like "[](%28?x%29 -> <>%28?y%29)", "<>(?x)"
minSupport - double value from 0 to 1
considerEventTypes - boolean
outputFormat - text or console. Text will save the output into a file, console will print it out.
outputPath - path to output. Only needed if outputFormat is "text".

Not supported features: predefined replacements for query parameters. No ability to check only some of the activities present in the log.

Bachelor's thesis release

What was finished on May 14th 2015.