2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x'
|
commit | commitdiff | tree |
2014-01-17 |
Kshitij Bansal | enable search for html doc
|
commit | commitdiff | tree |
2013-12-09 |
Kshitij Bansal | mv prp to regress1
|
commit | commitdiff | tree |
2013-12-09 |
Kshitij Bansal | fix bug 542
|
commit | commitdiff | tree |
2013-12-09 |
Kshitij Bansal | Merge branch '1.3.x'
|
commit | commitdiff | tree |
2013-12-09 |
Kshitij Bansal | mv prp to regress1
|
commit | commitdiff | tree |
2013-12-07 |
Kshitij Bansal | Merge branch '1.3.x'
|
commit | commitdiff | tree |
2013-12-07 |
Kshitij Bansal | fix bug 542
|
commit | commitdiff | tree |
2013-12-03 |
Kshitij Bansal | rm ChangeLog (use NEWS)
|
commit | commitdiff | tree |
2013-10-17 |
Kshitij Bansal | minor fix to last commit (gitignore)
|
commit | commitdiff | tree |
2013-10-17 |
Kshitij Bansal | .gitignore personal configuration files
|
commit | commitdiff | tree |
2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
2013-09-12 |
Kshitij Bansal | fix bug 534: portfolio define-fun duplicate model
|
commit | commitdiff | tree |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x'
|
commit | commitdiff | tree |
2013-08-26 |
Kshitij Bansal | bug 374 fix: assert litVal=desiredVal only for leaf...
|
commit | commitdiff | tree |
2013-08-26 |
Kshitij Bansal | Bug 374 benchmarks
|
commit | commitdiff | tree |
2013-05-09 |
Kshitij Bansal | Merge branch 'master' of ssh://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
2013-05-08 |
Kshitij Bansal | rm decision/relevancy
|
commit | commitdiff | tree |
2013-04-30 |
Kshitij Bansal | add decision_attributes.h for make dist
|
commit | commitdiff | tree |
2013-04-29 |
Kshitij Bansal | Merge pull request #9 from kbansal/master
|
commit | commitdiff | tree |
2013-04-26 |
Kshitij Bansal | Merge experimental decisionweight branch Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu>
|
commit | commitdiff | tree |
2013-04-17 |
Kshitij Bansal | bool flatten: node num_children workaround
|
commit | commitdiff | tree |
2013-04-17 |
Kshitij Bansal | boolean flatten: bug fix in dfs search
|
commit | commitdiff | tree |
2013-04-17 |
Kshitij Bansal | boolean flatten rewrite: dont re-rewrite
|
commit | commitdiff | tree |
2013-04-17 |
Kshitij Bansal | generalize to handle and
|
commit | commitdiff | tree |
2013-04-16 |
Kshitij Bansal | flatten or nodes
|
commit | commitdiff | tree |
2013-03-25 |
Kshitij Bansal | Merge pull request #7 from kbansal/portfolio
|
commit | commitdiff | tree |
2013-03-25 |
Kshitij Bansal | finish removal of separateOutput
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x'
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | gitinfo modifications fix
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | decision: jh: more refactoring (.h->.cpp, xor/iff)
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | decision/ : jh: refactor embedded ITE, other minor
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | decision/: justification: refactor ITE out
|
commit | commitdiff | tree |
2013-02-17 |
Kshitij Bansal | refactoring justification_heuristic code
|
commit | commitdiff | tree |
2013-02-16 |
Kshitij Bansal | rm decision jh GiveUp related code
|
commit | commitdiff | tree |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x'
|
commit | commitdiff | tree |
2013-02-15 |
Kshitij Bansal | prvs commit: lower warning to notice Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>
|
commit | commitdiff | tree |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x'
|
commit | commitdiff | tree |
2013-02-15 |
Kshitij Bansal | make incremental+portfolio experimental
|
commit | commitdiff | tree |
2013-02-15 |
Kshitij Bansal | Merge pull request #5 from kbansal/1.0.x
|
commit | commitdiff | tree |
2013-02-15 |
Kshitij Bansal | make incremental+portfolio experimental
|
commit | commitdiff | tree |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x'
|
commit | commitdiff | tree |
2013-02-05 |
Kshitij Bansal | Merge pull request #3 from kbansal/1.0.x
|
commit | commitdiff | tree |
2013-02-05 |
Kshitij Bansal | decision/ : save d_prvsIndex in JH
|
commit | commitdiff | tree |
2012-12-07 |
Kshitij Bansal | Fix performance issue in a DFS search (bug 474)
|
commit | commitdiff | tree |
2012-12-06 |
Kshitij Bansal | Fix performance issue in a DFS search (bug 474)
|
commit | commitdiff | tree |
2012-12-04 |
Kshitij Bansal | * Add support for --decision=justification + incremental...
|
commit | commitdiff | tree |
2012-11-29 |
Kshitij Bansal | reliable benchmark corresponding to bug468
|
commit | commitdiff | tree |
2012-11-29 |
Kshitij Bansal | Hack to support global variables for CVC language extended...
|
commit | commitdiff | tree |
2012-11-28 |
Kshitij Bansal | fix a potential race (have failed to reproduce)
|
commit | commitdiff | tree |
2012-11-28 |
Kshitij Bansal | treat all get commands like getValue (send only to...
|
commit | commitdiff | tree |
2012-11-28 |
Kshitij Bansal | minor
|
commit | commitdiff | tree |
2012-11-27 |
Kshitij Bansal | fix in CommandSequence invoke : maintain success/failure...
|
commit | commitdiff | tree |
2012-11-27 |
Kshitij Bansal | Simplify --help=decision with only currently supported...
|
commit | commitdiff | tree |
2012-11-19 |
Kshitij Bansal | Run lastWinner thread for all commands. Earlier behavior...
|
commit | commitdiff | tree |
2012-11-15 |
Kshitij Bansal | some fixes for --threads=1
|
commit | commitdiff | tree |
2012-11-14 |
Kshitij Bansal | Quantifiers enabled with portfolio, closing bug 423.
|
commit | commitdiff | tree |
2012-11-14 |
Kshitij Bansal | fix a race problem. due to interrupt mechanism minisat...
|
commit | commitdiff | tree |
2012-11-09 |
Kshitij Bansal | export null nodes (fixes a bug in portfolio model stuff)
|
commit | commitdiff | tree |
2012-10-19 |
Kshitij Bansal | Fix problem with incremental with portfolio. Fixes...
|
commit | commitdiff | tree |
2012-10-19 |
Kshitij Bansal | --fallback-sequential / --no-fallback-sequential option
|
commit | commitdiff | tree |
2012-10-09 |
Kshitij Bansal | typo
|
commit | commitdiff | tree |
2012-10-09 |
Kshitij Bansal | bugfix: isQuantified, bugfix: flush
|
commit | commitdiff | tree |
2012-10-03 |
Kshitij Bansal | --wait-to-join / --no-wait-to-join option
|
commit | commitdiff | tree |
2012-10-01 |
Kshitij Bansal | "Fix" (disable) portfolio when using quantifiers
|
commit | commitdiff | tree |
2012-09-28 |
Kshitij Bansal | Some fixes to portfolio
|
commit | commitdiff | tree |
2012-09-08 |
Kshitij Bansal | Single driver for both sequential and portfolio
|
commit | commitdiff | tree |
2012-08-26 |
Kshitij Bansal | minor, lying around in a wd (related to investigating...
|
commit | commitdiff | tree |
2012-08-26 |
Kshitij Bansal | disabling failing regressions
|
commit | commitdiff | tree |
2012-08-16 |
Kshitij Bansal | bug 374 (was found through fuzzing 2012-07-18)
|
commit | commitdiff | tree |
2012-06-18 |
Kshitij Bansal | tracing code to make sure decision options are being...
|
commit | commitdiff | tree |
2012-06-18 |
Kshitij Bansal | bugfix, enable only QF_LRA, not other arith
|
commit | commitdiff | tree |
2012-06-18 |
Kshitij Bansal | QF_LRA, Quantifiers: enable use decision for (only...
|
commit | commitdiff | tree |
2012-06-17 |
Kshitij Bansal | QF_AUFLIA: enable use decision for (only for) stopping...
|
commit | commitdiff | tree |
2012-06-17 |
Kshitij Bansal | --decision=justification-stoponly : use decision engine...
|
commit | commitdiff | tree |
2012-06-16 |
Kshitij Bansal | Adding the failing QF_AUFLIA regression mentioned in...
|
commit | commitdiff | tree |
2012-06-16 |
Kshitij Bansal | This is an attempt to fix the bug in the justification...
|
commit | commitdiff | tree |
2012-06-15 |
Kshitij Bansal | Bug fix in justification heuristic. Had to do with how
|
commit | commitdiff | tree |
2012-06-15 |
Kshitij Bansal | one bug fixed
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | WIP
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | add failing regression, move error up
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | bug fixes in justification heuristic
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | fix quantifier non-bug
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | bug ifx, mv
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | restore destruction of stuff in driver
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | This commit:
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | failing quantifier
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | fix cout, fix statname, rm deadcode
|
commit | commitdiff | tree |
2012-06-14 |
Kshitij Bansal | add passing regression
|
commit | commitdiff | tree |
2012-06-13 |
Kshitij Bansal | add passing regression
|
commit | commitdiff | tree |
2012-06-13 |
Kshitij Bansal | enable some decision regressions
|
commit | commitdiff | tree |
2012-06-13 |
Kshitij Bansal | Make d_result in DE context dependent
|
commit | commitdiff | tree |
2012-06-13 |
Kshitij Bansal | decision regressions, all but one fail
|
commit | commitdiff | tree |
2012-06-12 |
Kshitij Bansal | bv reduced with decision: sat instead of unsat
|
commit | commitdiff | tree |
2012-06-12 |
Kshitij Bansal | Assert fail equaility_engine.cpp: hasTerm(node) with...
|
commit | commitdiff | tree |
2012-06-12 |
Kshitij Bansal | cleanup of exit mechanism when decisionEngine is on...
|
commit | commitdiff | tree |
2012-06-08 |
Kshitij Bansal | handle BitVectorSignExtend in pickler
|
commit | commitdiff | tree |
2012-06-08 |
Kshitij Bansal | threadlocal
|
commit | commitdiff | tree |
2012-06-08 |
Kshitij Bansal | Merge from decision branch (till r3663)
|
commit | commitdiff | tree |
next |