equal
deleted
inserted
replaced
145 * Nitpick: |
145 * Nitpick: |
146 - Fixed infinite loop caused by the 'peephole_optim' option and |
146 - Fixed infinite loop caused by the 'peephole_optim' option and |
147 affecting 'rat' and 'real'. |
147 affecting 'rat' and 'real'. |
148 |
148 |
149 * Sledgehammer: |
149 * Sledgehammer: |
150 - Added "lam_trans" option. |
150 - Added "lam_trans" and "minimize" options. |
151 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
151 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
152 |
152 |
153 * Metis: |
153 * Metis: |
154 - Added possibility to specify lambda translations scheme as a |
154 - Added possibility to specify lambda translations scheme as a |
155 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |
155 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |