IntersectMBO / plutus

The Plutus language implementation and tools

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

There should be a plugin option for each behavior controlled by `conservative-optimisation`

zliu41 opened this issue · comments

Describe the feature you'd like

The conservative-optimisation flag implies a few different things. When it is off:

  • The float-in pass is more aggressive and may end up increasing the script cost.
  • Constants are always inlined, which may end up increasing the script size.
  • Builtin applications are always evaluated at compile time, which may cause fewer trace messages to be emitted at runtime.

Currently there's no knob to control any of these things, but there should be for each one of them.

Describe alternatives you've considered

No response