projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
printer change for string smtlib2
2015-03-28 Tianyi Liangprinter change for string smtlib2
 commit | commitdiff | tree
2015-03-16 Tianyi LiangAdd requirePhase len(x) = 0.
 commit | commitdiff | tree
2015-03-14 Tianyi LiangBug fix for BV
 commit | commitdiff | tree
2015-03-14 Tianyi LiangPatches for 32-bit ARM
 commit | commitdiff | tree
2015-02-25 Tianyi LiangSwitch back to eager loop temporarily.
 commit | commitdiff | tree
2015-02-25 Tianyi Liangminor fix for internal string print
 commit | commitdiff | tree
2015-02-06 Tianyi LiangMinor clean up
 commit | commitdiff | tree
2015-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2015-02-06 Tianyi LiangImproved string performance, thanks to Peter's benchmarks.
 commit | commitdiff | tree
2015-02-06 Tianyi LiangImproved string performance, thanks to Peter's benchmarks.
 commit | commitdiff | tree
2015-01-11 Tianyi Liangadjusted to both v2.0 and v2.5 string literals
 commit | commitdiff | tree
2015-01-09 Tianyi Liangblocked unprintable characters in string literals;
 commit | commitdiff | tree
2015-01-08 Tianyi Liangswitch ascii encoding to unsigned char
 commit | commitdiff | tree
2015-01-07 Tianyi Liangpatch to the last commit
 commit | commitdiff | tree
2015-01-07 Tianyi Liangbug fix, thanks to Pierre's report
 commit | commitdiff | tree
2015-01-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2015-01-07 Tianyi Liangadded initial AX rules;
 commit | commitdiff | tree
2015-01-07 Tianyi Liangadded initial AX rules;
 commit | commitdiff | tree
2014-12-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-12-22 Tianyi Liangbug fix for constant regular expression model building
 commit | commitdiff | tree
2014-12-22 Tianyi Liangbug fix for constant regular expression model building
 commit | commitdiff | tree
2014-12-11 Tianyi Liangbug fix, thanks to Guy's example.
 commit | commitdiff | tree
2014-12-06 Tianyi LiangAdded string constant in java api example.
 commit | commitdiff | tree
2014-12-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-12-06 Tianyi LiangAdded C++/Java api examples;
 commit | commitdiff | tree
2014-12-06 Tianyi LiangAdded C++/Java api examples;
 commit | commitdiff | tree
2014-12-05 Tianyi LiangRelaxed the constant requirement for regular expression...
commit | commitdiff | tree
2014-12-04 Tianyi Liangclean up and improve intersection
 commit | commitdiff | tree
2014-12-03 Tianyi Liangdisable inter cache
 commit | commitdiff | tree
2014-11-27 Tianyi Liangadd intersection rewriting
 commit | commitdiff | tree
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more regexp rewriting
 commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more functions for regular expressions
 commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more regexp rewriting
 commit | commitdiff | tree
2014-11-27 Tianyi Liangadd more functions for regular expressions
 commit | commitdiff | tree
2014-11-10 Tianyi LiangMerge pull request #63 from mdeters/theorystrings-hashset...
commit | commitdiff | tree
2014-10-22 Tianyi LiangFixed bug 589
 commit | commitdiff | tree
2014-10-17 Tianyi LiangMinor change for performance according to Andy's suggestion.
 commit | commitdiff | tree
2014-07-25 Tianyi Liangbug fix for pierre 0717
 commit | commitdiff | tree
2014-07-25 Tianyi Liangfix for regexp union rewriting
 commit | commitdiff | tree
2014-07-25 Tianyi Liangpatch for regular expression intersection caching
 commit | commitdiff | tree
2014-07-24 Tianyi Liangmerging...
 commit | commitdiff | tree
2014-07-24 Tianyi Liangadd delayed length lemmas
 commit | commitdiff | tree
2014-06-24 Tianyi LiangMerge pull request #41 from mdeters/tianyi-merge
 commit | commitdiff | tree
2014-05-19 Tianyi Liangminor fix for string equality engine assertion.
 commit | commitdiff | tree
