projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fix bug 605
2015-08-19
Kshitij Bansal
fix bug 605
commit
|
commitdiff
|
tree
2015-07-08
Kshitij Bansal
fix bug 650
commit
|
commitdiff
|
tree
2015-06-30
Kshitij Bansal
fix sets-translate
commit
|
commitdiff
|
tree
2015-06-30
Kshitij Bansal
fix smt2 parameterized sort printing
commit
|
commitdiff
|
tree
2015-06-12
Kshitij Bansal
sync options of default-assertions run script with...
commit
|
commitdiff
|
tree
2015-06-11
Kshitij Bansal
remove runscripts from master meant for experimental...
commit
|
commitdiff
|
tree
2015-06-09
Kshitij Bansal
bump thread stack size to 1 GB
commit
|
commitdiff
|
tree
2015-06-09
Kshitij Bansal
make comment precise
commit
|
commitdiff
|
tree
2015-06-09
Kshitij Bansal
move delete beyond ifdef CVC4_COMPETITION_MODE
commit
|
commitdiff
|
tree
2015-06-05
Kshitij Bansal
pcvc4 with assertions
commit
|
commitdiff
|
tree
2015-06-05
Kshitij Bansal
update run script for assertions/scrambled run
commit
|
commitdiff
|
tree
2015-06-05
Kshitij Bansal
assertions runscript (for testing) derived from current...
commit
|
commitdiff
|
tree
2015-06-05
Kshitij Bansal
for experimental, use incremental instead of teardown...
commit
|
commitdiff
|
tree
2015-06-05
Kshitij Bansal
move decision to use teardown or not to logics
commit
|
commitdiff
|
tree
2015-06-04
Kshitij Bansal
rpl -- "--cbqi" "--cbqi --no-cbqi-sat" run-script-smtcomp201...
commit
|
commitdiff
|
tree
2015-06-04
Kshitij Bansal
sync exerimental scripts with regular ones
commit
|
commitdiff
|
tree
2015-06-03
Kshitij Bansal
experimental run scripts
commit
|
commitdiff
|
tree
2015-06-03
Kshitij Bansal
runscript thread stack 256
commit
|
commitdiff
|
tree
2015-06-02
Kshitij Bansal
application smtcomp
commit
|
commitdiff
|
tree
2015-04-22
Kshitij Bansal
Merge pull request #73 from kbansal/parser-dont-tokenize
commit
|
commitdiff
|
tree
2015-04-17
Kshitij Bansal
Merge pull request #72 from kbansal/decision-requirephase
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
disable failing sygus tests
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
update comment
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
string parser builtinop changes
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
bv parserchanges cleanup
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
fp builtinop parser changes
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
fp reorder tokens to match other occurences
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
THEORY_INTS parser changes
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
THEORY_REAL_INTS parser changes
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
array theory builtinop
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
cleanup
commit
|
commitdiff
|
tree
2015-04-16
Kshitij Bansal
dont tokenize bv operators (normal ones)
commit
|
commitdiff
|
tree
2015-04-09
Kshitij Bansal
disable string reqressions timing out after change
commit
|
commitdiff
|
tree
2015-04-09
Kshitij Bansal
DE requests respect requirePhase
commit
|
commitdiff
|
tree
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
commit
|
commitdiff
|
tree
2015-03-31
Kshitij Bansal
fix no return value warning
commit
|
commitdiff
|
tree
2015-03-31
Kshitij Bansal
fix echo command in --tear-down-incremental
commit
|
commitdiff
|
tree
2015-03-25
Kshitij Bansal
change const are triggers from false to true in equality...
commit
|
commitdiff
|
tree
2015-02-28
Kshitij Bansal
Revert "dummy commit to force nightly builds"
commit
|
commitdiff
|
tree
2015-02-19
Kshitij Bansal
dummy commit to force nightly builds
commit
|
commitdiff
|
tree
2015-02-16
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2015-02-16
Kshitij Bansal
webget: curl follow redirect
commit
|
commitdiff
|
tree
2015-02-14
Kshitij Bansal
attempt to fix win32 builds
commit
|
commitdiff
|
tree
2015-02-12
Kshitij Bansal
try curl before wget, workaround for issue with FTP...
commit
|
commitdiff
|
tree
2014-12-03
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2014-12-03
Kshitij Bansal
Revert "Disable constants sharing in eq engine, disable...
commit
|
commitdiff
|
tree
2014-11-19
Kshitij Bansal
Merge pull request #70 from kbansal/sets-for-merge...
commit
|
commitdiff
|
tree
2014-11-19
Kshitij Bansal
Set Constant's normal form and other short fixes
commit
|
commitdiff
|
tree
2014-11-11
Kshitij Bansal
Merge pull request #64 from mdeters/theorysets-hashset...
commit
|
commitdiff
|
tree
2014-10-20
Kshitij Bansal
Merge pull request #59 from kbansal/sets3
commit
|
commitdiff
|
tree
2014-10-20
Kshitij Bansal
Finish sets type enumerator implementation.
commit
|
commitdiff
|
tree
2014-10-20
Kshitij Bansal
fix statistic in decision engine
commit
|
commitdiff
|
tree
2014-10-14
Kshitij Bansal
amend prvs commit
commit
|
commitdiff
|
tree
2014-10-14
Kshitij Bansal
trace decision-node
commit
|
commitdiff
|
tree
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
commit
|
commitdiff
|
tree
2014-10-10
Kshitij Bansal
Fix issue with shared but non-preregistered term setup...
commit
|
commitdiff
|
tree
2014-10-08
Kshitij Bansal
Fix portoflio issues (debugging code was being called...
commit
|
commitdiff
|
tree
2014-10-07
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
commit
|
commitdiff
|
tree
2014-10-07
Kshitij Bansal
update default Sets options
commit
|
commitdiff
|
tree
2014-10-07
Kshitij Bansal
whitespace fixes
commit
|
commitdiff
|
tree
2014-10-07
Kshitij Bansal
add couple of stats
commit
|
commitdiff
|
tree
2014-10-07
Kshitij Bansal
sets stronger equality propagator
commit
|
commitdiff
|
tree
2014-10-02
Kshitij Bansal
fix getModelValue(<non-preregistered term>)
commit
|
commitdiff
|
tree
2014-09-18
Kshitij Bansal
cvc4terminate infinite loop fix
commit
|
commitdiff
|
tree
2014-09-18
Kshitij Bansal
cvc4terminate infinite loop fix
commit
|
commitdiff
|
tree
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
commit
|
commitdiff
|
tree
2014-09-17
Kshitij Bansal
Fix fix. There are no unsat cores in 1.4
commit
|
commitdiff
|
tree
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
commit
|
commitdiff
|
tree
2014-09-17
Kshitij Bansal
Fix (push) and (pop). Thanks to Christoph Sticksel...
commit
|
commitdiff
|
tree
2014-09-04
Kshitij Bansal
Update command_executor_portfolio.cpp
commit
|
commitdiff
|
tree
2014-09-03
Kshitij Bansal
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2014-09-03
Kshitij Bansal
check() optimization
commit
|
commitdiff
|
tree
2014-08-24
Kshitij Bansal
remove some debugging code
commit
|
commitdiff
|
tree
2014-08-24
Kshitij Bansal
improvements to sets sharing
commit
|
commitdiff
|
tree
2014-08-24
Kshitij Bansal
fix option alias (minor)
commit
|
commitdiff
|
tree
2014-08-24
Kshitij Bansal
fix type in sets_translate
commit
|
commitdiff
|
tree
2014-08-15
Kshitij Bansal
Update smt_engine.cpp
commit
|
commitdiff
|
tree
2014-07-21
Kshitij Bansal
initialization in model_engine
commit
|
commitdiff
|
tree
2014-07-21
Kshitij Bansal
run_regression using valgrind by setting VALGRIND=1
commit
|
commitdiff
|
tree
2014-07-11
Kshitij Bansal
fix for windows build
commit
|
commitdiff
|
tree
2014-07-11
Kshitij Bansal
Merge pull request #48 from kbansal/segfaultfix
commit
|
commitdiff
|
tree
2014-07-11
Kshitij Bansal
Merge pull request #49 from kbansal/cvcparser
commit
|
commitdiff
|
tree
2014-07-10
Kshitij Bansal
rm warning
commit
|
commitdiff
|
tree
2014-07-10
Kshitij Bansal
membership cvc token changed to `IS_IN' to avoid conflict...
commit
|
commitdiff
|
tree
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfaultfix
commit
|
commitdiff
|
tree
2014-07-10
Kshitij Bansal
friendlyparser: go back upto 2 words looking for match
commit
|
commitdiff
|
tree
2014-07-10
Kshitij Bansal
reorganize friendlyparser, behavior unchanged
commit
|
commitdiff
|
tree
2014-07-09
Kshitij Bansal
sets cvc parser
commit
|
commitdiff
|
tree
2014-07-09
Kshitij Bansal
sets cvc printer
commit
|
commitdiff
|
tree
2014-07-04
Kshitij Bansal
initialize variables
commit
|
commitdiff
|
tree
2014-07-03
Kshitij Bansal
change lemma generation behavior
commit
|
commitdiff
|
tree
2014-07-01
Kshitij Bansal
Update portfolio_util.cpp
commit
|
commitdiff
|
tree
2014-07-01
Kshitij Bansal
chat about thread creation
commit
|
commitdiff
|
tree
2014-06-30
Kshitij Bansal
Update NEWS
commit
|
commitdiff
|
tree
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
commit
|
commitdiff
|
tree
2014-06-30
Kshitij Bansal
Use FS as the set-logic string for theory of sets
commit
|
commitdiff
|
tree
2014-06-29
Kshitij Bansal
sets: "insert" operator
commit
|
commitdiff
|
tree
2014-06-26
Kshitij Bansal
Merge pull request #46 from mdeters/bug573
commit
|
commitdiff
|
tree
2014-06-25
Kshitij Bansal
sets api example
commit
|
commitdiff
|
tree
2014-06-25
Kshitij Bansal
fix sets eager lemmas
commit
|
commitdiff
|
tree
next