Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-12-03 | Models as (#5581) | yoni206 | |
This PR relates to #4987 . Our plan is to: delete the model keyword (done in #5415 ) avoid printing extra declarations by default (done in #5432 ) wrap UF values with as expressions. This PR does step 3, fixes a regression accordingly, and adds the formula from #4987 and a variant of it to the regressions. |