Issues
- 0
Translation relation and decision procedure for UPLC CSE
#6370 opened by ramsay-t - 0
- 0
- 0
Add docs for plutus-exe
#6457 opened by bezirg - 4
- 1
Improve documentation on deploying a UPLC script
#6438 opened by ana-pantilie - 0
Feedback from IOG Education
#6478 opened by effectfully - 0
Print TOTAL in benchmarking results visibly
#6441 opened by effectfully - 6
Exponentiation primop
#6390 opened by kozross - 3
Cannot apply two programs together
#6455 opened by Fiftyw3bs - 0
Modular exponentiation in PlutusTx
#6335 opened by bezirg - 0
Conformance tests for modular exponentiation
#6337 opened by bezirg - 0
Plutus Core tests for modular exponentation
#6334 opened by bezirg - 0
Plutus Core builtin for modular exponentiation
#6333 opened by zliu41 - 1
- 0
RIPEMD-160 for Chang+1
#6330 opened by kwxm - 6
Plutus Playground with simple startup examples needed
#6432 opened by besiwims - 0
Add a `casePair` built-in function
#6440 opened by effectfully - 4
Support accessing fields by index from BI.BuiltinList
#6416 opened by mesudip - 4
Suggestion for ScriptContext changes in PlutusV4
#6408 opened by KtorZ - 3
Minting with PlutusV3 seems to be broken
#6419 opened by ajuggler - 0
Find a way to serialise Agda proof terms
#6424 opened by ana-pantilie - 2
Fix metatheory/test2
#6406 opened by kwxm - 1
- 0
Metatheory for modular exponentiation builtin
#6340 opened by bezirg - 1
Add a page explaining different script purposes
#6326 opened by zliu41 - 0
Implementation of RIPEMD-160 for Plutus Core
#6393 opened by kwxm - 2
Propagate semantics variants into Plinth builtins
#6399 opened by effectfully - 0
Reduce duplication in PlutusLedgerApi
#6396 opened by ana-pantilie - 0
Costing for modular exponentiation
#6336 opened by bezirg - 1
End -to-end tests for modular exponentiation
#6338 opened by bezirg - 0
Specify the modular exponentation builtin
#6339 opened by bezirg - 0
- 0
- 0
Add budget for steppable-cek conformance
#6381 opened by bezirg - 0
- 1
Optimize division-related Integer operations
#6391 opened by kozross - 0
Add `ripemd_160` to the Plutus Core specification
#6394 opened by kwxm - 5
How should we prioritize what to work on?
#6389 opened by effectfully - 0
[Epic] Generate `Arbitrary` `BuiltinMeaning`s
#6384 opened by effectfully - 1
Revive auto generation of the compiler option table
#6325 opened by zliu41 - 9
documentation for costing changes in plutus v3
#6319 opened by michele-nuzzi - 0
Fix memory usage in metatheory
#6367 opened by kwxm - 1
Decide the fate of plutus-ghc-stub
#6355 opened by bezirg - 1
Make a release (PI7 Sprint 1)
#6341 opened by bezirg - 1
Fix `writeBits`
#6331 opened by kwxm - 0
- 0
Upscale `QuickCheck` tests in the nightly test suite
#6322 opened by effectfully - 0
- 0
Plutus Core specification: be careful about sizes of builtin arguments of integral types
#6310 opened by kwxm