Age | Commit message (Expand) | Author |
---|---|---|
2020-04-06 | Enum for all remaining string inferences (#4220) | Andrew Reynolds |
2020-04-06 | Refactor disequality processing in string solver (#4209) | Andres Noetzli |
2020-04-02 | Introduce enums for all string inferences, excluding the core solver (#4195) | Andrew Reynolds |
2020-03-28 | Enumeration for String rewrites (#4173) | Andrew Reynolds |
2020-03-25 | Support async-signal-safe printing of inferences (#4148) | Andres Noetzli |
2020-03-22 | Collect statistics about normal form inferences (#4127) | Andres Noetzli |
2020-02-11 | Remove `--strings-binary-csp` option (#3743) | Andres Noetzli |
2019-11-06 | Move more string utility functions (#3398) | Andrew Reynolds |
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 |