Giters
IntersectMBO
/
plutus
The Plutus language implementation and tools
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1559
Watchers:
118
Issues:
1248
Forks:
477
IntersectMBO/plutus Issues
Ensure the plutus-tx-template repo aligns with the OSC documentation policy
Closed
5 days ago
Comments count
4
Exponentiation primop
Closed
7 days ago
Comments count
6
Modular exponentiation in PlutusTx
Closed
9 days ago
Conformance tests for modular exponentiation
Closed
9 days ago
Plutus Core tests for modular exponentation
Closed
9 days ago
Plutus Core builtin for modular exponentiation
Closed
9 days ago
Agda Translation Relation and Decision Procedure for UPLC ForceDelay phase
Updated
13 days ago
Comments count
1
RIPEMD-160 for Chang+1
Closed
13 days ago
Plutus Playground with simple startup examples needed
Updated
14 days ago
Comments count
6
Support accessing fields by index from BI.BuiltinList
Updated
15 days ago
Comments count
4
Suggestion for ScriptContext changes in PlutusV4
Updated
15 days ago
Comments count
4
Minting with PlutusV3 seems to be broken
Closed
a month ago
Comments count
3
Find a way to serialise Agda proof terms
Updated
a month ago
Fix metatheory/test2
Closed
a month ago
Comments count
2
TrackCosts are retained more than expected for Darwin-x86-64
Updated
a month ago
Comments count
1
Metatheory for modular exponentiation builtin
Closed
a month ago
Add a page explaining different script purposes
Closed
a month ago
Comments count
1
Implementation of RIPEMD-160 for Plutus Core
Closed
a month ago
Propagate semantics variants into Plinth builtins
Updated
a month ago
Comments count
2
Reduce duplication in PlutusLedgerApi
Updated
a month ago
Costing for modular exponentiation
Updated
a month ago
End -to-end tests for modular exponentiation
Updated
a month ago
Comments count
1
Specify the modular exponentation builtin
Updated
a month ago
Translation relation and decision procedure for UPLC Inline
Updated
a month ago
Translation relation and decision procedure for UPLC CaseReduce
Updated
a month ago
Translation relation and decision procedure for UPLC CSE
Updated
a month ago
Translation relation and decision procedure for UPLC FloatDelay
Updated
a month ago
Add budget for steppable-cek conformance
Updated
a month ago
Improve the documentation of Agda files involving Algorithmic part 1
Updated
a month ago
Optimize division-related Integer operations
Updated
a month ago
Comments count
1
Add `ripemd_160` to the Plutus Core specification
Updated
a month ago
How should we prioritize what to work on?
Updated
a month ago
Comments count
5
[Epic] Generate `Arbitrary` `BuiltinMeaning`s
Updated
a month ago
Revive auto generation of the compiler option table
Closed
2 months ago
Comments count
1
documentation for costing changes in plutus v3
Closed
2 months ago
Comments count
9
Fix memory usage in metatheory
Updated
2 months ago
Decide the fate of plutus-ghc-stub
Closed
2 months ago
Comments count
1
Add the new bitwise builtins to `plutus-metatheory`
Updated
2 months ago
Make a release (PI7 Sprint 1)
Closed
2 months ago
Comments count
1
Fix `writeBits`
Closed
2 months ago
Comments count
1
Fix and add new tests for controlling distribution of generated values
Updated
2 months ago
Upscale `QuickCheck` tests in the nightly test suite
Updated
2 months ago
Update outdated docs in budgeting benchmarks of `Text`
Updated
2 months ago
Plutus Core specification: be careful about sizes of builtin arguments of integral types
Updated
2 months ago
Add the new bitwise builtins to the Plutus Core specification
Updated
2 months ago
No instance for ‘PlutusTx.Eq.Eq ScriptPurpose’ arising from a use of ‘lookup’
Closed
2 months ago
Comments count
5
Restore master haddock branch
Closed
3 months ago
Use Custom Domain for GithubPages
Closed
3 months ago
Add a `MINIMAL` pragma to `Ord` and check existence of other `MINIMAL` pragmas
Updated
3 months ago
Replace `NOINLINE` with `OPAQUE`
Updated
3 months ago
Previous
Next