summaryrefslogtreecommitdiff
path: root/src/options/strings_options.toml
AgeCommit message (Expand)Author
2021-12-14Add switches to toggle eager and inclusion solvers (#7784)Andres Noetzli
2021-12-10Array-inspired Sequence Solver - Adding the ArrayCoreSolver class and options...Ying Sheng
2021-11-30Generalize eager length bound conflicts for regular expression memberships (#...Andrew Reynolds
2021-11-23Enable model-based reduction technique for strings (#7680)Andrew Reynolds
2021-10-07Make the cardinality of the alphabet of strings configurable (#7298)Andrew Reynolds
2021-09-22Add extensionality option for strings disequalities (#7229)Andrew Reynolds
2021-09-15remove options that are no longer used (#7197)Gereon Kremer
2021-06-02Remove option to ignore negative memberships (#6665)Andres Noetzli
2021-05-19Generate command line options for sphinx docs (#6555)Gereon Kremer
2021-05-10Remove header for option modules (#6514)Gereon Kremer
2021-05-10Remove read_only from options. (#6513)Gereon Kremer
2021-04-06Remove stdPrintAscii option (#6280)Andrew Reynolds
2021-02-22Require length-in-conclusion form for strings inferences (#5953)Andrew Reynolds
2020-08-05[Strings] Add eager context-dependent evaluation (#4847)Andres Noetzli
2020-07-17(proof-new) Updates to strings core solver (#4642)Andrew Reynolds
2020-05-28Fix term registry for constant case, simplify. (#4538)Andrew Reynolds
2020-05-21Disable re-elim by default (#4508)Andrew Reynolds
2020-04-14Remove a few options (#4295)Andrew Reynolds
2020-03-13Removing a few deprecated options (#4052)Andrew Reynolds
2020-02-11Remove `--strings-binary-csp` option (#3743)Andres Noetzli
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-08-01 Regular expression intersection modes (#3134)Andrew Reynolds
2019-01-15Strings: Add option to change loop process mode (#2794)Andres Noetzli
2018-12-04Enable regular expression elimination by default. (#2736)Andrew Reynolds
2018-09-17More aggressive skolem caching for strings, document and clean preprocessor (...Andrew Reynolds
2018-08-30Add regular expression elimination module (#2400)Andrew Reynolds
2018-08-06Make flat form inferences optional in strings (#2277)Andrew Reynolds
2018-07-02Remove some dead code from theory strings (#2125)Andrew Reynolds
2018-04-16Make 256 the default cardinality for strings (#1783)Andrew Reynolds
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback