projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.3.x'
[cvc5.git] / src / theory / sets /
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-30 Kshitij BansalMerge pull request #23 from kbansal/sets-model tree | commitdiff
2014-03-28 Kshitij Bansaladd construles, type_rules rm redundant, kinds cleanup tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-20 Kshitij Bansalcleanup tree | commitdiff
2014-03-20 Kshitij Bansalfix for sets/mar2014/..317minimized.. tree | commitdiff
2014-03-20 Kshitij BansalFix for registration issues of term appearing in a... tree | commitdiff
2014-03-20 Kshitij Bansalrewriter fix, weaken an assertion tree | commitdiff
2014-03-20 Kshitij Bansalconstant normal form and rewrite tree | commitdiff
2014-03-20 Kshitij Bansalfix a sharing issues with sets tree | commitdiff
2014-03-20 Kshitij Bansalwork on set model tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-28 Kshitij BansalMerge pull request #12 from kbansal/in-to-member tree | commitdiff
2014-02-28 Kshitij Bansaltheory/sets: cleanup tree | commitdiff
2014-02-28 Kshitij Bansalrename kind::IN to kind::MEMBER (fixes some windows... tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Kshitij Bansaldisable test cvc3_main, attempt to fix dist_check tree | commitdiff
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge tree | commitdiff
2014-02-21 Kshitij Bansaladd new theory (sets) tree | commitdiff