Age | Commit message (Expand) | Author |
---|---|---|
2019-12-09 | Make theory rewriters non-static (#3547) | Andres Noetzli |
2019-07-24 | Move string util functions (#3115) | Andrew Reynolds |
2019-05-01 | Use total versions of div/mod in re-elim-agg (#2986) | Andrew Reynolds |
2019-04-30 | Fix concat-find regexp elimination (#2983) | Andres Noetzli |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-11-28 | Optimize re-elim for re.allchar components (#2725) | Andrew Reynolds |
2018-10-18 | Constant length regular expression elimination (#2646) | Andrew Reynolds |
2018-10-10 | Optimize regular expression elimination (#2612) | Andrew Reynolds |
2018-10-04 | Fix end constraint for regexp elimination (#2571) | Andrew Reynolds |
2018-08-30 | Add regular expression elimination module (#2400) | Andrew Reynolds |