Add camlp4 to the requirements
Classify a predicate definition as init or trans
Merge pull request #129 from chsticksel/hotfix-trans-sys

Classify a predicate definition as init or trans
Make topmost node call visible in transition sys.
Merge pull request #130 from chsticksel/develop

Make topmost node call visible in transition sys.
Added Mingyu's changes
Merge pull request #131 from chsticksel/develop

Added Mingyu's changes
Expose topmost predicate definition in transSys
Merge pull request #132 from chsticksel/develop

Expose topmost predicate definition in transSys
Add pretty-printing of value
Merge pull request #133 from chsticksel/develop

Add pretty-printing of value
Add pretty-printing of value
Merge pull request #134 from chsticksel/develop

Add pretty-printing of value
Converted to Eliom 4 and started refactoring
Merge branch 'develop' of github.com:chsticksel/kind1 into develop
Delay instead of assertion failure on unsat core

PDR delegates the check for zero- and one-step counterexamples whenever
BMC is running in parallel, but it assumes this fact when
generalizing. This may lead to an empty blocking claus in inductive
generalization. If that happens we restart PDR to give BMC a chance to
catch up and send the disproved message to PDR.
Merge branch 'develop' of github.com:chsticksel/kind2 into develop
Merge pull request #135 from chsticksel/develop

Delay instead of assertion failure on unsat core
Renaming and write to logfiles
Merge branch 'develop' of github.com:chsticksel/kind2 into develop