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

Use Agda generics for proof serialising #6425

Closed
wants to merge 58 commits into from
Closed

Use Agda generics for proof serialising #6425

wants to merge 58 commits into from

Commits on Aug 13, 2024

  1. WIP

    @kwxm
    kwxm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    dfde178 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into kwxm/metatheory/fix-test2

    @kwxm
    kwxm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    afa23a1 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Fix broken metatheory tests using textual comparison

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    21607ed View commit details
    Browse the repository at this point in the history

  2. Refactor detailed tests

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    f18ebe7 View commit details
    Browse the repository at this point in the history

  3. Refactor detailed tests

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    32c5a26 View commit details
    Browse the repository at this point in the history

  4. Re-enable plutus-metatheory:test2 in CI

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    9f17fba View commit details
    Browse the repository at this point in the history

  5. Add raw certification component 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    4d32e29 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into kwxm/metatheory/fix-test2

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    540b95b View commit details
    Browse the repository at this point in the history

  7. Fixes in project.nix

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    225ac43 View commit details
    Browse the repository at this point in the history

  8. Remove unused files

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    aa67c66 View commit details
    Browse the repository at this point in the history

  9. Remove the preCheck hack from plutus-metatheory.components.tests.test… 

    …-simple
    @zeme-wana
    zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    16d004c View commit details
    Browse the repository at this point in the history

  10. Extra comments

    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    68652b3 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'kwxm/metatheory/fix-test2' of github.com:IntersectMBO/p… 

    …lutus into kwxm/metatheory/fix-test2
    @kwxm
    kwxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    5411479 View commit details
    Browse the repository at this point in the history

  12. WIP

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    b3d582b View commit details
    Browse the repository at this point in the history

  13. Fix broken metatheory tests using textual comparison

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    a2dfbcd View commit details
    Browse the repository at this point in the history

  14. Refactor detailed tests

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    602d274 View commit details
    Browse the repository at this point in the history

  15. Refactor detailed tests

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    48543fd View commit details
    Browse the repository at this point in the history

  16. Re-enable plutus-metatheory:test2 in CI

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    2f43b7b View commit details
    Browse the repository at this point in the history

  17. Fixes in project.nix

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    526e3eb View commit details
    Browse the repository at this point in the history

  18. Remove unused files

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    5d177dc View commit details
    Browse the repository at this point in the history

  19. Extra comments

    @kwxm @zeme-wana
    kwxm authored and zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    8fe533f View commit details
    Browse the repository at this point in the history

  20. Remove the preCheck hack from plutus-metatheory.components.tests.test… 

    …-simple
    @zeme-wana
    zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    948bc91 View commit details
    Browse the repository at this point in the history

  21. Rebase and remove dead code

    @zeme-wana
    zeme-wana committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    fda7740 View commit details
    Browse the repository at this point in the history

  22. WIP: fix compilation errors 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    3568d60 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Remove newline in error message

    @kwxm
    kwxm committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    89f9b08 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'kwxm/metatheory/fix-test2' of github.com:IntersectMBO/p… 

    …lutus into kwxm/metatheory/fix-test2
    @kwxm
    kwxm committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    35ee520 View commit details
    Browse the repository at this point in the history

  3. Fix compilation errors 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    bcb1607 View commit details
    Browse the repository at this point in the history

  4. Small clean-up 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    a2445ad View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Address some PR comments

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    e5ddb90 View commit details
    Browse the repository at this point in the history

  2. WIP

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    3d9c46a View commit details
    Browse the repository at this point in the history

  3. WIP

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    ee0e691 View commit details
    Browse the repository at this point in the history

  4. Add Output option to plc to make it consistent with uplc

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f389181 View commit details
    Browse the repository at this point in the history

  5. Tidy up output of evaluation/typecheching results

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    36f8947 View commit details
    Browse the repository at this point in the history

  6. Tidy up output of evaluation/typecheching results

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    8c51c63 View commit details
    Browse the repository at this point in the history

  7. Name change

    @kwxm
    kwxm committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f9d5e2f View commit details
    Browse the repository at this point in the history

  8. WIP: clean-up 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    7ff26ec View commit details
    Browse the repository at this point in the history

  9. Merge remote-tracking branch 'origin/kwxm/metatheory/fix-test2' into … 

    …ana/add-certification-component
    @ana-pantilie
    ana-pantilie committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f52e423 View commit details
    Browse the repository at this point in the history

  10. Added plutus-executables package; moved uplc/pc/pir and metatheory tests 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    7778a19 View commit details
    Browse the repository at this point in the history

  11. Add certifier to uplc optimiser 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    33b6482 View commit details
    Browse the repository at this point in the history

  12. Add certifier to uplc optimise 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    1873aa8 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Merge remote-tracking branch 'origin/master' into ana/add-certificati… 

    …on-component
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    99bd8ba View commit details
    Browse the repository at this point in the history

  2. Fix 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    8d8d0a2 View commit details
    Browse the repository at this point in the history

  3. Clean-up 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    5733c83 View commit details
    Browse the repository at this point in the history

  4. Clean-up cabal file 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    f451581 View commit details
    Browse the repository at this point in the history

  5. Fix metatheory tests 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    6c70e1c View commit details
    Browse the repository at this point in the history

  6. Fix isTransformation? 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    c24e54e View commit details
    Browse the repository at this point in the history

  7. Certifier properly handles results 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    d06b49b View commit details
    Browse the repository at this point in the history

  8. Add documentation 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    9e42982 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Add a nix derivation for generics; upgrade stdlib to 2.1 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    d8fa57a View commit details
    Browse the repository at this point in the history

  2. Use standard-library 2.0; fix build

    @ana-pantilie
    ana-pantilie committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    d1bb967 View commit details
    Browse the repository at this point in the history

  3. Build MAlonzo with new stdlib 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    f0b9a85 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. WIP derive Show for Dec Trace

    @ana-pantilie
    ana-pantilie committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    b7ce4fa View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Temp 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    dc339e3 View commit details
    Browse the repository at this point in the history

  2. WIP: add agda-stdlib-meta derivation 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    222190a View commit details
    Browse the repository at this point in the history

  3. Fix derivations 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    cc735cb View commit details
    Browse the repository at this point in the history

  4. Amazing 

    Signed-off-by: Ana Pantilie <[email protected]>
    @ana-pantilie
    ana-pantilie committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    be317f6 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. Merge remote-tracking branch 'origin/master' into ana/use-generics-in… 

    …-metatheory
    @ana-pantilie
    ana-pantilie committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    22a40f9 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Fix after master merge

    @ana-pantilie
    ana-pantilie committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    8aae4e9 View commit details
    Browse the repository at this point in the history