Upload six files
Merge remote-tracking branch 'upstream/master'
"merge"
Updates kind2server and service.eliom, now the submitjob retrievejob and canceljob is properly working for the most part
Merge remote-tracking branch 'upstream/master'
clean up codes, and add up _deps directory to test compiling
upload the _deps repo
Save last index of fresh abstraction state variable with node
Configuration file for service.eliom
Configuration that contains font information
_deps turns out to be unneccessary, remove it
Change port number to 8484
modified canceljob and retrievejob function so that unix.error is removed
Merge branch 'master' of http://github.com/magicpt100/kind2
Rewriting k-inductive step procedure
New messages to maintain state about properties
Rewritten and functorized messaging module
Fix the unexpect behavior in canceljob and retrievejob func, change port number
New messaging and rewritten BMC
BMC rewritten
Documentation