Output decimals which coincide with integers as n.0
Fixed string representation of types to match Lustre syntax
Fixing indexed types and node calls
Small bugfix in Lustre simplifier
Fixing and testing indexed types
First activation of condacts is correct; documentation and test cases
Merge pull request #75 from chsticksel/master

Bugfixes for Lustre input
Some more bugfixes
Merge pull request #76 from chsticksel/master

Some more bugfixes
Output of modular counterexamples
XML output of execution path
Interpreter for new transition system
Warnings and errors from parser through event interface
Counterexample extraction from PDR
Merge pull request #77 from chsticksel/master

Counterexample output
Merge remote-tracking branch 'upstream/master'