cvc5.git
2010-05-14 Christopher... Adding ITE tests
2010-05-14 Christopher... Adding rudimentary ITE handling in CnfStream
2010-05-14 Christopher... Virtualizing interface between CnfStream and SatSolver
2010-05-13 Christopher... Minor refactorings to PropEngine, SatSolver
2010-05-13 Christopher... Minor refactorings and corrections to comments
2010-05-12 Christopher... Adding ParserBuilder, reducing visibility of Parser...
2010-05-12 Christopher... true and false are only defined if the core theory...
2010-05-12 Christopher... Refactoring parser tests
2010-05-12 Christopher... Adding class Smt2 to handle declaration of logic and...
2010-05-07 Christopher... Tightening lexer rules for numerals in SMT v2
2010-05-07 Morgan Detersmake CVC4::Rational public (fixes broken build)
2010-05-06 Christopher... Adding --strict-parsing option
2010-05-06 Christopher... Adding AntlrInput::tokenTextSubstr
2010-05-06 Christopher... Adding tests for Rational::fromDecimal
2010-05-06 Christopher... Adding tests for Integer::pow
2010-05-06 Christopher... Adding bit-vector constants in SMT2
2010-05-06 Christopher... Implementing Rational::fromDecimal and adding support...
2010-05-06 Dejan Jovanovićfixing the nightly failure. TypeCheckingException is...
2010-05-05 Dejan Jovanovićchanging the interface to bit-vector constant constructor
2010-05-05 Dejan Jovanovićbit-vector constant constructor from string
2010-05-05 Dejan Jovanovićbug fixes for types, old unit tests for types work now
2010-05-04 Christopher... Adding simple SMT2 parser tests
2010-05-04 Christopher... Disabling semantic checks in competition mode.
2010-05-04 Christopher... Minor change to SMT v2 grammar
2010-05-04 Christopher... Adding general support for SMT2 set-info command
2010-05-04 Christopher... Handling SMT 2.0 symbols and info flags
2010-05-04 Dejan JovanovićType-checking classes and hooks (not tested yet).
2010-05-03 Morgan Detersmore reasonable smt 2.0 benchmark test
2010-05-03 Morgan Detersmain driver supports .smt2 input, added an smt2 regress...
2010-05-03 Morgan Deterstheory detection fixes; fixes build breakage when you...
2010-05-03 Christopher... Small mistake in previous commit
2010-05-03 Christopher... Importing ANTLR3 lexer nextToken function to avoid...
2010-05-02 Dejan Jovanovićsmt parser for bit-vectors
2010-05-01 Dejan JovanovićFix for the last night's build errors (type that broke...
2010-05-01 Christopher... Adding missed antlr_input files
2010-05-01 Christopher... Fixing private/public header warnings in parser library
2010-05-01 Christopher... Adding comments to bounded token files
2010-04-30 Dejan JovanovićFix for bug 115, mapping was going in the wrong direction.
2010-04-29 Dejan JovanovićAdded the capability to construct expressions by passin...
2010-04-29 Christopher... (Not) Handling parameterized sorts in SMT v2
2010-04-29 Christopher... Minor fix to SMT v2 parser tests
2010-04-29 Christopher... First draft implementation of SMT v2 parser
2010-04-28 Christopher... SMT parser has to map 'Real' to RealType
2010-04-28 Tim KingMerging the arithmetic theory draft (lra-init) back...
2010-04-28 Dejan Jovanovićadding integer and real types to the public interface
2010-04-28 Dejan JovanovićBuild fix for parser
2010-04-28 Christopher... Refactoring Input/Parser code to support external manip...
2010-04-28 Tim KingAdded theory/arith/kind and enabled the smt parser...
2010-04-27 Christopher... Adding Integer and Rational constants to SMT
2010-04-27 Christopher... Adding a bit of documentation to the SMT parser
2010-04-26 Dejan JovanovićSome cleanup. Also added the integer and real types.
2010-04-26 Dejan JovanovićAdding the intermediary TypeNode to represent (and...
2010-04-17 Christopher... Fixing compiler error for optimized builds
2010-04-15 Dejan JovanovićAdding info in the minisat README
2010-04-15 Christopher... Implementing missing NodeBuilder::constructNode
2010-04-15 Christopher... Enhancements to NodeManager tests, taking advantage...
2010-04-15 Christopher... Removing horrible, system-locking option from Eclipse...
2010-04-15 Christopher... Moving debug output in ~ContextObj under a conditional...
2010-04-14 Dejan JovanovićMarging from types 404:415, changes: Massive
2010-04-14 Morgan Deters* Better dependency tracking for unit test building...
2010-04-13 Christopher... Merging from branches/decl-scopes (r401:411)
2010-04-13 Christopher... Doxygen fixes
2010-04-09 Morgan Detersminor fixes to lcov build target, better contextobj...
2010-04-09 Morgan Detersadded experimental "make lcov" target (it runs only...
2010-04-08 Morgan DetersA handful of build system fixes:
2010-04-07 Tim KingThis update contains more black-box tests as part of...
2010-04-06 Morgan Deters* Add some protected ContextObj accessors for ContextOb...
2010-04-05 Christopher... Adding black-box tests for NodeManager (Closes bug...
2010-04-05 Christopher... Removing unused functions that were causing compiler...
2010-04-05 Christopher... Simplifying ANTLR3 overrides
2010-04-05 Morgan Detersupdating COPYING file to reflect that antlr_input_impor...
2010-04-05 Christopher... Updating copyright exclusion
2010-04-05 Christopher... Moving sources copied from libantlr3c to separate file
2010-04-05 Christopher... Ignoring gcov files
2010-04-05 Christopher... Moving code imported from libantlr3c to separate file...
2010-04-05 Morgan Detersfix most of the warnings in the parser by (1) quieting...
2010-04-05 Christopher... Adding match override to AntlrInput, in attempt to...
2010-04-05 Christopher... Minor refactorings, in response to code review (Bug...
2010-04-05 Christopher... Typos and renames for code review
2010-04-05 Morgan Detersminor formatting and code guidelines, related to parser...
2010-04-04 Morgan Deters* Addressed issues brought up in Chris's review of...
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute...
2010-04-04 Morgan DetersRecommit revision 365 (undoing revision 375, which...
2010-04-03 Christopher... Reverting r365
2010-04-02 Christopher... Overriding ANTLR3 error recovery routine
2010-04-02 Christopher... Fixing double delete bug in main.cpp
2010-04-02 Tim KingFixed the 32 bit vs. 64 bit problem in the rational...
2010-04-01 Christopher... Changing min/maxArity to use metakind info.
2010-04-01 Christopher... Parser tweaks to address review
2010-04-01 Christopher... Adding newly generated files
2010-04-01 Christopher... Removing Expr::operator=(uintptr_t n), as it's no longe...
2010-04-01 Morgan Deterscvc4 --show-config now gives library version
2010-04-01 Morgan Detersreran update-copyright.pl to get new contributors and...
2010-04-01 Morgan Deters* Minor code formatting stuff in src/expr/type.{h,cpp...
2010-04-01 Morgan Detersminor forgotten things in last commit
2010-04-01 Morgan DetersPARSER STUFF:
2010-04-01 Christopher... Adding check for --disable-shared on --enable-coverage
2010-03-31 Christopher... Fix bug in SMT-LIB with let/flet bindings
2010-03-31 Christopher... Finishing parser cleanup. Code is now review-ready.
2010-03-31 Christopher... More parser cleanup. Should fix problems with last...
next