plutus
plutus copied to clipboard
IntersectMBO
The Plutus language implementation and tools
wip --- Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [ ] Commit sequence broadly makes sense - [ ] Key commits have useful messages...
E.g. when trying to parse `future.pir` (in the `plutus-use-cases/test/Spec`), I get the following error: ``` pir/future.pir: pir/future.pir:204:10: | 204 | (datatypebind | ^^^^^^^ unexpected "datatyp" expecting "abs", "builtin", "con", "error",...
Currently, ```haskell -- This ensures that we don't put *anything* about these functions into the interface -- file, otherwise GHC can be clever about the ones that are always error,...
Fixes #4114 The problem is that plutus booleans don't use short circuit on evaluation. There is ugly fix to rewrite all expressions with `if-then-else`. But code becomes rather clumsy. We...
## Describe the feature you'd like force and delay are introduced to UPLC to reduce code size, an option would been to use unit abstraction and application. I don't see...
This is an ongoing attempt to reduce script size compiling from Haskell. It pursuits #4148 and maybe #4147 as well. Note that this is highly experimental and needs many more...
should fix #4168 --- Pre-submit checklist: - Branch - [x] Tests are provided (if possible) - [x] Commit sequence broadly makes sense - [x] Key commits have useful messages -...
## Describe the feature you'd like I assume this is already implementable if you do the serialization on-chain, but it would be wasteful compared to supporting it as a built-in...
## Describe the feature you'd like It would be nice to have an efficient way of exponentiating. ## Describe alternatives you've considered Multiplying repeatedly is an alternative, but not nearly...
This is a raw attempt to fix #4114. It fixes the bug but is still experimental and not final. Todo: Add tests. Generalize if possible. Pre-submit checklist: - Branch -...
Metadata
Owner
Metadata
The Plutus language implementation and tools