projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Adding QF_SAT to SMT parsers
2010-06-04
Christopher L. Conway
Adding QF_SAT to SMT parsers
commit
|
commitdiff
|
tree
2010-06-04
Christopher L. Conway
Reimplementing AntlrInputStream::newStreamInputStream
commit
|
commitdiff
|
tree
2010-06-04
Christopher L. Conway
Missing files in last commit
commit
|
commitdiff
|
tree
2010-06-04
Christopher L. Conway
Enabling RDL/IDL in SMT v1 and adding some simple tests
commit
|
commitdiff
|
tree
2010-06-03
Christopher L. Conway
Implementing input from stdin (Fixes: #144)
commit
|
commitdiff
|
tree
2010-06-03
Christopher L. Conway
Changing ANTLR3 detection in configure (Fixes #147)
commit
|
commitdiff
|
tree
2010-06-01
Christopher L. Conway
Fixing test failures in production build
commit
|
commitdiff
|
tree
2010-06-01
Christopher L. Conway
Adding SMT v2 parsing support for: QF_IDL, QF_NIA,...
commit
|
commitdiff
|
tree
2010-06-01
Christopher L. Conway
Checking for executable permission on antlr3 script
commit
|
commitdiff
|
tree
2010-06-01
Christopher L. Conway
Fixing failing test in r521
commit
|
commitdiff
|
tree
2010-05-31
Christopher L. Conway
First draft implementation of mkAssociative
commit
|
commitdiff
|
tree
2010-05-27
Christopher L. Conway
Adding debug assertions on most TNode operations
commit
|
commitdiff
|
tree
2010-05-27
Christopher L. Conway
Adding NodeManager::prepareToBeDestroyed() (Fixes:...
commit
|
commitdiff
|
tree
2010-05-27
Christopher L. Conway
Adding .cvc4_config to .gitignore
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Adding CnfStreamBlack tests for all Boolean connectives
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Fixing test failures in CnfStreamBlack (it was the...
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Adding documentation to my-configure
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Fixing my-configure
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Adding contrib/my-configure
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Adding CnfStream unit tests
commit
|
commitdiff
|
tree
2010-05-26
Christopher L. Conway
Prevent lexer errors being raised if a parser error...
commit
|
commitdiff
|
tree
2010-05-14
Christopher L. Conway
Adding debugging code in PropEngine/CnfStream
commit
|
commitdiff
|
tree
2010-05-14
Christopher L. Conway
Adding ITE tests
commit
|
commitdiff
|
tree
2010-05-14
Christopher L. Conway
Adding rudimentary ITE handling in CnfStream
commit
|
commitdiff
|
tree
2010-05-14
Christopher L. Conway
Virtualizing interface between CnfStream and SatSolver
commit
|
commitdiff
|
tree
2010-05-13
Christopher L. Conway
Minor refactorings to PropEngine, SatSolver
commit
|
commitdiff
|
tree
2010-05-13
Christopher L. Conway
Minor refactorings and corrections to comments
commit
|
commitdiff
|
tree
2010-05-12
Christopher L. Conway
Adding ParserBuilder, reducing visibility of Parser...
commit
|
commitdiff
|
tree
2010-05-12
Christopher L. Conway
true and false are only defined if the core theory...
commit
|
commitdiff
|
tree
2010-05-12
Christopher L. Conway
Refactoring parser tests
commit
|
commitdiff
|
tree
2010-05-12
Christopher L. Conway
Adding class Smt2 to handle declaration of logic and...
commit
|
commitdiff
|
tree
2010-05-07
Christopher L. Conway
Tightening lexer rules for numerals in SMT v2
commit
|
commitdiff
|
tree
2010-05-06
Christopher L. Conway
Adding --strict-parsing option
commit
|
commitdiff
|
tree
2010-05-06
Christopher L. Conway
Adding AntlrInput::tokenTextSubstr
commit
|
commitdiff
|
tree
2010-05-06
Christopher L. Conway
Adding tests for Rational::fromDecimal
commit
|
commitdiff
|
tree
2010-05-06
Christopher L. Conway
Adding tests for Integer::pow
commit
|
commitdiff
|
tree
2010-05-06
Christopher L. Conway
Adding bit-vector constants in SMT2
commit
|
commitdiff
|
tree
2010-05-06
Christopher L. Conway
Implementing Rational::fromDecimal and adding support...
commit
|
commitdiff
|
tree
2010-05-04
Christopher L. Conway
Adding simple SMT2 parser tests
commit
|
commitdiff
|
tree
2010-05-04
Christopher L. Conway
Disabling semantic checks in competition mode.
commit
|
commitdiff
|
tree
2010-05-04
Christopher L. Conway
Minor change to SMT v2 grammar
commit
|
commitdiff
|
tree
2010-05-04
Christopher L. Conway
Adding general support for SMT2 set-info command
commit
|
commitdiff
|
tree
2010-05-04
Christopher L. Conway
Handling SMT 2.0 symbols and info flags
commit
|
commitdiff
|
tree
2010-05-03
Christopher L. Conway
Small mistake in previous commit
commit
|
commitdiff
|
tree
2010-05-03
Christopher L. Conway
Importing ANTLR3 lexer nextToken function to avoid...
commit
|
commitdiff
|
tree
2010-05-01
Christopher L. Conway
Adding missed antlr_input files
commit
|
commitdiff
|
tree
2010-05-01
Christopher L. Conway
Fixing private/public header warnings in parser library
commit
|
commitdiff
|
tree
2010-05-01
Christopher L. Conway
Adding comments to bounded token files
commit
|
commitdiff
|
tree
2010-04-29
Christopher L. Conway
(Not) Handling parameterized sorts in SMT v2
commit
|
commitdiff
|
tree
2010-04-29
Christopher L. Conway
Minor fix to SMT v2 parser tests
commit
|
commitdiff
|
tree
2010-04-29
Christopher L. Conway
First draft implementation of SMT v2 parser
commit
|
commitdiff
|
tree
2010-04-28
Christopher L. Conway
SMT parser has to map 'Real' to RealType
commit
|
commitdiff
|
tree
2010-04-28
Christopher L. Conway
Refactoring Input/Parser code to support external manipulati...
commit
|
commitdiff
|
tree
2010-04-27
Christopher L. Conway
Adding Integer and Rational constants to SMT
commit
|
commitdiff
|
tree
2010-04-27
Christopher L. Conway
Adding a bit of documentation to the SMT parser
commit
|
commitdiff
|
tree
2010-04-17
Christopher L. Conway
Fixing compiler error for optimized builds
commit
|
commitdiff
|
tree
2010-04-15
Christopher L. Conway
Implementing missing NodeBuilder::constructNode
commit
|
commitdiff
|
tree
2010-04-15
Christopher L. Conway
Enhancements to NodeManager tests, taking advantage...
commit
|
commitdiff
|
tree
2010-04-15
Christopher L. Conway
Removing horrible, system-locking option from Eclipse...
commit
|
commitdiff
|
tree
2010-04-15
Christopher L. Conway
Moving debug output in ~ContextObj under a conditional...
commit
|
commitdiff
|
tree
2010-04-13
Christopher L. Conway
Merging from branches/decl-scopes (r401:411)
commit
|
commitdiff
|
tree
2010-04-13
Christopher L. Conway
Doxygen fixes
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Adding black-box tests for NodeManager (Closes bug...
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Removing unused functions that were causing compiler...
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Simplifying ANTLR3 overrides
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Updating copyright exclusion
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Moving sources copied from libantlr3c to separate file
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Ignoring gcov files
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Moving code imported from libantlr3c to separate file...
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Adding match override to AntlrInput, in attempt to...
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Minor refactorings, in response to code review (Bug...
commit
|
commitdiff
|
tree
2010-04-05
Christopher L. Conway
Typos and renames for code review
commit
|
commitdiff
|
tree
2010-04-03
Christopher L. Conway
Reverting r365
commit
|
commitdiff
|
tree
2010-04-02
Christopher L. Conway
Overriding ANTLR3 error recovery routine
commit
|
commitdiff
|
tree
2010-04-02
Christopher L. Conway
Fixing double delete bug in main.cpp
commit
|
commitdiff
|
tree
2010-04-01
Christopher L. Conway
Changing min/maxArity to use metakind info.
commit
|
commitdiff
|
tree
2010-04-01
Christopher L. Conway
Parser tweaks to address review
commit
|
commitdiff
|
tree
2010-04-01
Christopher L. Conway
Adding newly generated files
commit
|
commitdiff
|
tree
2010-04-01
Christopher L. Conway
Removing Expr::operator=(uintptr_t n), as it's no longer...
commit
|
commitdiff
|
tree
2010-04-01
Christopher L. Conway
Adding check for --disable-shared on --enable-coverage
commit
|
commitdiff
|
tree
2010-03-31
Christopher L. Conway
Fix bug in SMT-LIB with let/flet bindings
commit
|
commitdiff
|
tree
2010-03-31
Christopher L. Conway
Finishing parser cleanup. Code is now review-ready.
commit
|
commitdiff
|
tree
2010-03-31
Christopher L. Conway
More parser cleanup. Should fix problems with last...
commit
|
commitdiff
|
tree
2010-03-31
Christopher L. Conway
Code cleanup in parser
commit
|
commitdiff
|
tree
2010-03-31
Christopher L. Conway
Adding 'generated/' to .gitignore
commit
|
commitdiff
|
tree
2010-03-30
Christopher L. Conway
Removing unnecessary .gitignores
commit
|
commitdiff
|
tree
2010-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
commit
|
commitdiff
|
tree
2010-03-28
Christopher L. Conway
Rm'ing test file (sorry for spam)
commit
|
commitdiff
|
tree
2010-03-28
Christopher L. Conway
Adding test file
commit
|
commitdiff
|
tree
2010-03-25
Christopher L. Conway
Merging let/flet rules in SMT parser
commit
|
commitdiff
|
tree
2010-03-25
Christopher L. Conway
Adding comments to NodeManager
commit
|
commitdiff
|
tree
2010-03-10
Christopher L. Conway
Lexical scoping for let-bound variables (Bug #53)
commit
|
commitdiff
|
tree
2010-03-10
Christopher L. Conway
Adding preliminary let/flet support to SMT parser ...
commit
|
commitdiff
|
tree
2010-03-09
Christopher L. Conway
Adding support for "distinct" builtin in SMT parser
commit
|
commitdiff
|
tree
2010-03-09
Christopher L. Conway
Adding support for sort U in QF_UF.
commit
|
commitdiff
|
tree
2010-02-27
Christopher L. Conway
Adding --mmap option to use memory-mapped file input...
commit
|
commitdiff
|
tree
2010-02-25
Christopher L. Conway
Adding Node::getOperator()
commit
|
commitdiff
|
tree
2010-02-23
Christopher L. Conway
Minor optimizations to parser (use const string& for...
commit
|
commitdiff
|
tree
2010-02-22
Christopher L. Conway
Switching to types-as-attributes in parser
commit
|
commitdiff
|
tree
2010-02-19
Christopher L. Conway
Changing minArity of AND/OR to 1 in SMT parser
commit
|
commitdiff
|
tree
next