projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fix warnings in strings/
2014-04-19
Kshitij Bansal
fix warnings in strings/
commit
|
commitdiff
|
tree
2014-04-17
Kshitij Bansal
simplify mkSkolem naming system: don't use $$
commit
|
commitdiff
|
tree
2014-04-17
Kshitij Bansal
use internal skolem numbering
commit
|
commitdiff
|
tree
2014-04-10
Kshitij Bansal
refactor .travis.yml
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
Merge pull request #24 from kbansal/sets-model
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
fix get-info error-behavior
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
add tests
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
fix
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
prep for fix
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
try foreach on CD datastructure
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
inputs to trigger bug
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
more
commit
|
commitdiff
|
tree
2014-04-09
Kshitij Bansal
some debugging changes
commit
|
commitdiff
|
tree
2014-04-06
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2014-04-06
Kshitij Bansal
fix for hiding prompt/header in shell, error-behavior...
commit
|
commitdiff
|
tree
2014-03-30
Kshitij Bansal
Merge pull request #23 from kbansal/sets-model
commit
|
commitdiff
|
tree
2014-03-28
Kshitij Bansal
rm old unused code
commit
|
commitdiff
|
tree
2014-03-28
Kshitij Bansal
get-antlr error on missing config.guess
commit
|
commitdiff
|
tree
2014-03-28
Kshitij Bansal
add construles, type_rules rm redundant, kinds cleanup
commit
|
commitdiff
|
tree
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
cleanup
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
fix for sets/mar2014/..317minimized..
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
Fix for registration issues of term appearing in a...
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
rewriter fix, weaken an assertion
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
constant normal form and rewrite
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
fix a sharing issues with sets
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
push subtyping for sets to the element type
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
enable check-models for sets/ regressions
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
work on set model
commit
|
commitdiff
|
tree
2014-03-20
Kshitij Bansal
testlemma regressions
commit
|
commitdiff
|
tree
2014-03-05
Kshitij Bansal
Merge pull request #14 from kbansal/sets-parserchanges
commit
|
commitdiff
|
tree
2014-03-05
Kshitij Bansal
Array smtlib compliance tests
commit
|
commitdiff
|
tree
2014-03-05
Kshitij Bansal
Revert "fix naming conflicts in benchmarks"
commit
|
commitdiff
|
tree
2014-03-05
Kshitij Bansal
Don't tokenize SET_THEORY operators in smt2 parser
commit
|
commitdiff
|
tree
2014-02-28
Kshitij Bansal
Merge pull request #12 from kbansal/in-to-member
commit
|
commitdiff
|
tree
2014-02-28
Kshitij Bansal
theory/sets: cleanup
commit
|
commitdiff
|
tree
2014-02-28
Kshitij Bansal
rename kind::IN to kind::MEMBER (fixes some windows...
commit
|
commitdiff
|
tree
2014-02-28
Kshitij Bansal
Merge pull request #11 from kbansal/improve-stats-every...
commit
|
commitdiff
|
tree
2014-02-27
Kshitij Bansal
--stats-every-query option: print increment in addition...
commit
|
commitdiff
|
tree
2014-02-21
Kshitij Bansal
portfolio: fix export of emptyset
commit
|
commitdiff
|
tree
2014-02-21
Kshitij Bansal
disable test cvc3_main, attempt to fix dist_check
commit
|
commitdiff
|
tree
2014-02-21
Kshitij Bansal
Merge pull request #10 from kbansal/sets-for-merge
commit
|
commitdiff
|
tree
2014-02-21
Kshitij Bansal
option to print stats after every satisfiability or...
commit
|
commitdiff
|
tree
2014-02-21
Kshitij Bansal
add new theory (sets)
commit
|
commitdiff
|
tree
2014-02-21
Kshitij Bansal
fix a -Wunused
commit
|
commitdiff
|
tree
2014-02-20
Kshitij Bansal
portfolio: add stat to track time spent waiting for...
commit
|
commitdiff
|
tree
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
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-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
next