projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2010-02-22 Morgan Detersfix bug 33 (statically link the "cvc4" binary); also... commit | commitdiff | tree
2010-02-22 Morgan Detersfix bug 22 (remove tracing from non-trace builds; remov... commit | commitdiff | tree
2010-02-19 Morgan Detersspecialized implementation for boolean node attributes... commit | commitdiff | tree
2010-02-19 Morgan Deters* Attribute infrastructure -- static design. Documenta... commit | commitdiff | tree
2010-02-19 Christopher... Changing minArity of AND/OR to 1 in SMT parser commit | commitdiff | tree
2010-02-18 Christopher... Adding --no-checking option to disable semantic checks... commit | commitdiff | tree
2010-02-18 Christopher... Rm'ing doc from SUBDIRS commit | commitdiff | tree
2010-02-18 Christopher... Adding doxygen configuration parameters and doxygen... commit | commitdiff | tree
2010-02-17 Tim KingInitial draft of TheoryUF. Should compile without probl... commit | commitdiff | tree
2010-02-17 Morgan Detersfix bug 27: --with-cxxtest-dir=(relative-path) now... commit | commitdiff | tree
2010-02-16 Christopher... Moving parser error checking into AntlrParser commit | commitdiff | tree
2010-02-16 Christopher... Adding --parse-only option commit | commitdiff | tree
2010-02-16 Dejan Jovanovićremoving assertion and warning that shouldn't be there... commit | commitdiff | tree
2010-02-16 Christopher... Removing spurious commit of configure commit | commitdiff | tree
2010-02-16 Christopher... Converting semantic predicates in parser to AlwaysAsser... commit | commitdiff | tree
2010-02-13 Dejan Jovanovićsimplification minisat commit | commitdiff | tree
2010-02-13 Dejan JovanovićImprovements to CNF conversion when already in CNF commit | commitdiff | tree
2010-02-12 Dejan Jovanovićbuild fix commit | commitdiff | tree
2010-02-12 Dejan JovanovićFix to compile out Debug(...) << ... statements in... commit | commitdiff | tree
2010-02-12 Dejan JovanovićChanges to hashing that solve the xinetd boolean benchm... commit | commitdiff | tree
2010-02-11 Dejan Jovanovićsvn ignore commit | commitdiff | tree
2010-02-11 Christopher... Adding precedence regressions commit | commitdiff | tree
2010-02-10 Morgan Detersnote on setup(); for discussion at 2010.02.11 meeting commit | commitdiff | tree
2010-02-10 Morgan Deterssvn:ignore for build stuff; add Liana to AUTHORS commit | commitdiff | tree
2010-02-10 Dejan Jovanovićfixing annoying eclipse build settings, no more broken... commit | commitdiff | tree
2010-02-10 Clark BarrettAdded calls to destructor in CDList plus optional flag... commit | commitdiff | tree
2010-02-09 Dejan JovanovićChanges to the CNF conversion and the SAT solver. All... commit | commitdiff | tree
2010-02-09 Morgan Detersremoving other pieces of autotools stuff to fix bug #24 commit | commitdiff | tree
2010-02-09 Morgan Detersmoving built-in kinds out of the kind.h prologue/middle... commit | commitdiff | tree
2010-02-09 Dejan Jovanovićempty stubs for push and pop to fix the build fail commit | commitdiff | tree
2010-02-08 Dejan JovanovićDisabling the failing test case for the context. commit | commitdiff | tree
2010-02-08 Dejan JovanovićFixing the test case, it had a unary or. The cnf conver... commit | commitdiff | tree
2010-02-08 Dejan JovanovićPush/Pop parsing and commands commit | commitdiff | tree
2010-02-08 Dejan JovanovićMoving the template stuff back into the header in order... commit | commitdiff | tree
2010-02-07 Christopher... Documenting type.h/cpp commit | commitdiff | tree
2010-02-06 Morgan Detersforce sorting of AC_CONFIG_FILES, otherwise different... commit | commitdiff | tree
2010-02-06 Christopher... Preliminary support for types in parser commit | commitdiff | tree
2010-02-05 Morgan Detersfinal fixes to addsourcedir source-directory-Makefile... commit | commitdiff | tree
2010-02-05 Morgan Detersauto-generated list of AC_CONFIG_FILES so that you... commit | commitdiff | tree
2010-02-05 Morgan Detersautomatic generator script for sourcedir Makefiles... commit | commitdiff | tree
2010-02-05 Morgan Detersremove the last vestiges of support for "make build... commit | commitdiff | tree
2010-02-04 Morgan Detersminor interface changes to TheoryEngine/Theory after... commit | commitdiff | tree
2010-02-04 Morgan Detersfix run_regression script commit | commitdiff | tree
2010-02-04 Dejan Jovanovićbeautification of the prop engine commit | commitdiff | tree
2010-02-04 Morgan Detersassign expected-status to regressions commit | commitdiff | tree
2010-02-04 Morgan Detersbuild system for multi-level regressions commit | commitdiff | tree
2010-02-04 Morgan Detersremove warnings from use of __gnu_cxx::hash_map<>;... commit | commitdiff | tree
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... commit | commitdiff | tree
2010-02-04 Tim KingChanged mapping from atoms to literals in the prop... commit | commitdiff | tree
2010-02-04 Tim KingMoved regressions into various levels based on running... commit | commitdiff | tree
2010-02-04 Morgan Deterstest infrastructure updated for multiple-level regressions commit | commitdiff | tree
2010-02-04 Morgan Detersminor cleanup; give the main driver a different exit... commit | commitdiff | tree
2010-02-04 Morgan Deterssrc/expr/kind.h is now automatically generated. commit | commitdiff | tree
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... commit | commitdiff | tree
2010-02-04 Morgan Detersadded bool and arith theory makefiles to AC_CONFIG_FILE... commit | commitdiff | tree
2010-02-04 Morgan DetersAdded theory output channel interfaces and "Interrupted... commit | commitdiff | tree
2010-02-04 Tim KingFixes to the cnf converter. Also a barebones utility... commit | commitdiff | tree
2010-02-03 Christopher... Adding extra test to parser commit | commitdiff | tree
2010-02-03 Dejan Jovanovićadding an option to minisat to not do any debug checks... commit | commitdiff | tree
2010-02-03 Christopher... Fixing bad commit commit | commitdiff | tree
2010-02-03 Christopher... Adding functions/predicates to SMT grammar commit | commitdiff | tree
2010-02-03 Morgan DetersAddressed many of the concerns of bug 10 (build system... commit | commitdiff | tree
2010-02-03 Dejan JovanovićELSEIF support and parser debugging with '-d parser' commit | commitdiff | tree
2010-02-03 Dejan Jovanovićsimple ITE parsing commit | commitdiff | tree
2010-02-03 Tim KingBy popular demand, I also added a printAst to Expr. commit | commitdiff | tree
2010-02-03 Tim KingI hacked in a temporary way to restart minisat for... commit | commitdiff | tree
2010-02-03 Tim KingWithin node I added printAst(..) for general purpose... commit | commitdiff | tree
2010-02-03 Tim KingEnabled more regress tests. Takes 26s on my machine... commit | commitdiff | tree
2010-02-03 Dejan Jovanovićcontext_mm testing commit | commitdiff | tree
2010-02-03 Dejan Jovanovićsome more tests for the context. commit | commitdiff | tree
2010-02-02 Dejan Jovanović(no commit message) commit | commitdiff | tree
2010-02-02 Clark BarrettFixed bug in context code commit | commitdiff | tree
2010-02-02 Dejan Jovanovićfor tim commit | commitdiff | tree
2010-02-02 Dejan Jovanovićbeginings of test for CDO. one fail commit | commitdiff | tree
2010-02-02 Dejan JovanovićRethrow rewrite in antlr_parser. Taking LT(0) to locate... commit | commitdiff | tree
2010-02-02 Tim KingSwitched cnf conversion to go through CnfStream. commit | commitdiff | tree
2010-02-02 Christopher... Minor changes to parser commit | commitdiff | tree
2010-02-02 Dejan JovanovićAdding support for escapes in string literals (strings... commit | commitdiff | tree
2010-02-02 Clark BarrettFixed compile errors commit | commitdiff | tree
2010-02-02 Clark BarrettUpdates to context: commit | commitdiff | tree
2010-02-01 Dejan JovanovićFixing the CVC grammar for parsing Boolean expressions... commit | commitdiff | tree
2010-02-01 Morgan Detersfix node manager code (bugzilla #15, comment #2) in... commit | commitdiff | tree
2010-02-01 Tim KingAdded this test back to avoid make check problems. commit | commitdiff | tree
2010-01-30 Morgan Deterscnf conversion (variable-introducing), cleanups, fixes... commit | commitdiff | tree
2010-01-30 Tim KingChecking in small test fixes for node_black commit | commitdiff | tree
2010-01-29 Dejan Jovanovićfixing the last context build problem, it compiles now commit | commitdiff | tree
2010-01-29 Clark Barrettone more bug commit | commitdiff | tree
2010-01-29 Clark BarrettFixed compile errors commit | commitdiff | tree
2010-01-29 Christopher... Adding Makefile.in to svn:ignore commit | commitdiff | tree
2010-01-29 Christopher... Adding Makefile.in to svn:ignore commit | commitdiff | tree
2010-01-29 Christopher... Fixing boolean operator precedences commit | commitdiff | tree
2010-01-29 Clark BarrettUpdate of context module commit | commitdiff | tree
2010-01-29 Morgan Detersfixed CNF conversion, and more modular; CNF conversion... commit | commitdiff | tree
2010-01-28 Christopher... Removing Makefile.in's commit | commitdiff | tree
2010-01-28 Christopher... Replacing hand-coded autogen.sh with buildconf version commit | commitdiff | tree
2010-01-27 Morgan Deterssupport "make check" in src/ subdirs for unit-testing... commit | commitdiff | tree
2010-01-27 Morgan Deterstest framework fixes; bug 13 closed commit | commitdiff | tree
2010-01-27 Tim KingAdded additional tests to node_black.h. CVC4 currently... commit | commitdiff | tree
2010-01-26 Tim KingUndoing stupid commit mistake. Rolling back to -r... commit | commitdiff | tree
2010-01-26 Tim KingAdded test/regress/boolean.cvc commit | commitdiff | tree
next