2014-05-13 Tianyi LiangReject native extended ASCII characters. It requires...
commit | commitdiff | tree
2014-05-13 Tianyi LiangReject un-escaped extended ASCII characters
 commit | commitdiff | tree
2014-05-13 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-05-13 Tianyi LiangFix a bug in the IndexOf function.
 commit | commitdiff | tree
2014-05-13 Tianyi LiangFix a bug in the IndexOf function.
 commit | commitdiff | tree
2014-05-12 Tianyi LiangAdd a benchmark that detects a bug in parsing. Thank...
commit | commitdiff | tree
2014-05-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo...
commit | commitdiff | tree
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo...
commit | commitdiff | tree
2014-05-08 Tianyi Liangpatch to the last commit: add a single character case
 commit | commitdiff | tree
2014-05-07 Tianyi Liangfix a bug in contain
 commit | commitdiff | tree
2014-05-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-05-07 Tianyi Liangadd splits
 commit | commitdiff | tree
2014-05-07 Tianyi Liangadd splits
 commit | commitdiff | tree
2014-05-06 Tianyi Liangfix a bug in replace and contains
 commit | commitdiff | tree
2014-05-05 Tianyi Liangadd constant regular expression check for intersection.
 commit | commitdiff | tree
2014-04-29 Tianyi Liangfix a typo: --string-exp => --strings-exp; fix a signed...
commit | commitdiff | tree
2014-04-29 Tianyi Liangadd leading zeros support for str.to.int
 commit | commitdiff | tree
2014-04-28 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-04-28 Tianyi Liangadd strings-opt2 for regular splitting
 commit | commitdiff | tree
2014-04-28 Tianyi Liangminor change with kshitij's change
 commit | commitdiff | tree
2014-04-28 Tianyi Liangadd strings-opt2 for regular splitting
 commit | commitdiff | tree
2014-04-24 Tianyi Liangminor change: add a heuristic for preventing constant...
commit | commitdiff | tree
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-04-10 Tianyi Liangminor fix for strings
 commit | commitdiff | tree
2014-04-10 Tianyi Liangminor fix for strings
 commit | commitdiff | tree
2014-04-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-04-01 Tianyi Liangwindows build fix for UINT32_MAX
 commit | commitdiff | tree
2014-04-01 Tianyi Liangwindows build fix for UINT32_MAX
 commit | commitdiff | tree
2014-03-31 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str
 commit | commitdiff | tree
2014-03-31 Tianyi Liangminor typo/bug fix
 commit | commitdiff | tree
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str
 commit | commitdiff | tree
2014-03-28 Tianyi Liangminor printer fix; intersection fix
 commit | commitdiff | tree
2014-03-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-03-27 Tianyi Liangadds new feature: re.loop
 commit | commitdiff | tree
2014-03-27 Tianyi Liangadds intersection
 commit | commitdiff | tree
2014-03-27 Tianyi Liangderiv symbolic regexp
 commit | commitdiff | tree
2014-03-27 Tianyi Liangadds intersection
 commit | commitdiff | tree
2014-03-27 Tianyi Liangadds new feature: re.loop
 commit | commitdiff | tree
2014-03-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-03-26 Tianyi Liangderiv symbolic regexp
 commit | commitdiff | tree
2014-03-26 Tianyi Liangadds intersection
 commit | commitdiff | tree
2014-03-26 Tianyi Liangderiv symbolic regexp
 commit | commitdiff | tree
2014-03-25 Tianyi Liangadds intersection
 commit | commitdiff | tree
2014-03-17 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-03-17 Tianyi Lianghot fix for pre-reg term caching in strings
 commit | commitdiff | tree
2014-03-17 Tianyi Lianghot fix for pre-reg term caching in strings
 commit | commitdiff | tree
2014-03-10 Tianyi Liangadds intro vars length cache
 commit | commitdiff | tree
2014-03-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-03-10 Tianyi Liangminor change for strings-fmf
 commit | commitdiff | tree
2014-03-10 Tianyi Liangminor change for strings-fmf
 commit | commitdiff | tree
2014-03-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4
 commit | commitdiff | tree
2014-03-07 Tianyi Liangremove unrolling depth
 commit | commitdiff | tree
2014-03-07 Tianyi Liangbring back D-Norm
 commit | commitdiff | tree
next