projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2010-05-01 Christopher... Fixing private/public header warnings in parser library commit | commitdiff | tree
2010-05-01 Christopher... Adding comments to bounded token files commit | commitdiff | tree
2010-04-30 Dejan JovanovićFix for bug 115, mapping was going in the wrong direction. commit | commitdiff | tree
2010-04-29 Dejan JovanovićAdded the capability to construct expressions by passin... commit | commitdiff | tree
2010-04-29 Christopher... (Not) Handling parameterized sorts in SMT v2 commit | commitdiff | tree
2010-04-29 Christopher... Minor fix to SMT v2 parser tests commit | commitdiff | tree
2010-04-29 Christopher... First draft implementation of SMT v2 parser commit | commitdiff | tree
2010-04-28 Christopher... SMT parser has to map 'Real' to RealType commit | commitdiff | tree
2010-04-28 Tim KingMerging the arithmetic theory draft (lra-init) back... commit | commitdiff | tree
2010-04-28 Dejan Jovanovićadding integer and real types to the public interface commit | commitdiff | tree
2010-04-28 Dejan JovanovićBuild fix for parser commit | commitdiff | tree
2010-04-28 Christopher... Refactoring Input/Parser code to support external manip... commit | commitdiff | tree
2010-04-28 Tim KingAdded theory/arith/kind and enabled the smt parser... commit | commitdiff | tree
2010-04-27 Christopher... Adding Integer and Rational constants to SMT commit | commitdiff | tree
2010-04-27 Christopher... Adding a bit of documentation to the SMT parser commit | commitdiff | tree
2010-04-26 Dejan JovanovićSome cleanup. Also added the integer and real types. commit | commitdiff | tree
2010-04-26 Dejan JovanovićAdding the intermediary TypeNode to represent (and... commit | commitdiff | tree
2010-04-17 Christopher... Fixing compiler error for optimized builds commit | commitdiff | tree
2010-04-15 Dejan JovanovićAdding info in the minisat README commit | commitdiff | tree
2010-04-15 Christopher... Implementing missing NodeBuilder::constructNode commit | commitdiff | tree
2010-04-15 Christopher... Enhancements to NodeManager tests, taking advantage... commit | commitdiff | tree
2010-04-15 Christopher... Removing horrible, system-locking option from Eclipse... commit | commitdiff | tree
2010-04-15 Christopher... Moving debug output in ~ContextObj under a conditional... commit | commitdiff | tree
2010-04-14 Dejan JovanovićMarging from types 404:415, changes: Massive commit | commitdiff | tree
2010-04-14 Morgan Deters* Better dependency tracking for unit test building... commit | commitdiff | tree
2010-04-13 Christopher... Merging from branches/decl-scopes (r401:411) commit | commitdiff | tree
2010-04-13 Christopher... Doxygen fixes commit | commitdiff | tree
2010-04-09 Morgan Detersminor fixes to lcov build target, better contextobj... commit | commitdiff | tree
2010-04-09 Morgan Detersadded experimental "make lcov" target (it runs only... commit | commitdiff | tree
2010-04-08 Morgan DetersA handful of build system fixes: commit | commitdiff | tree
2010-04-07 Tim KingThis update contains more black-box tests as part of... commit | commitdiff | tree
2010-04-06 Morgan Deters* Add some protected ContextObj accessors for ContextOb... commit | commitdiff | tree
2010-04-05 Christopher... Adding black-box tests for NodeManager (Closes bug... commit | commitdiff | tree
2010-04-05 Christopher... Removing unused functions that were causing compiler... commit | commitdiff | tree
2010-04-05 Christopher... Simplifying ANTLR3 overrides commit | commitdiff | tree
2010-04-05 Morgan Detersupdating COPYING file to reflect that antlr_input_impor... commit | commitdiff | tree
2010-04-05 Christopher... Updating copyright exclusion commit | commitdiff | tree
2010-04-05 Christopher... Moving sources copied from libantlr3c to separate file commit | commitdiff | tree
2010-04-05 Christopher... Ignoring gcov files commit | commitdiff | tree
2010-04-05 Christopher... Moving code imported from libantlr3c to separate file... commit | commitdiff | tree
2010-04-05 Morgan Detersfix most of the warnings in the parser by (1) quieting... commit | commitdiff | tree
2010-04-05 Christopher... Adding match override to AntlrInput, in attempt to... commit | commitdiff | tree
2010-04-05 Christopher... Minor refactorings, in response to code review (Bug... commit | commitdiff | tree
2010-04-05 Christopher... Typos and renames for code review commit | commitdiff | tree
2010-04-05 Morgan Detersminor formatting and code guidelines, related to parser... commit | commitdiff | tree
2010-04-04 Morgan Deters* Addressed issues brought up in Chris's review of... commit | commitdiff | tree
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... commit | commitdiff | tree
2010-04-04 Morgan DetersRecommit revision 365 (undoing revision 375, which... commit | commitdiff | tree
2010-04-03 Christopher... Reverting r365 commit | commitdiff | tree
2010-04-02 Christopher... Overriding ANTLR3 error recovery routine commit | commitdiff | tree
2010-04-02 Christopher... Fixing double delete bug in main.cpp commit | commitdiff | tree
2010-04-02 Tim KingFixed the 32 bit vs. 64 bit problem in the rational... commit | commitdiff | tree
2010-04-01 Christopher... Changing min/maxArity to use metakind info. commit | commitdiff | tree
2010-04-01 Christopher... Parser tweaks to address review commit | commitdiff | tree
2010-04-01 Christopher... Adding newly generated files commit | commitdiff | tree
2010-04-01 Christopher... Removing Expr::operator=(uintptr_t n), as it's no longe... commit | commitdiff | tree
2010-04-01 Morgan Deterscvc4 --show-config now gives library version commit | commitdiff | tree
2010-04-01 Morgan Detersreran update-copyright.pl to get new contributors and... commit | commitdiff | tree
2010-04-01 Morgan Deters* Minor code formatting stuff in src/expr/type.{h,cpp... commit | commitdiff | tree
2010-04-01 Morgan Detersminor forgotten things in last commit commit | commitdiff | tree
2010-04-01 Morgan DetersPARSER STUFF: commit | commitdiff | tree
2010-04-01 Christopher... Adding check for --disable-shared on --enable-coverage commit | commitdiff | tree
2010-03-31 Christopher... Fix bug in SMT-LIB with let/flet bindings commit | commitdiff | tree
2010-03-31 Christopher... Finishing parser cleanup. Code is now review-ready. commit | commitdiff | tree
2010-03-31 Christopher... More parser cleanup. Should fix problems with last... commit | commitdiff | tree
2010-03-31 Christopher... Code cleanup in parser commit | commitdiff | tree
2010-03-31 Christopher... Adding 'generated/' to .gitignore commit | commitdiff | tree
2010-03-30 Christopher... Removing unnecessary .gitignores commit | commitdiff | tree
2010-03-30 Christopher... Merging from branches/antlr3 (r246:354) commit | commitdiff | tree
2010-03-30 Morgan Detersagain, re-enabling integer/rational tests (though they... commit | commitdiff | tree
2010-03-30 Morgan DetersI think this finishes off the CDMap<>/Attribute leaks commit | commitdiff | tree
2010-03-30 Morgan Detersfixing mistaken commit to unit test Makefile.am which... commit | commitdiff | tree
2010-03-30 Morgan DetersHighlights of this commit are: commit | commitdiff | tree
2010-03-28 Tim KingImproved the documentation and testing for Rational. commit | commitdiff | tree
2010-03-28 Christopher... Rm'ing test file (sorry for spam) commit | commitdiff | tree
2010-03-28 Christopher... Adding test file commit | commitdiff | tree
2010-03-26 Tim KingAdded GMP backed Rational and Integer classes, and... commit | commitdiff | tree
2010-03-25 Christopher... Merging let/flet rules in SMT parser commit | commitdiff | tree
2010-03-25 Christopher... Adding comments to NodeManager commit | commitdiff | tree
2010-03-25 Morgan Detersnew domain-specific language for kinds files: permits... commit | commitdiff | tree
2010-03-23 Clark BarrettDocumented that ContextObj::destroy() only restores... commit | commitdiff | tree
2010-03-23 Tim KingFixed some memory cleanup and destruction issues with... commit | commitdiff | tree
2010-03-16 Morgan Deters* test/unit/Makefile.am, test/unit/expr/attribute_white.h, commit | commitdiff | tree
2010-03-15 Morgan DetersThis checkin resolves bug #57. commit | commitdiff | tree
2010-03-14 Morgan Deters* test/unit/context/context_black.h: added a test for... commit | commitdiff | tree
2010-03-13 Clark BarrettFix for bug 45 commit | commitdiff | tree
2010-03-12 Morgan Deters* src/context/cdmap.h: rename orderedIterator to iterat... commit | commitdiff | tree
2010-03-12 Dejan JovanovićFixing unnecessary construction of NOT nodes when... commit | commitdiff | tree
2010-03-12 Morgan Deters* Added shutdown() functions to SmtEngine, TheoryEngine... commit | commitdiff | tree
2010-03-11 Morgan Detersnaive rewriting to fix minisat invariant; rewrite ... commit | commitdiff | tree
2010-03-11 Dejan JovanovićChanging const TNode& to TNode in the CNF conversion... commit | commitdiff | tree
2010-03-11 Tim KingAdded some hand generated UF tests. Unfortunartely... commit | commitdiff | tree
2010-03-11 Dejan JovanovićBoolean variables were marked as theory literals by... commit | commitdiff | tree
2010-03-11 Dejan JovanovićFix for the main bug that was bugging me -- Bug 49... commit | commitdiff | tree
2010-03-10 Morgan Detersfix production-build unit testing errors (they assumed... commit | commitdiff | tree
2010-03-10 Christopher... Lexical scoping for let-bound variables (Bug #53) commit | commitdiff | tree
2010-03-10 Christopher... Adding preliminary let/flet support to SMT parser ... commit | commitdiff | tree
2010-03-09 Christopher... Adding support for "distinct" builtin in SMT parser commit | commitdiff | tree
2010-03-09 Christopher... Adding support for sort U in QF_UF. commit | commitdiff | tree
2010-03-09 Dejan JovanovićAdding the smallest of test cases from the smtlib. commit | commitdiff | tree
next