Version 1.3

Added filtering option

Version 1.2.2b

Small fix to --printout option

Version 1.2.2

Additional command line option (--printout)

Version 1.2.1

A few bugfixes to type resolution

Version 1.2

Single modification: workers that time out are reported

Version 1.1.1

A single bugfix in the AST to RDF conversion

Version 1.1

Multiple additions:

• Caching of results
• Temporary results when interrupting the program
• Nicer HTML report
• More robust to various errors and exceptions
• Hierarchical summaries
• Various bugfixes

Version 1.0

v1.0

Fixed command line parsing