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

Checks spec for correctness statically #81

Open
2 tasks done
uhbif19 opened this issue Jun 3, 2024 · 1 comment
Open
2 tasks done

Checks spec for correctness statically #81

uhbif19 opened this issue Jun 3, 2024 · 1 comment
Labels
cem-interfaces
Milestone
M3: Basic model-d...

Comments

@uhbif19
Copy link
Contributor

uhbif19 commented Jun 3, 2024 •
edited
Loading

  • Static validation: all spec maps are total
  • Static validation: signers, coins-selection and minting constraints are correct

Blocked by #24
@uhbif19 uhbif19 added this to the M3: Basic model-driven testing milestone Jun 3, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Jun 3, 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 Jun 3, 2024
@uhbif19 uhbif19 mentioned this issue Jun 3, 2024
Open
3 tasks
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)
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…
2576d50 
…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)
@github-actions github-actions bot removed the blocked Waiting for another PR/issue to be merged/closed. label Sep 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cem-interfaces
Projects
None yet
Milestone
M3: Basic model-driven testing
Development

No branches or pull requests
1 participant
@uhbif19