Age | Commit message (Expand) | Author |
2014-06-24 | Squashed commit of the following: | Morgan Deters |
2014-06-21 | Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ... | Morgan Deters |
2014-06-19 | dos2unix-convert some sources. | Morgan Deters |
2014-05-30 | Bug fix for string-opt2 (copied from Tianyi's branch). | Morgan Deters |
2014-05-18 | minor fix for string equality engine assertion. | Tianyi Liang |
2014-05-12 | Fix a bug in the IndexOf function. | Tianyi Liang |
2014-05-11 | Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function. | Tianyi Liang |
2014-05-07 | patch to the last commit: add a single character case | Tianyi Liang |
2014-05-07 | fix a bug in contain | Tianyi Liang |
2014-05-07 | add splits | Tianyi Liang |
2014-05-05 | fix a bug in replace and contains | Tianyi Liang |
2014-05-05 | add constant regular expression check for intersection. | Tianyi Liang |
2014-04-29 | Fix warnings, cleanup in strings typechecker. | Morgan Deters |
2014-04-29 | fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr | Tianyi Liang |
2014-04-29 | add leading zeros support for str.to.int | Tianyi Liang |
2014-04-28 | add strings-opt2 for regular splitting | Tianyi Liang |
2014-04-28 | Merge remote-tracking branch 'upstream/master' into sets | Kshitij Bansal |
2014-04-24 | minor change: add a heuristic for preventing constant splitting. | Tianyi Liang |
2014-04-19 | fix warnings in strings/ | Kshitij Bansal |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-04-10 | minor fix for strings | Tianyi Liang |
2014-04-01 | windows build fix for UINT32_MAX | Tianyi Liang |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-28 | minor printer fix; intersection fix | Tianyi Liang |
2014-03-27 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-27 | deriv symbolic regexp | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-26 | deriv symbolic regexp | Tianyi Liang |
2014-03-26 | adds intersection | Tianyi Liang |
2014-03-19 | Refactor the theory specific parts of definition expansion into the theory so... | Martin Brain |
2014-03-17 | hot fix for pre-reg term caching in strings | Tianyi Liang |
2014-03-10 | adds intro vars length cache | Tianyi Liang |
2014-03-10 | minor change for strings-fmf | Tianyi Liang |
2014-03-07 | remove unrolling depth | Tianyi Liang |
2014-03-07 | bring back D-Norm | Tianyi Liang |
2014-03-06 | adds incremental for strings; clean-up codes | Tianyi Liang |
2014-02-28 | add re.nostr for the empty regular expression; add re.allchar for the regular... | Tianyi Liang |
2014-02-28 | minor clean-up, bring back derivatives | Tianyi Liang |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-02-26 | for merging | Tianyi Liang |
2014-02-24 | bug fix: strings preprocess for the orignal term, causing unknown in some cases | Tianyi Liang |
2014-02-21 | reorganize substr, fix some potential bugs, adds cache for preprocessing | Tianyi Liang |
2014-02-20 | add more tests, and define int.to.str(NEGATIVE)="" | Tianyi Liang |
2014-02-20 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-02-20 | hot fix for str2int/int2str | Tianyi Liang |
2014-02-20 | add negative int2str | Tianyi Liang |