No lower bound from inequalities in Cooper QE
Merge branch 'master' of github.com:chsticksel/kind2
Added Kind 2 server
Bugfixes in Kind server
Default path to pkind is /usr/local/bin
Option name changed in Z3
Lexer for Lustre files
Merge branch 'master' of github.com:chsticksel/kind2
Extended lexer to parse all our benchmarks
Added contracts with --@requires and --@ensures
Parser for expressions
Added positions to each expresssion
Lexer with included files
Parser for type declarations
Parser for constant declarations
Finished parser, still needs testing and optimizing
Refined parser, added clocks
Parser nearing completion, test arrays and resolve conflicts in parser
Conflict-free parser, correctly parses all examples from the reference manual
Finished parser and test cases