Skip to content

Issues: mlabs-haskell/cem-script

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
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

Invalidated Utxo retrying example blocked Waiting for another PR/issue to be merged/closed. documentation Improvements or additions to documentation good first issue Good for newcomers
Checks spec for correctness statically blocked Waiting for another PR/issue to be merged/closed. cem-interfaces
#81 opened Jun 3, 2024 by uhbif19
2 tasks
M3: Basic model-driven testing
Make sure Voting example does not exceed fee limits blocked Waiting for another PR/issue to be merged/closed. bug Something isn't working cem-interfaces in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
Create M4/M5/Final demo video documentation Improvements or additions to documentation in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
#78 opened May 31, 2024 by uhbif19 M5: Indexing and project closing
Create M3 demo video documentation Improvements or additions to documentation in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
#77 opened May 31, 2024 by uhbif19 M3: Basic model-driven testing
Publish on CHaP blocked Waiting for another PR/issue to be merged/closed. infra
#72 opened May 11, 2024 by uhbif19
3 tasks
M5: Indexing and project closing
Improve CI infra
#69 opened May 11, 2024 by uhbif19
3 tasks
Support enveloping external scripts cem-interfaces in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
Create custom Emulator backend backends blocked Waiting for another PR/issue to be merged/closed.
#66 opened May 8, 2024 by uhbif19
5 tasks
M3: Basic model-driven testing
Enforce state-thread token checks blocked Waiting for another PR/issue to be merged/closed. cem-interfaces good first issue Good for newcomers
#64 opened May 7, 2024 by uhbif19
4 tasks
M4: Advanced features and robustness
Add datatype support into Plutus plugin backends enhancement New feature or request
#52 opened Apr 20, 2024 by uhbif19
Fix on-chain security and test it throughly blocked Waiting for another PR/issue to be merged/closed. cem-interfaces in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
#50 opened Apr 20, 2024 by uhbif19
5 tasks
M4: Advanced features and robustness
Implement fixed-function swaps blocked Waiting for another PR/issue to be merged/closed. cem-interfaces
#49 opened Apr 20, 2024 by uhbif19
3 tasks
M3: Basic model-driven testing
Optimize constraints compilation and use Plutarch blocked Waiting for another PR/issue to be merged/closed. cem-interfaces in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
#48 opened Apr 19, 2024 by uhbif19
2 of 8 tasks
M4: Advanced features and robustness
Advanced optimization techniques blocked Waiting for another PR/issue to be merged/closed.
#47 opened Apr 19, 2024 by uhbif19
4 tasks
M4: Advanced features and robustness
Profile all our examples and find main bottlenecks in-catalyst-milestone Something needed to be done for Catalyst milestones to closed research
Add support for DApp Tx streaming from indexer backends in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
#44 opened Apr 19, 2024 by uhbif19 M5: Indexing and project closing
ProTip! Adding no:label will show everything without a label.