summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2009-12-07antlr parser for the cvc4 language (boolean only)Dejan Jovanović
yet to be finalized, it should work as expected
2009-12-06Big chunk of changes:Dejan Jovanović
* Fixed bugs in option parsing * Simplified the main.cpp significantly (more c++ like) * Added the null kind, expr value, and expression, with the default constructor public * Simplified commands, we need to discuss this in the meeting (what to do with command results?) * Removed all the lex/yacc files * Symbol table is now a templated class, as we will have tables for variables, predicates and functions * The ANTLR parsing infrastructure/makefiles is all in. SMT lib Boolean benchmarks should parse + giving nice error such as Parse Error: /home/dejan/eclipse-cxx/smtlib-parser/test/test4.smt:3:16: Undeclared variable p Parse Error: /home/dejan/eclipse-cxx/smtlib-parser/test/test2.smt:2:11: unexpected token: sa Didn't add any unit tests as the unit testing doesn't work with the updated build system -- it doesn't know how to create directories in the corresponding build directory. TODO: * add the PL grammar and unit test when the testing becomes available * with this build setup my eclipse debugger doesn't work. Might have something to do with the visibility of symbols? * i'm getting g++ depracated warnings regarding the hash_map from the symbol table, need to figure out how to use it in a standard manner. the new <unordered_map> header is for C++0x, and the <ext/hash_map> is getting deprecation warningns... weird.
2009-12-05more build system workMorgan Deters
2009-12-04more build system workMorgan Deters
2009-12-04Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting ↵Dejan Jovanović
antlr SMT grammar that should compile, but is not yet integrated. Tests of compilation and antlr crashes appreciated.
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-28Added an EmptyCommand and a CommandSequence commands and changed the parser ↵Dejan Jovanović
a bit.
2009-11-26Commands and the eclipse C++ project settings.Dejan Jovanović
2009-11-26Enough parsing for tonight. Added:Dejan Jovanović
* Everything goes through the ParserState instead of coding in lex/yacc files * Bare Boolean SMT lexer/parser * Basic commands To be completed: ParserState method implementations, parser.h/parser.cpp, make it compile and run...
2009-11-25additional work on parser hookup, configuration + buildMorgan Deters
2009-11-24Missed file: symbol_table.hChristopher L. Conway
2009-11-24Parser should be complete for BooleansChristopher L. Conway
2009-11-24oops, missed a fileMorgan Deters
2009-11-24various fixes and updates to use and support parserMorgan Deters
2009-11-24Stubbing commandsChristopher L. Conway
2009-11-24Stubbing commandsmakeChristopher L. Conway
2009-11-24Parser for boolean exprs (no commands)Christopher L. Conway
2009-11-24Partial parser for booleansChristopher L. Conway
2009-11-24configure option adjustments as per 11/24 meeting; various fixes and ↵Morgan Deters
improvements
2009-11-23fixups, file commentsMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
2009-11-20fix to expr #includes; better test-environment configurationMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-18work on exprs, driver, utilMorgan Deters
2009-11-17ignored itemsMorgan Deters
2009-11-17from meetingMorgan Deters
2009-11-17from meetingMorgan Deters
2009-11-17from meetingMorgan Deters
2009-11-17fixes/redesign of source layout from meetingMorgan Deters
2009-11-17another passMorgan Deters
2009-11-17fixes and additionsMorgan Deters
2009-11-12minor fixesMorgan Deters
2009-11-12parser, minisat, other things..Morgan Deters
2009-11-09minor fixes, added contrib directoryMorgan Deters
2009-11-03additional headers and modifications; now passes syntax checkMorgan Deters
2009-11-03additional headersMorgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback