| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
throughout the code. I also added debugPrint() to Node for use within gdb.
|
|
in debug mode. All regress tests currently pass.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
build to break on 64-bit machines. Changed to LT(1), it works now, but i'll ask around how this actually works.
|
|
|
|
|
|
|
|
|
|
Use vector instead of linked list for Scopes
Added CDO and CDList templates
|
|
associativity stufff is now in the grammar. All the parser tests pass now.
|
|
hash collision for distinct objects
|
|
|
|
for multiple-query cases
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
various cleanups; renamed numChildren() to getNumChildren() and added it to NodeBuilder interface; fancier, non-exponential CNF conversion with variable introduction is still buggy (?)
|
|
|
|
|
|
also support synonyms for "make check" globally
|
|
|
|
|
|
test/unit/expr/node_black.h
|
|
|
|
|
|
NodeBuilder. outstanding SEGVs fixed
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
null, or expression is null.
|
|
|
|
|
|
|
