| 2010-10-12 |
Morgan Deters | fix some leaks in parser, add debug code to node manager...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | hooked up "we are incomplete" flag after conversation...
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | Merge from cc-memout branch. Here are the main points
|
commit | commitdiff | tree |
| 2010-10-12 |
Morgan Deters | check last result in (get-assignment); some context...
|
commit | commitdiff | tree |
| 2010-10-11 |
Morgan Deters | use "forward" headers
|
commit | commitdiff | tree |
| 2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work...
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | reverting some changes to parser from last commit
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | support for SMT-LIBv2 :named attributes, and attributes...
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | fix to unit tests
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | bug fixes to model gen
|
commit | commitdiff | tree |
| 2010-10-09 |
Morgan Deters | Model generation for arith, boolean, and uf theories via
|
commit | commitdiff | tree |
| 2010-10-08 |
Morgan Deters | * (define-fun...) now has proper type checking in non...
|
commit | commitdiff | tree |
| 2010-10-08 |
Morgan Deters | support (set-info) on status, source, category, difficulty...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | oops, reverting a change to a regression test that...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | type checking for define-fun in production builds;...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | NodeSelfIterator implementation and unit test (resolves...
|
commit | commitdiff | tree |
| 2010-10-07 |
Morgan Deters | SMT-LIBv2 (define-fun...) command now functional; does...
|
commit | commitdiff | tree |
| 2010-10-06 |
Morgan Deters | declare-sort, define-sort working but not thoroughly...
|
commit | commitdiff | tree |
| 2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get...
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | fix gdb issues (at least for static builds); resolves...
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | fix regular expressions in build system
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | fixing CLN builds, which had broken the build tonight...
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | re-add a dependency to fix compile warnings
|
commit | commitdiff | tree |
| 2010-10-04 |
Morgan Deters | remove/shuffle some #include dependencies; fix some...
|
commit | commitdiff | tree |
| 2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors...
|
commit | commitdiff | tree |
| 2010-10-02 |
Morgan Deters | revert a workaround fix to CDMap that was committed...
|
commit | commitdiff | tree |
| 2010-10-02 |
Morgan Deters | dump statistics on abnormal output: unexpected exceptions...
|
commit | commitdiff | tree |
| 2010-10-01 |
Morgan Deters | re-add no-deprecated to C sources; update some file...
|
commit | commitdiff | tree |
| 2010-10-01 |
Morgan Deters | last update broke the parser inadvertently, fixing...
|
commit | commitdiff | tree |
| 2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac...
|
commit | commitdiff | tree |
| 2010-09-30 |
Morgan Deters | fixed a number of problems with mac os x builds. build...
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix predicate bug in UF; code cleanup in theory.cpp
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | node iterator work
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix pre-registration of operator, previously committed...
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix unit test for kinded iterators in Node/TNode
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | fix TLS support for platforms (e.g. Mac OS X) where...
|
commit | commitdiff | tree |
| 2010-09-28 |
Morgan Deters | comment fix as per this morning's meeting; also, don...
|
commit | commitdiff | tree |
| 2010-09-24 |
Morgan Deters | roll back an unintended change with r900
|
commit | commitdiff | tree |
| 2010-09-24 |
Morgan Deters | Fix build system for Mac OS X builds (resolves bug...
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | remove assertion in TNode destructor and ensure all...
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | fix statistics-registry-related memory leaks
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | part of review (bug #197): coding conventions, file...
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | svn:ignore properties for new bv stuff
|
commit | commitdiff | tree |
| 2010-09-21 |
Morgan Deters | some code cleanup, documentation, review of "kinded...
|
commit | commitdiff | tree |
| 2010-09-14 |
Morgan Deters | ensure uf/congruence closure debugging stuff isn't...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | make Node iterators more STL-friendly, resolves bug...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | build system consistency in target names for unit test...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | statistics are now printed on timeout (SIGXCPU) and...
|
commit | commitdiff | tree |
| 2010-09-13 |
Morgan Deters | link TAGS file into builds/ directory, when built....
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | "Leftist NodeBuilders" are now supported.
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | recategorize eq_diamond14 as a regress2 test (instead...
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | fix an error in TimerStat
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | neglected build system update from r848 (last commit)
|
commit | commitdiff | tree |
| 2010-09-02 |
Morgan Deters | * add TimerStat statistic type
|
commit | commitdiff | tree |
| 2010-09-01 |
Morgan Deters | "make check" now places binaries in the proper place...
|
commit | commitdiff | tree |
| 2010-09-01 |
Morgan Deters | reflect in build strings that -gmp is now the default...
|
commit | commitdiff | tree |
| 2010-09-01 |
Morgan Deters | added documentation, closes bug 97
|
commit | commitdiff | tree |
| 2010-08-20 |
Morgan Deters | turn off extra-checking (which does extra theory-rewriter...
|
commit | commitdiff | tree |
| 2010-08-19 |
Morgan Deters | UF theory bug fixes, code cleanup, and extra debugging...
|
commit | commitdiff | tree |
| 2010-08-18 |
Morgan Deters | more tests, configuration for UF
|
commit | commitdiff | tree |
| 2010-08-17 |
Morgan Deters | Merge from "cc" branch:
|
commit | commitdiff | tree |
| 2010-08-17 |
Morgan Deters | Add "no trash" CDMap elements, so that CDMap elements...
|
commit | commitdiff | tree |
| 2010-08-17 |
Morgan Deters | Change TheoryEngine to use pointers to theories instead of
|
commit | commitdiff | tree |
| 2010-08-16 |
Morgan Deters | add zlib checks to configure (new minisat requires...
|
commit | commitdiff | tree |
| 2010-07-29 |
Morgan Deters | fix TheoryEngineWhite, add documentation; related to...
|
commit | commitdiff | tree |
| 2010-07-28 |
Morgan Deters | fixed theory engine white test for new (old) theoryOf...
|
commit | commitdiff | tree |
| 2010-07-22 |
Morgan Deters | incorporate a fix from smtcomp2010 version for handling...
|
commit | commitdiff | tree |
| 2010-07-10 |
Morgan Deters | add >, <=, and >= comparisons for Exprs and Nodes
|
commit | commitdiff | tree |
| 2010-07-08 |
Morgan Deters | context work to support cdmaps with elements allocated...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | minor changes to cdmap/cdset interface for detection...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | chris and i committed the same fix; reverting the ...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | add exit status to regression that was failing
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | some build system changes reverted after the CLN build...
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | competition submission should be fully static
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | fixed submission target
|
commit | commitdiff | tree |
| 2010-07-07 |
Morgan Deters | things for competition upload: new "make submission...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | Don't eagerly collect zombies. This should speed up...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | add Configuration::isCompetitionBuild() and some main...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | fix crash on command line parsing
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | merge from CC work: pieces of the parser need to be...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | Fixes for doubled-statistics (bug 171), a fix to muzzled...
|
commit | commitdiff | tree |
| 2010-07-06 |
Morgan Deters | add regressions from bug reports
|
commit | commitdiff | tree |
| 2010-07-05 |
Morgan Deters | better exception wording, assertion-handling in multiple...
|
commit | commitdiff | tree |
| 2010-07-05 |
Morgan Deters | better exception wording, assertion-handling in multiple...
|
commit | commitdiff | tree |
| 2010-07-05 |
Morgan Deters | workaround for strange CIMS installation of automake...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | Considerably simplified the way output streams are...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | assigning benchmark statuses
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | better detection for static binary building
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | fix to production build
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | enable arrays
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | don't do extra-checking for all regressions; that's...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | With "-d extra-checking", rewrites are now checked...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | bug 168 fixed (TheoryEngine::rewrite is not fully rewriting...
|
commit | commitdiff | tree |
| 2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes
|
commit | commitdiff | tree |
| 2010-07-03 |
Morgan Deters | fix warnings
|
commit | commitdiff | tree |
| 2010-07-03 |
Morgan Deters | better config.reconfig script auto-generated
|
commit | commitdiff | tree |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build...
|
commit | commitdiff | tree |
| 2010-07-02 |
Morgan Deters | re-generated comment headers of source files
|
commit | commitdiff | tree |
| 2010-07-02 |
Morgan Deters | roll back a small change that made arith fail some...
|
commit | commitdiff | tree |
| 2010-07-02 |
Morgan Deters | * Added white-box TheoryEngine test that tests the...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search