From c16be5841e613818d5764e4de99e4694a0703685 Mon Sep 17 00:00:00 2001 From: Dejan Jovanović Date: Sun, 6 Dec 2009 02:21:46 +0000 Subject: Big chunk of changes: * 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 header is for C++0x, and the is getting deprecation warningns... weird. --- .cproject | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to '.cproject') diff --git a/.cproject b/.cproject index 48b556d95..d2f8a008a 100644 --- a/.cproject +++ b/.cproject @@ -19,7 +19,7 @@ - + @@ -146,6 +146,8 @@ + + -- cgit v1.2.3