Giters
IntersectMBO
/
plutus
The Plutus language implementation and tools
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1529
Watchers:
111
Issues:
1080
Forks:
460
IntersectMBO/plutus Issues
[Epic] CEK machine optimizations
Updated
3 days ago
Comments count
1
Agda decision procedure for CaseOfCase translations
Updated
5 days ago
UPLC case-of-case improvements
Updated
9 days ago
Comments count
5
Inconsistent behavior when tracing messages within a failing validator (version 1.21.0.0)
Updated
10 days ago
[Epic] AST optimizations
Updated
10 days ago
Comments count
2
A builtin converting the outer `Data.Constr` to a SOP for fast `case`?
Updated
10 days ago
Comments count
9
Builtins are versioned in Plutus but not in Haskell
Updated
10 days ago
Verify that CaseOfCase UPLC transformation doesn't make expression stricter than needed
Closed
10 days ago
Do we compile mutually recursive functions correctly?
Updated
12 days ago
A recursive binding is compiled unexpectedly lazily
Closed
12 days ago
`plutus-benchmark` is slower than `uplc` despite doing the same?
Updated
13 days ago
Fix plutus-metatheory-site nix build script.
Updated
13 days ago
Comments count
1
Automate Release Process
Closed
13 days ago
Make `applyCostModelParams` code more explicit
Updated
15 days ago
Explicit ToJSON/FromJSON conversions for costing types
Updated
15 days ago
Compiler certification
Updated
17 days ago
Instrument CaseOfCase phase to extract ASTs in Agda readable form
Updated
17 days ago
Create an efficient drop-in Data replacement for AssocMap.Map
Updated
20 days ago
Use data to encode ScriptContext
Updated
20 days ago
CaseOfCase kind mismatch error
Closed
23 days ago
Make `ToBuiltin` handle any kind of built-in list
Updated
24 days ago
Revisit the design of `AssocMap.Map`
Updated
25 days ago
Conformance tests should cover all of language and protocol versions
Updated
a month ago
A way to turn off indentation in the pretty-printer
Updated
a month ago
Agda translation relation for CaseOfCase UPLC phase
Updated
a month ago
Investigate implementing the proof generation in Isabelle
Closed
a month ago
Add a `Lazy` type that compiles to delay/force
Updated
a month ago
Comments count
3
Understand how the Coq decision procedure approach works
Closed
a month ago
Comments count
1
Plutus Relese 1.21.0.0 with plcVersion110 causing AlwaysPassValidator to fail
Closed
a month ago
Comments count
7
Validation benchmark times vary with order/number of exports in `PlutusBenchmark.Common
Updated
a month ago
Comments count
1
Some benchmarks are screwed
Updated
a month ago
Comments count
1
Support datatypes mentioning type families
Updated
a month ago
Comments count
18
There should be a plugin option for each behavior controlled by `conservative-optimisation`
Closed
a month ago
Plutus-tx coredumps on XEON v2
Closed
a month ago
Comments count
7
"Wrong" Flat serialization of CBOR encoded Data
Closed
a month ago
Comments count
4
Provide expected result of compress and uncompress builtins for UPLC conformance
Updated
2 months ago
Comments count
5
Support data families
Closed
2 months ago
Comments count
7
nix develop github:IntersectMBO/plutus
Updated
2 months ago
Comments count
3
Variable name size can impact evaluation time? Or just drop the names
Updated
2 months ago
SOP lists aren't faster than built-in lists
Updated
2 months ago
Comments count
3
`hedgehog` builtins generators have horrible coverage
Updated
2 months ago
`builtinsAvailableIn` doesn't account for backports
Updated
2 months ago
Add term mangling
Updated
3 months ago
memoryUsage of empty ByteString is 1 instead of 0
Closed
3 months ago
Comments count
5
Getting the validator hash onchain
Closed
3 months ago
Comments count
2
Dependencies resolution fails for `cabal run uplc`
Closed
3 months ago
Comments count
1
You told me to report this so here it is
Closed
3 months ago
Comments count
1
Request for changes to the ScriptContext in PlutusV3
Updated
4 months ago
Comments count
42
`PlutusTx.Ratio.reduce` allows negative integer in the denominator
Closed
4 months ago
Comments count
1
Error upon fresh import of plutus-metatheory into Agda project
Closed
4 months ago
Comments count
2
Previous
Next