Age | Commit message (Expand) | Author |
---|---|---|
2020-02-10 | Remove `--strings-binary-csp` optionremoveBinaryCsp | Andres Noetzli |
2019-08-23 | Infer emptiness instead of splitting when a string equality rewrites to a co... | Andrew Reynolds |
2019-07-25 | Split infer info data structure in strings (#3107) | Andrew Reynolds |