Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Implement basic static DSL for constraints #24

Closed
5 tasks
uhbif19 opened this issue Mar 20, 2024 · 1 comment
Closed
5 tasks

Implement basic static DSL for constraints #24

uhbif19 opened this issue Mar 20, 2024 · 1 comment
Assignees
@uhbif19
Labels
cem-interfaces enhancement New feature or request
Milestone
M3: Basic model-d...

Comments

@uhbif19
Copy link
Contributor

uhbif19 commented Mar 20, 2024 •
edited
Loading

TODO:

  • Write docs on design considerations of this design
  • Separate validation from constraints generation in CEMScript
  • Create constraints DSL datatype
  • Implement DSL on- and off-chain translation
  • Encode constraints using DMap

Blocked by #29
@uhbif19 uhbif19 added enhancement New feature or request cem-interfaces labels Mar 20, 2024
@uhbif19 uhbif19 self-assigned this Mar 20, 2024
@uhbif19 uhbif19 changed the title Implement static DSL for constraints Implement basic static DSL for constraints Mar 26, 2024
@uhbif19 uhbif19 mentioned this issue Mar 26, 2024
Closed
6 tasks
@github-actions GitHub Actions
Copy link

github-actions bot commented Mar 26, 2024 •
edited
Loading

Status: Ready to merge ✔️

Issues blocking this PR:

This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.

@github-actions github-actions bot added the blocked Waiting for another PR/issue to be merged/closed. label Mar 26, 2024
@uhbif19 uhbif19 mentioned this issue Mar 26, 2024
Closed
This was referenced Apr 19, 2024
Open
Closed
This was referenced May 7, 2024
Open
Open
Open
@uhbif19 uhbif19 mentioned this issue Jun 3, 2024
Open
2 tasks
@uhbif19 uhbif19 mentioned this issue Jun 25, 2024
Closed
@github-actions github-actions bot removed the blocked Waiting for another PR/issue to be merged/closed. label Jun 30, 2024
uhbif19 added a commit that referenced this issue Jun 30, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
bc20951 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
@uhbif19 uhbif19 mentioned this issue Jun 30, 2024
Closed
uhbif19 added a commit that referenced this issue Jun 30, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
c19a46b 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit that referenced this issue Jul 1, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
ebb6006 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit that referenced this issue Jul 1, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
2c922a6 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79, part of #50)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit that referenced this issue Jul 1, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
d76bf08 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79, part of #50)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit to uhbif19/cem-script that referenced this issue Jul 4, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
5d3953f 
…piler

Changes:

* Completely change API to declarative DSL (closes mlabs-haskell#24 mlabs-haskell#81, part of mlabs-haskell#29)
* Implement Plutarch transpiler (closes mlabs-haskell#48 mlabs-haskell#79, part of mlabs-haskell#50)
* Support lifting Plutus functions to declarative DSL (closes mlabs-haskell#68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue mlabs-haskell#92)
uhbif19 added a commit to uhbif19/cem-script that referenced this issue Jul 4, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
243c0ed 
…piler

Changes:

* Completely change API to declarative DSL (closes mlabs-haskell#24 mlabs-haskell#81, part of mlabs-haskell#29)
* Implement Plutarch transpiler (closes mlabs-haskell#48 mlabs-haskell#79, part of mlabs-haskell#50)
* Support lifting Plutus functions to declarative DSL (closes mlabs-haskell#68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue mlabs-haskell#92)
uhbif19 added a commit to uhbif19/cem-script that referenced this issue Jul 4, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
48adc2e 
…piler

Changes:

* Completely change API to declarative DSL (closes mlabs-haskell#24 mlabs-haskell#81, part of mlabs-haskell#29)
* Implement Plutarch transpiler (closes mlabs-haskell#48 mlabs-haskell#79, part of mlabs-haskell#50)
* Support lifting Plutus functions to declarative DSL (closes mlabs-haskell#68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue mlabs-haskell#92)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@uhbif19 uhbif19

Labels
cem-interfaces enhancement New feature or request
Projects
None yet
Milestone
M3: Basic model-driven testing
Development

Successfully merging a pull request may close this issue.

DSL and transpiler for Plutarch: take 2 mlabs-haskell/cem-script
1 participant
@uhbif19