Merge pull request #161 from chsticksel/develop

Deactivate slicing to COI in interpreter
Merge pull request #163 from chsticksel/develop

Numeral constants can be negative in Lustre input
Merge pull request #166 from chsticksel/develop

Use shadow inputs as cur. state inputs in condacts
Merge pull request #167 from chsticksel/develop

Output runtime when property proved or disproved
Grepable output of final time.
Easily greppable tags.
Merge pull request #169 from AdrienChampion/feature_output-final-time

Grepable output of final time.
Base and step now add valid props as invariants.
Removing obsolete update_trans_sys_tsugi in event.
Merge pull request #171 from AdrienChampion/bugfix_kind-valids-as-invariants

Bugfix kind valids as invariants
Merge pull request #172 from chsticksel/develop

Better support for CVC4
Merge pull request #173 from chsticksel/develop

Warn if using inductive step without BMC
Merge pull request #175 from chsticksel/develop

Omit unsat core option to solver if not needed
Merge pull request #177 from chsticksel/develop

Call aclocal from autogen.sh, update ZeroMQ
Merge pull request #178 from chsticksel/develop

Only path compression with equality by default
Merge pull request #179 from chsticksel/develop

Fix for updated ZeroMQ interface
Added easily greppable tags for timeout, error, and interruption.
Merge pull request #181 from AdrienChampion/feature_timeout-tag

Added easily greppable tags for timeout, error, and interruption.
Move tracing functions down to SMTLIBSolver module
Merge pull request #190 from mebsout/yices_native_support

Move tracing functions down to SMTLIBSolver module