input-output-hk / input-output-hk/Lean-blaster
Replacement of ite/dite with Solver.dite
Open
area: optimizer
enhancement
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
Normalization rules to replace all ite/dite function application to `Solver.dite` function application that get rid of the Decidable instance for conditionals. This normalization will also help factorize all the ite/dite optimization rules.
---
**Transferred from:** input-output-hk/sc-fvt#414
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.