effectfully comments

Results 463 comments of


                                            effectfully

Fix BuiltinByteString literal construction

I feel strongly about this, so I'm retriaging it as a UX bug rather than merely a tech debt issue.

Semantic Equivalence proof support modules

This is now inlined in #6611, so closing as duplicate.

Optimize VConstr bounds check in CEK machine

/benchmark lists

Optimize VConstr bounds check in CEK machine

/benchmark nofib

Change PlutusTX to the new name Plinth and ensure this change is made across all assets under IOHK/Intersect's control

@marshada what's the status of this issue?

[Epic] Tests improvements

- [x] `discardIfAnyConstant (not . isSerialisable) $ Generators.genProgram @DefaultFun` potentially wastes a lot of time discarding generated programs. `discardIfAnyConstant` is used in quite a few places - [ ] `Evaluation.Builtins.Definition`...

[Epic] Debugger

- [x] **Use `safeIndexOneCont` in `SteppableCek`** `SteppableCek` needs to use `safeIndexOneCont` just like the normal CEK does, purely for consistency and keeping the two syntactically in sync

[Textual] Parse constants with parens

I don't care either way. My justification is that for constants we mostly reuse Haskell syntax and there parsing of redundant parens is mostly supported: ``` >>> read "[(True),(False)]" ::...

[Epic] Compiler Certification Semantic Equivalence Proofs

I've now made it a single Epic issue instead of 1 Epic + God knows how many individual issues. You can spin off new issues once you start working on...

Plutus Playground with Simple Startup Examples needed New Possibilities(extending the closed issue #6432)

@marshada and/or @zliu41 please respond to this issue, I don't believe I can triage it without your input.