summaryrefslogtreecommitdiff
path: root/src/options/proof_options.toml
AgeCommit message (Expand)Author
2021-12-01[proofs] Alethe: Add finalize function to insert missing OR steps (#7724)Lachnitt
2021-10-11Connect the LFSC printer (#7323)Andrew Reynolds
2021-09-23[proofs] Alethe: Add Alethe Files to be Compiled (#7241)Lachnitt
2021-09-07Refactoring of proof manager initialization (#7073)Andrew Reynolds
2021-09-02Implement lazy proof checking modes (#7106)Andrew Reynolds
2021-08-19Refactor proof output for TPTP (#7029)Andrew Reynolds
2021-08-03Use int64_t, uint64_t or double for all numeric options. (#6970)Gereon Kremer
2021-05-10Remove header for option modules (#6514)Gereon Kremer
2021-05-10Remove read_only from options. (#6513)Gereon Kremer
2021-04-07[proof-new] Fixing SMT post-processor's handling of assumptions (#6277)Haniel Barbosa
2021-03-14[proof-new] Adding a dot printer for proof nodes (#6144)Diego Della Rocca de Camargos
2021-02-22(proof-new) Change proof-new option to proof (#5955)Andrew Reynolds
2021-02-22[proof-new] Optionally print conclusion in the AST proof (#5954)Haniel Barbosa
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback