search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Translation relation and decision procedure for the Float-Delay #6482

Closed ramsay-t closed 1 month ago

ramsay-t commented 2 months ago

Translation relation and decision procedure for the Float-Delay phase of the UPLC certifying compiler.

This typechecks and follows the description of the phase, but it hasn't been tested against many real examples.

Fixes #6371