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
More refactoring, needs testing
Logging, clean up old jobs, refactoring
Merge pull request #138 from chsticksel/develop

Refactored web service
Changed configuration
Merge remote-tracking branch 'upstream/develop' into develop
Bugfix for constant inputs in condacts
Merge pull request #139 from chsticksel/develop

Bugfix for constant inputs in condacts
Extract with XOR operator