| 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 |
| 2014-05-01 |
Kshitij Bansal | decision engine: cache start index for and/or nodes
|
commit | commitdiff | tree |
| 2014-04-29 |
Kshitij Bansal | fixed couple of more warnings
|
commit | commitdiff | tree |
| 2014-04-29 |
Kshitij Bansal | fix was compiler warning in antlr_input, crashing test...
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into...
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | cleanup
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | nodemanager robust skolem numbering
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | Merge pull request #25 from kbansal/sets
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | minor fix
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into...
|
commit | commitdiff | tree |
| 2014-04-28 |
Kshitij Bansal | travis, please!
|
commit | commitdiff | tree |
| 2014-04-27 |
Kshitij Bansal | attempt to improve CVC4's "parse error" message
|
commit | commitdiff | tree |
| 2014-04-27 |
Kshitij Bansal | rm undocument/non-working* "feature"
|
commit | commitdiff | tree |
| 2014-04-24 |
Kshitij Bansal | optimization
|
commit | commitdiff | tree |
| 2014-04-19 |
Kshitij Bansal | Eh, what?
|
commit | commitdiff | tree |
| 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 |
| next |
projects / cvc5.git / search