equal
deleted
inserted
replaced
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" option. |
|
151 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
151 |
152 |
152 * Metis: |
153 * Metis: |
153 - Added possibility to specify lambda translations scheme as a |
154 - Added possibility to specify lambda translations scheme as a |
154 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |
155 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |
155 |
156 |