-
Notifications
You must be signed in to change notification settings - Fork 484
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
Add array type and builtins to PLC specification
Builtins
Internal
Specification
status: triaged
#6765
opened Dec 28, 2024 by
kwxm
Add conformance tests for built-in array type and functions
Builtins
Internal
status: triaged
Test
#6764
opened Dec 28, 2024 by
kwxm
Add new array type and builtins to Agda metatheory
Builtins
Internal
Metatheory
status: triaged
#6763
opened Dec 28, 2024 by
kwxm
CIP-0138 array
Builtins
No Changelog Required
Add this to skip the Changelog Check
#6749
opened Dec 13, 2024 by
Unisay
Loading…
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
Metatheory for
caseList
and caseData
Builtins
Internal
Metatheory
status: triaged
#6605
opened Oct 29, 2024 by
kwxm
Specify
caseList
and caseData
Builtins
Internal
Specification
status: triaged
#6604
opened Oct 29, 2024 by
kwxm
Costing for Anything relating to costs, fees, gas, etc.
Internal
status: triaged
dropList
Builtins
Costing
#6603
opened Oct 29, 2024 by
kwxm
Case
ing on values of built-in types
Builtins
Objective
Performance
status: triaged
#6602
opened Oct 28, 2024 by
effectfully
Add builtins: Doesn't require immediate attention
Performance
product
Product/Business issue
status: triaged
assert
, assertOrTrace
, assertAndContinue
and assertAndContinueOrTrace
Builtins
Low priority
#6598
opened Oct 27, 2024 by
michele-nuzzi
Investigate adding Product/Business issue
dropList
Builtins
Objective
Performance
product
#6593
opened Oct 23, 2024 by
effectfully
1 of 3 tasks
Add a general Doesn't require immediate attention
status: triaged
mkPair
Builtins
Low priority
#6592
opened Oct 22, 2024 by
effectfully
Add support for limited higher-order builtins
Builtins
Low priority
Doesn't require immediate attention
Performance
status: triaged
#6587
opened Oct 21, 2024 by
effectfully
Add specialized builtins for handling Value?
Builtins
Low priority
Doesn't require immediate attention
Performance
status: triaged
#6585
opened Oct 21, 2024 by
effectfully
Add support for true higher-order builtins
Builtins
Evaluation
Low priority
Doesn't require immediate attention
status: triaged
#6563
opened Oct 12, 2024 by
effectfully
[Builtins] Add the 'dropList' builtin
Builtins
Do not merge
EXPERIMENT
Experiments that we probably don't want to merge
No Changelog Required
Add this to skip the Changelog Check
#6468
opened Sep 11, 2024 by
effectfully
•
Draft
Add a Doesn't require immediate attention
status: triaged
casePair
built-in function
Builtins
Good first issue
Low priority
#6440
opened Sep 3, 2024 by
effectfully
Optimize division-related Integer operations
Builtins
Low priority
Doesn't require immediate attention
Performance
product
Product/Business issue
status: triaged
#6391
opened Aug 8, 2024 by
kozross
[Epic] Generate
Arbitrary
BuiltinMeaning
s
Builtins
Internal
status: triaged
Test
#6384
opened Aug 6, 2024 by
effectfully
4 tasks
End -to-end tests for modular exponentiation
Builtins
Internal
status: triaged
Test
#6338
opened Jul 25, 2024 by
bezirg
Costing for modular exponentiation
Builtins
Costing
Anything relating to costs, fees, gas, etc.
Internal
status: triaged
#6336
opened Jul 25, 2024 by
bezirg
Plutus Core specification: be careful about sizes of builtin arguments of integral types
bug
Builtins
Internal
Specification
status: triaged
#6310
opened Jul 15, 2024 by
kwxm
Faster processing of Doesn't require immediate attention
Performance
status: triaged
Data
objects
Builtins
Low priority
#6225
opened Jun 20, 2024 by
effectfully
RIPEMD-160 builtin
Builtins
Crypto
Internal
product
Product/Business issue
status: triaged
#6155
opened May 30, 2024 by
kwxm
6 of 8 tasks
Previous Next
ProTip!
Follow long discussions with comments:>50.