summaryrefslogtreecommitdiff
path: root/src/options/base_options.toml
AgeCommit message (Expand)Author
2021-12-10Allow for wildcards in `-t` (#7791)Gereon Kremer
2021-12-02Remove void as possible option type (#7731)Gereon Kremer
2021-11-04Add -o sygus-grammar to print auto-generated SyGuS grammars (#7573)Andrew Reynolds
2021-11-01Add explicit option enum value __MAX_VALUE (#7547)Gereon Kremer
2021-10-29Remove options::X__numValues (#7419)Gereon Kremer
2021-10-27Add documentation on output tags (#7499)Gereon Kremer
2021-10-01Clean options handlers (#7201)Gereon Kremer
2021-09-14Reimplement `--dump=raw-benchmark` as `-o raw-benchmark` (#7191)Andrew Reynolds
2021-09-02Driver & Options cleanup (#7109)Gereon Kremer
2021-09-01No longer use direct access to options in driver (#7094)Gereon Kremer
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-08-27Handle languages as strings in driver (#7074)Gereon Kremer
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-06Clear options manager (#6991)Gereon Kremer
2021-08-04Refactor managed streams (#6934)Gereon Kremer
2021-08-03Use int64_t, uint64_t or double for all numeric options. (#6970)Gereon Kremer
2021-07-26Move public options functions to separate file (#6671)Gereon Kremer
2021-07-07Standard output for trigger selection (#6841)Andrew Reynolds
2021-07-03Add output tags -o, --output. (#6826)Mathias Preiner
2021-06-15Remove public option wrappers (#6716)Gereon Kremer
2021-06-08Remove `binary_name` option (#6693)Gereon Kremer
2021-05-17Replace smt_name by aliases (#6541)Gereon Kremer
2021-05-10Remove header for option modules (#6514)Gereon Kremer
2021-05-10Remove read_only from options. (#6513)Gereon Kremer
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-15Fix printing of stats when aborted. (#6362)Gereon Kremer
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-02New statistics registry (#6210)Gereon Kremer
2020-07-17Replace options listener infrastructure (#4764)Andrew Reynolds
2020-04-06Remove links field in all toml files (#4201)Andrew Reynolds
2020-04-02Remove undocumented/uncommon aliases (#4177)Andres Noetzli
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback