Add compiler certification component #6250
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…eanest way to handle lists - and whether this constructor approach is best.
… done with Pointwise?
Co-authored-by: effectfully <effectfully@gmail.com>
Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com>
Co-authored-by: effectfully <effectfully@gmail.com>
…r list translations.
…ome have unresolved constrains over types.
…ions are implicit; the values get exposed at the edges by the isTerm and allTerms types. This makes things considerably more readable and less repetitive.
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
ana-pantilie
commented
Jun 26, 2024
plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Simplify.hs
Outdated
Show resolved
Hide resolved
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
…put back in the connection between the Case and Force patterns in the translation relation. I have kept the individual Views and decision procedures for the two sides because this makes the final decision procedure a bit more manageable to read, instead of having massive chains of constructors in it.
…nto ana/experiment-malonzo
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
… constant equalities rely on Haskell's equality and som 'magic' to turn this into proofs.
…nto ana/experiment-malonzo
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
Signed-off-by: Ana Pantilie <ana.pantilie95@gmail.com>
|
Closing in favour of #6413 and subsequent PRs |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #5941
Needs #5947
Pre-submit checklist: