-
Notifications
You must be signed in to change notification settings - Fork 483
Issues: IntersectMBO/plutus
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Plutus Core spec for Batch 4 inconsistent with conformance tests
bug
status: triaged
#6761
opened Dec 21, 2024 by
nielstron
asData
should generate INLINEABLE pragmas
bug
status: needs triage
#6750
opened Dec 13, 2024 by
ana-pantilie
CIP-0138: Implement Array type in Plinth
Builtins
Internal
Plinth
product
Product/Business issue
status: triaged
#6731
opened Dec 3, 2024 by
Unisay
Implement CIP-0138: Built-in Array data type
Builtins
Internal
Plutus Core
product
Product/Business issue
status: triaged
#6717
opened Nov 28, 2024 by
Unisay
Fix behaviour of failing conformance tests with
--accept
.
Internal
status: triaged
Test
#6714
opened Nov 27, 2024 by
kwxm
Apply Fourmolu to
plutus-tx-test-util
package
Internal
status: triaged
#6692
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
plutus-tx-plugin
package
Internal
status: triaged
#6691
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
plutus-metatheory
package
Internal
status: triaged
#6689
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
plutus-ledger-api
package
Internal
status: triaged
#6688
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
plutus-executables
package
Internal
status: triaged
#6687
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
plutus-conformance
package
Internal
status: triaged
#6685
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
plutus-benchmark
package
Internal
status: triaged
#6684
opened Nov 19, 2024 by
Unisay
Apply Fourmolu to
cardano-constitution
package
Internal
status: triaged
#6683
opened Nov 19, 2024 by
Unisay
Fix failing cardano-constitution tests
Constitution
Internal
status: triaged
Test
#6679
opened Nov 18, 2024 by
kwxm
Conformance machinery can handle test names a bit misleadingly
Internal
status: triaged
Test
#6660
opened Nov 13, 2024 by
kwxm
Specify what
Value
is in Plinth and review all functions defined over it
Internal
Plinth
status: triaged
#6656
opened Nov 12, 2024 by
effectfully
Allow for retrieving the index of a SOP constructor
AST
Evaluation
Low priority
Doesn't require immediate attention
status: triaged
#6653
opened Nov 12, 2024 by
effectfully
Change PlutusTX to the new name Plinth and ensure this change is made across all assets under IOHK/Intersect's control
Internal
Plinth
product
Product/Business issue
status: triaged
#6637
opened Nov 5, 2024 by
marshada
Proposal: Cross-Implementation Benchmarking Dataset for Plutus Performance
Benchmarks
Low priority
Doesn't require immediate attention
status: triaged
#6626
opened Nov 2, 2024 by
sierkov
Semantic Equivalence proofs for UPLC Phases...
Certification
Internal
status: triaged
#6615
opened Oct 29, 2024 by
ramsay-t
7 tasks
Semantic Equivalence proof support modules
Certification
Internal
status: triaged
#6614
opened Oct 29, 2024 by
ramsay-t
Semantic Equivalence UPLC single example (CaseReduce)
Certification
Internal
status: triaged
#6613
opened Oct 29, 2024 by
ramsay-t
Compiler Certification Semantic Equivalence Proofs
Certification
Internal
status: triaged
#6611
opened Oct 29, 2024 by
ramsay-t
1 of 4 tasks
Previous Next
ProTip!
no:milestone will show everything without a milestone.