Logging of proved and disproved properties with the bound k
Merge pull request #29 from chsticksel/kind2-server

Logging of proved and disproved properties with the bound k
Closing file after reading
Merge pull request #30 from chsticksel/kind2-server

Closing file after reading
Return empty message when job is rejected on high load
Merge pull request #31 from chsticksel/kind2-server

Return empty message when job is rejected on high load
Return XML message on job submission
Return XML message on job submission
Return XML message on job submission
Merge pull request #32 from chsticksel/kind2-server

Kind2 server
Generate invariants for subrange types
Merge pull request #33 from chsticksel/kind2-server

Generate invariants for subrange types
Merge remote-tracking branch 'upstream/master'