nightly-2022-09-08
Pre-release
Pre-release
leodemoura
released this
08 Sep 08:35
·
1 commit
to main
since this release
Changes since nightly-2022-09-07:
Full commit log
- 26e3042 fix:
PullFunDecls.lean
- 46b85ec chore: update stage0
- 0a21603 feat: apply
implementedBy
replacements at secondsimp
pass - 07bdab4 feat: apply
casesOn
implementedBy
replacements - bd21583 fix:
ComputedFields.lean
- ea3235c fix: skip
casesOn
recursors at code generation - 5c00708 test: specialize attribute tests
- 19f5fe6 feat: add
getSpecializationArgs?
- de0be1d chore: update stage0
- 55171a8 feat: elaborate specialization arguments
- d0d98be chore: update stage0
- f611a6e feat: add specialize attribute parser
- 1e135e5 chore: update stage0
- 735dabd refactor: use
ParametricAttribute
to implement[specialize]
- 04b32eb chore: remove
noinline
andnospecialize
fromrunEval