]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
* Use the simplifying node factory and the type checking node factory when parsing...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 13 May 2010 05:34:34 +0000 (05:34 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 13 May 2010 05:34:34 +0000 (05:34 +0000)
commit722af2d7586bcbc6d9cf8e3ca90842e2f9c541b2
tree3f2dd563062f18e20bd511cb501510c2877d6593
parent09f6ad846c4695dc0ebad9ae733f0967de1513dd
* Use the simplifying node factory and the type checking node factory when parsing the CVC format via the main method. I haven't changed the c-interface to simplify as it build.
* Remove some explicit type checks in the CVC parser. Since the type checking node factory type checks each node it creates, there's no reason to have so many explicit type checks. So I've removed some of them.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@764 e59a4935-1847-0410-ae03-e826735625c1
src/AST/NodeFactory/SimplifyingNodeFactory.cpp
src/main/main.cpp
src/parser/CVC.y
src/parser/ParserInterface.h
src/parser/parser.h
src/parser/smtlib.lex