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
Started refactoring, added logging to server logs
Don't slice to COI when no properties given
Merge pull request #136 from chsticksel/develop

Don't slice to COI when no properties given
Need to reverse list of nodes after COI slicing
Merge pull request #137 from chsticksel/develop

Need to reverse list of nodes after COI slicing
Rewriting k-ind, about to add checksats.
More refactoring, needs testing