LSD: models at k-1/k returned as a model at 0/1.
LSD: input terms now assumed to be 0/1 not -1/0.
Bug fix for paul.
Bug fix for paul.
Tweaking things for Paul
Bug fix in LSD.
Bugfix in LSD.
Fixed information printing in verbose modes.
Merge pull request #155 from AdrienChampion/bugfix_step-statistics

Fixed information printing in verbose modes.
Do not search in path if absolute path given
Merge pull request #156 from chsticksel/develop

Do not search in path if absolute path given
Merge remote-tracking branch 'upstream/develop' into invariantGeneration
LSD with models at -1/0.
Merge pull request #158 from AdrienChampion/invariantGeneration

Invariant generation: lock step driver
Base and step now stop at flags.bmc_max.
Merge pull request #160 from AdrienChampion/feature_k-induction-max-k

Base and step now stop at flags.bmc_max.
Deactivate slicing to COI in interpreter
Merge pull request #161 from chsticksel/develop

Deactivate slicing to COI in interpreter
Numeral constants can be negative in Lustre input

Numerals are always positive, negative numerals have a unary minus
applied to their absolute values. Allow negative numerals as constants
in Lustre input.
Merge pull request #163 from chsticksel/develop

Numeral constants can be negative in Lustre input