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-06 |
Kshitij Bansal | fix for bug586
|
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 |
2014-06-25 |
Kshitij Bansal | cosmetic
|
commit | commitdiff | tree |
2014-06-25 |
Kshitij Bansal | mv default care graph function inside the theory implementation
|
commit | commitdiff | tree |
2014-06-25 |
Kshitij Bansal | make emptyset construction with no arguments private
|
commit | commitdiff | tree |
2014-06-25 |
Kshitij Bansal | rename subseteq to subset in smtlib, all kinds and...
|
commit | commitdiff | tree |
2014-06-25 |
Kshitij Bansal | Merge pull request #43 from mdeters/threadstack
|
commit | commitdiff | tree |
2014-06-22 |
Kshitij Bansal | Renaming of SMT2 operator names, kinds for set theory
|
commit | commitdiff | tree |
2014-06-19 |
Kshitij Bansal | forgot to add the test with fix
|
commit | commitdiff | tree |
2014-06-19 |
Kshitij Bansal | basic fixes for sets translator, separate binaries
|
commit | commitdiff | tree |
2014-06-19 |
Kshitij Bansal | disable unate lemmas when using incremental mode
|
commit | commitdiff | tree |
2014-06-18 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into...
|
commit | commitdiff | tree |
2014-06-18 |
Kshitij Bansal | forgot to add the test with fix
|
commit | commitdiff | tree |
2014-06-18 |
Kshitij Bansal | basic fixes for sets translator, separate binaries
|
commit | commitdiff | tree |
2014-06-18 |
Kshitij Bansal | disable unate lemmas when using incremental mode
|
commit | commitdiff | tree |
2014-06-11 |
Kshitij Bansal | Merge pull request #31 from kbansal/sets
|
commit | commitdiff | tree |
2014-06-11 |
Kshitij Bansal | disable another test, after recent merges taking too...
|
commit | commitdiff | tree |
2014-06-11 |
Kshitij Bansal | disable failing test
|
commit | commitdiff | tree |
2014-06-11 |
Kshitij Bansal | sets: comment out an assertion too strong
|
commit | commitdiff | tree |
2014-06-11 |
Kshitij Bansal | user/sat context issue in sets
|
commit | commitdiff | tree |
2014-06-11 |
Kshitij Bansal | fix in sets rewriter
|
commit | commitdiff | tree |
2014-06-09 |
Kshitij Bansal | Merge pull request #29 from kbansal/alternatefix
|
commit | commitdiff | tree |
2014-06-09 |
Kshitij Bansal | parseErrorHelper : factor out whole word matching
|
commit | commitdiff | tree |
2014-06-09 |
Kshitij Bansal | test for prvs commit (tokenize emptyset)
|
commit | commitdiff | tree |
2014-06-08 |
Kshitij Bansal | smt2 parser: tokenize emptyset only if theory enabled
|
commit | commitdiff | tree |
2014-06-08 |
Kshitij Bansal | sets translate: a different translation using axioms
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | sets translator: fix for dags
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | Merge pull request #28 from kbansal/sets
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | rm warning from helloworld example
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | sets: fix equality propagation
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | -{d,t} help => --show-{debug,trace}-tags
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | option to hide stats which are zero (off by default...
|
commit | commitdiff | tree |
2014-06-06 |
Kshitij Bansal | Sets translate, and other short fixes
|
commit | commitdiff | tree |
2014-05-30 |
Kshitij Bansal | run script fix
|
commit | commitdiff | tree |
2014-05-27 |
Kshitij Bansal | Merge pull request #27 from kbansal/statistics
|
commit | commitdiff | tree |
2014-05-27 |
Kshitij Bansal | update stats_black
|
commit | commitdiff | tree |
2014-05-27 |
Kshitij Bansal | fix timespec printing
|
commit | commitdiff | tree |
2014-05-27 |
Kshitij Bansal | Revert "timespec printing bug"
|
commit | commitdiff | tree |
2014-05-27 |
Kshitij Bansal | timespec printing bug
|
commit | commitdiff | tree |
2014-05-27 |
Kshitij Bansal | Fix bug 567
|
commit | commitdiff | tree |
2014-05-17 |
Kshitij Bansal | Merge pull request #26 from kbansal/sets
|
commit | commitdiff | tree |
2014-05-16 |
Kshitij Bansal | lfsc_checker: fix some warnings reported by _both_...
|
commit | commitdiff | tree |
2014-05-16 |
Kshitij Bansal | sets: fix a bug in model building, another in handling...
|
commit | commitdiff | tree |
2014-05-16 |
Kshitij Bansal | minor improvements (fixes) to did-you-mean suggestions
|
commit | commitdiff | tree |
2014-05-01 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into...
|
commit | commitdiff | tree |
next |