projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #73 from kbansal/parser-dont-tokenize
[cvc5.git] / src / theory / strings /
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize tree | commitdiff
2015-04-17 Tianyi LiangPatch for Kshitij's fix on requriePhase tree | commitdiff
2015-04-17 Kshitij BansalMerge pull request #72 from kbansal/decision-requirephase tree | commitdiff
2015-04-09 ajreynolFix unsat-core issues related to rewrite rules, quantif... tree | commitdiff
2015-04-09 ajreynolBug fix negative contains cache. tree | commitdiff
2015-04-02 Kshitij BansalMerge pull request #71 from kbansal/const-are-triggers tree | commitdiff
2015-03-25 Kshitij Bansalchange const are triggers from false to true in equalit... tree | commitdiff
2015-03-16 Tianyi LiangAdd requirePhase len(x) = 0. tree | commitdiff
2015-03-11 ajreynolStrings split on constant lengths, add length=0 to... tree | commitdiff
2015-02-25 Tianyi LiangSwitch back to eager loop temporarily. tree | commitdiff
2015-02-25 Tianyi Liangminor fix for internal string print tree | commitdiff
2015-02-06 Tianyi LiangImproved string performance, thanks to Peter's benchmarks. tree | commitdiff
2015-02-06 Tianyi LiangImproved string performance, thanks to Peter's benchmarks. tree | commitdiff
2015-01-08 Tianyi Liangswitch ascii encoding to unsigned char tree | commitdiff
2015-01-07 Tianyi Liangpatch to the last commit tree | commitdiff
2015-01-07 Tianyi Liangbug fix, thanks to Pierre's report tree | commitdiff
2015-01-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2015-01-07 Tianyi Liangadded initial AX rules; tree | commitdiff
2015-01-07 Tianyi Liangadded initial AX rules; tree | commitdiff
2014-12-27 Dejan JovanovicAdding an option to the equality engine constructor... tree | commitdiff
2014-12-22 Tianyi Liangbug fix for constant regular expression model building tree | commitdiff
2014-12-22 Tianyi Liangbug fix for constant regular expression model building tree | commitdiff
2014-12-11 Tianyi Liangbug fix, thanks to Guy's example. tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-05 Tianyi LiangRelaxed the constant requirement for regular expression... tree | commitdiff
2014-12-04 Tianyi Liangclean up and improve intersection tree | commitdiff
2014-12-03 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2014-12-03 Tianyi Liangdisable inter cache tree | commitdiff
2014-11-27 Tianyi Liangadd intersection rewriting tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-27 Tianyi Liangadd more regexp rewriting tree | commitdiff
2014-11-27 Tianyi Liangadd more functions for regular expressions tree | commitdiff
2014-11-27 Tianyi Liangadd more regexp rewriting tree | commitdiff
2014-11-27 Tianyi Liangadd more functions for regular expressions tree | commitdiff
2014-11-20 ajreynolDisable constants sharing in eq engine, disable hack... tree | commitdiff
2014-11-17 Morgan DetersNew, uniform checkTime statistic for all theories ... tree | commitdiff
2014-11-11 Kshitij BansalMerge pull request #64 from mdeters/theorysets-hashset... tree | commitdiff
2014-11-10 Tianyi LiangMerge pull request #63 from mdeters/theorystrings-hashs... tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-09 Morgan DetersUpdate TheoryStrings to use CDHashSet<>::key_begin... tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-22 Tianyi LiangFixed bug 589 tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-17 Tianyi LiangMinor change for performance according to Andy's sugges... tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
2014-10-09 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-02 Morgan DetersMerge branch '1.4.x'. tree | commitdiff
2014-09-30 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-27 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' tree | commitdiff
2014-09-03 Kshitij BansalMerge remote-tracking branch 'origin/master' tree | commitdiff
2014-09-03 Kshitij Bansalcheck() optimization tree | commitdiff
2014-08-22 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-08-22 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-08-19 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-08-18 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-07-25 Tianyi Liangbug fix for pierre 0717 tree | commitdiff
2014-07-25 Tianyi Liangfix for regexp union rewriting tree | commitdiff
2014-07-25 Tianyi Liangpatch for regular expression intersection caching tree | commitdiff
2014-07-24 Tianyi Liangmerging... tree | commitdiff
2014-07-24 Tianyi Liangadd delayed length lemmas tree | commitdiff
2014-07-11 Morgan DetersSpelling. tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds tree | commitdiff
2014-06-24 Tianyi LiangMerge pull request #41 from mdeters/tianyi-merge tree | commitdiff
2014-06-24 Morgan DetersSquashed commit of the following: tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds tree | commitdiff
2014-06-21 Morgan DetersSlightly-improved kinds documentation for builtin,... tree | commitdiff
2014-06-19 Morgan Detersdos2unix-convert some sources. tree | commitdiff
2014-06-16 Morgan Detersdos2unix-convert some sources. tree | commitdiff
2014-05-30 Morgan DetersBug fix for string-opt2 (copied from Tianyi's branch). tree | commitdiff
2014-05-19 Tianyi Liangminor fix for string equality engine assertion. tree | commitdiff
2014-05-13 Tianyi LiangFix a bug in the IndexOf function. tree | commitdiff
2014-05-13 Tianyi LiangFix a bug in the IndexOf function. tree | commitdiff
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo... tree | commitdiff
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo... tree | commitdiff
2014-05-08 Tianyi Liangpatch to the last commit: add a single character case tree | commitdiff
2014-05-07 Tianyi Liangfix a bug in contain tree | commitdiff
2014-05-07 Tianyi Liangadd splits tree | commitdiff
2014-05-07 Tianyi Liangadd splits tree | commitdiff
2014-05-06 Tianyi Liangfix a bug in replace and contains tree | commitdiff
next