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

PIR Generators #4559

Closed
wants to merge 135 commits into from
Closed

PIR Generators #4559

wants to merge 135 commits into from

Commits on May 10, 2022

  1. first stab at generator move

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    669707c View commit details
    Browse the repository at this point in the history

  2. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    7e79cf7 View commit details
    Browse the repository at this point in the history

  3. WIP make generator port compile

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    8fa0859 View commit details
    Browse the repository at this point in the history

  4. WIP generator porting

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    242984a View commit details
    Browse the repository at this point in the history

  5. WIP generator porting

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    faf11cd View commit details
    Browse the repository at this point in the history

  6. more generator porting

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    45978d1 View commit details
    Browse the repository at this point in the history

  7. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    1990886 View commit details
    Browse the repository at this point in the history

  8. port

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    fb1b37d View commit details
    Browse the repository at this point in the history

  9. getting rid of more unnecessary things

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    08a9ec7 View commit details
    Browse the repository at this point in the history

  10. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    a0f84e3 View commit details
    Browse the repository at this point in the history

  11. prettyprinter and generator first compiling port

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    7b961e6 View commit details
    Browse the repository at this point in the history

  12. rip out prettyprinters

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    dd35f47 View commit details
    Browse the repository at this point in the history

  13. pretty generators wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    794a7e1 View commit details
    Browse the repository at this point in the history

  14. wip make generators build

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    23b8c1d View commit details
    Browse the repository at this point in the history

  15. minor

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    d0b9f8e View commit details
    Browse the repository at this point in the history

  16. fine.

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    f00254f View commit details
    Browse the repository at this point in the history

  17. WIP generator cleanup

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    c48edcb View commit details
    Browse the repository at this point in the history

  18. more cleanup

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    536642e View commit details
    Browse the repository at this point in the history

  19. more wip polish

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    6ee2d0f View commit details
    Browse the repository at this point in the history

  20. more wip polish

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    6cf273e View commit details
    Browse the repository at this point in the history

  21. more polish

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    d05a210 View commit details
    Browse the repository at this point in the history

  22. more polish

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    f06f47d View commit details
    Browse the repository at this point in the history

  23. more polish

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    7cea94f View commit details
    Browse the repository at this point in the history

  24. more polish

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    37e2b89 View commit details
    Browse the repository at this point in the history

  25. move generator tests to their own module

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    876b07e View commit details
    Browse the repository at this point in the history

  26. wip refactor

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    890ff91 View commit details
    Browse the repository at this point in the history

  27. hscleanup

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    1a392dd View commit details
    Browse the repository at this point in the history

  28. more wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    50df298 View commit details
    Browse the repository at this point in the history

  29. more wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    d0a6e10 View commit details
    Browse the repository at this point in the history

  30. custom generator plugin

    @MaximilianAlgehed
    MaximilianAlgehed committed May 10, 2022
    Configuration menu
    Copy the full SHA
    7249c77 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2022

  1. Update plutus-core/plutus-ir/test/GeneratorSpec.hs 

    Co-authored-by: Michael Peyton Jones <[email protected]>
    @MaximilianAlgehed @michaelpj
    MaximilianAlgehed and michaelpj authored May 23, 2022
    Configuration menu
    Copy the full SHA
    50ffcea View commit details
    Browse the repository at this point in the history

  2. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    d40e57e View commit details
    Browse the repository at this point in the history

  3. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    adc8415 View commit details
    Browse the repository at this point in the history

  4. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    78c592b View commit details
    Browse the repository at this point in the history

  5. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    f16f958 View commit details
    Browse the repository at this point in the history

  6. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    bfb7d07 View commit details
    Browse the repository at this point in the history

  7. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    a10454f View commit details
    Browse the repository at this point in the history

  8. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    a52a16a View commit details
    Browse the repository at this point in the history

  9. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    8a2c44e View commit details
    Browse the repository at this point in the history

  10. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    f29dcbb View commit details
    Browse the repository at this point in the history

  11. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 23, 2022
    Configuration menu
    Copy the full SHA
    cda5770 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2022

  1. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    a0de3e2 View commit details
    Browse the repository at this point in the history

  2. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    4377c2f View commit details
    Browse the repository at this point in the history

  3. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    fd13cb4 View commit details
    Browse the repository at this point in the history

  4. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    108e665 View commit details
    Browse the repository at this point in the history

  5. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    b30f947 View commit details
    Browse the repository at this point in the history

  6. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    87908f4 View commit details
    Browse the repository at this point in the history

  7. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    a4d1bff View commit details
    Browse the repository at this point in the history

  8. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    2a42fc6 View commit details
    Browse the repository at this point in the history

  9. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    2898705 View commit details
    Browse the repository at this point in the history

  10. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    723fda2 View commit details
    Browse the repository at this point in the history

  11. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    b841156 View commit details
    Browse the repository at this point in the history

  12. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed May 24, 2022
    Configuration menu
    Copy the full SHA
    6610af0 View commit details
    Browse the repository at this point in the history

  13. Update plutus-core/testlib/PlutusCore/Generators/PIR.hs 

    Co-authored-by: Michael Peyton Jones <[email protected]>
    @MaximilianAlgehed @michaelpj
    MaximilianAlgehed and michaelpj authored May 24, 2022
    Configuration menu
    Copy the full SHA
    d4e43bd View commit details
    Browse the repository at this point in the history

Commits on May 30, 2022

  1. Update plutus-core/testlib/PlutusCore/Generators/PIR.hs 

    Co-authored-by: Michael Peyton Jones <[email protected]>
    @MaximilianAlgehed @michaelpj
    MaximilianAlgehed and michaelpj authored May 30, 2022
    Configuration menu
    Copy the full SHA
    a1a6382 View commit details
    Browse the repository at this point in the history

  2. Update plutus-core/testlib/PlutusCore/Generators/PIR.hs 

    Co-authored-by: Michael Peyton Jones <[email protected]>
    @MaximilianAlgehed @michaelpj
    MaximilianAlgehed and michaelpj authored May 30, 2022
    Configuration menu
    Copy the full SHA
    c4765df View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. Update plutus-core/testlib/PlutusCore/Generators/PIR.hs 

    Co-authored-by: Michael Peyton Jones <[email protected]>
    @MaximilianAlgehed @michaelpj
    MaximilianAlgehed and michaelpj authored Jun 1, 2022
    Configuration menu
    Copy the full SHA
    2389328 View commit details
    Browse the repository at this point in the history

  2. refactor GenTm to its own module

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    69e6065 View commit details
    Browse the repository at this point in the history

  3. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    cd90088 View commit details
    Browse the repository at this point in the history

  4. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    a8e8afd View commit details
    Browse the repository at this point in the history

  5. more refactoring

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    aeea83b View commit details
    Browse the repository at this point in the history

  6. refactor properties etc

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    0956890 View commit details
    Browse the repository at this point in the history

  7. cleanup

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    ccd9484 View commit details
    Browse the repository at this point in the history

  8. more cleanup

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    75d1fa3 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2022

  1. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    c866f28 View commit details
    Browse the repository at this point in the history

  2. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    f3ca510 View commit details
    Browse the repository at this point in the history

  3. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    b3887c3 View commit details
    Browse the repository at this point in the history

  4. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    9662aa2 View commit details
    Browse the repository at this point in the history

  5. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    0f50120 View commit details
    Browse the repository at this point in the history

  6. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 2, 2022
    Configuration menu
    Copy the full SHA
    7a69139 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2022

  1. some incomplete refactoring

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    dd9b95c View commit details
    Browse the repository at this point in the history

  2. remove unnecessary shrinking

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    7caa634 View commit details
    Browse the repository at this point in the history

  3. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    99124c8 View commit details
    Browse the repository at this point in the history

  4. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    a087635 View commit details
    Browse the repository at this point in the history

  5. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    122630d View commit details
    Browse the repository at this point in the history

  6. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    6b29e28 View commit details
    Browse the repository at this point in the history

  7. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    85c40d7 View commit details
    Browse the repository at this point in the history

  8. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    2e9068a View commit details
    Browse the repository at this point in the history

  9. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    e25eec6 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2022

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to Quviq/PR-PIR-generators
    @effectfully
    effectfully committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    74c4b46 View commit details
    Browse the repository at this point in the history

  2. Drop a couple of calls to 'runQuoteT'

    @effectfully
    effectfully committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    d1f3e78 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2022

  1. Provide support for builtins in their full glory

    @effectfully
    effectfully committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    a9f872b View commit details
    Browse the repository at this point in the history

  2. Add a bit of docs to 'Builtin.hs'

    @effectfully
    effectfully committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    004587e View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2022

  1. Use 'quickcheck-transformer'

    @effectfully
    effectfully committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    8272249 View commit details
    Browse the repository at this point in the history

  2. un-CPS 'sizeSplit*' functions

    @effectfully
    effectfully committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    180d8e5 View commit details
    Browse the repository at this point in the history

  3. Add 'argsKind' and refactor 'minimalType'

    @effectfully
    effectfully committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    025a495 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2022

  1. Handle 'TyIFix' in the type generator

    @effectfully
    effectfully committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    5db7792 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2022

  1. comments

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 27, 2022
    Configuration menu
    Copy the full SHA
    a8a2919 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2022

  1. Keep error messages

    @effectfully
    effectfully committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    5359389 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'PR-PIR-generators' of https://github.com/Quviq/plutus i… 

    …nto PR-PIR-generators
    @effectfully
    effectfully committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    6f17b92 View commit details
    Browse the repository at this point in the history

  3. Debug mode for type generators

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    01cf59c View commit details
    Browse the repository at this point in the history

  4. invariant checking for terms + type error in previous commit (oops)

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    2f1899c View commit details
    Browse the repository at this point in the history

  5. stricter checkInvariants

    @MaximilianAlgehed
    MaximilianAlgehed committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    2073a2d View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. Return generation of types back to normal, make pretty-printing debug… 

    …guble
    @effectfully
    effectfully committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    3068a4a View commit details
    Browse the repository at this point in the history

  2. Run a million 'prop_genTypeCorrect' tests

    @effectfully
    effectfully committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    cae4fb5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'PR-PIR-generators' of https://github.com/Quviq/plutus i… 

    …nto PR-PIR-generators
    @effectfully
    effectfully committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    bd6bbbc View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2022

  1. debug options so that finding the failing seed isn't slow

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    3eed522 View commit details
    Browse the repository at this point in the history

  2. run more tests

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    c643347 View commit details
    Browse the repository at this point in the history

  3. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    d4582f6 View commit details
    Browse the repository at this point in the history

  4. test factor to easily be able to change the number of tests

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    47a4227 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2022

  1. Remove negativity check

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    b4b54d4 View commit details
    Browse the repository at this point in the history

  2. update golden tests

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    c71d964 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2022

  1. Documentation for subtle behaviour in substitution generator

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    560a377 View commit details
    Browse the repository at this point in the history

  2. shrink order documentation

    @MaximilianAlgehed
    MaximilianAlgehed committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    d1cf5a6 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to PR-PIR-generators
    @effectfully
    effectfully committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    c0cf301 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'PR-PIR-generators' of https://github.com/Quviq/plutus i… 

    …nto PR-PIR-generators
    @effectfully
    effectfully committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    fd751ff View commit details
    Browse the repository at this point in the history

  3. Fix semantic merge conflicts

    @effectfully
    effectfully committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    33e154d View commit details
    Browse the repository at this point in the history

  4. Disable 'editorconfig' in all the generator files

    @effectfully
    effectfully committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    84286f4 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. change names for util functions to be consistent

    @MaximilianAlgehed
    MaximilianAlgehed committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    5afc967 View commit details
    Browse the repository at this point in the history

  2. Fix todo

    @MaximilianAlgehed
    MaximilianAlgehed committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    4c76ad2 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. Address some minor comments

    @effectfully
    effectfully committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    88bec79 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'PR-PIR-generators' of https://github.com/Quviq/plutus i… 

    …nto PR-PIR-generators
    @effectfully
    effectfully committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    44de8c4 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2022

  1. Move substitution functions to 'PlutusCore.Subst'

    @effectfully
    effectfully committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    bb64ff1 View commit details
    Browse the repository at this point in the history

  2. Pull type shrinker into its own module

    @effectfully
    effectfully committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    b27a07e View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2022

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to PR-PIR-generators
    @effectfully
    effectfully committed Sep 8, 2022
    Configuration menu
    Copy the full SHA
    dd0048c View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. Address comments about stuff from 'Substitution.hs'

    @effectfully
    effectfully committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    ba134a6 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2022

  1. Restructure and document 'unifyType' a little

    @effectfully
    effectfully committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    c20e48d View commit details
    Browse the repository at this point in the history

  2. Use monad transformers in 'unifyType'

    @effectfully
    effectfully committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    e824886 View commit details
    Browse the repository at this point in the history

  3. Comment on 'minimalType' in the type shrinker for binders

    @effectfully
    effectfully committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    b1691fa View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2022

  1. Fix a warning

    @effectfully
    effectfully committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    d7eb16d View commit details
    Browse the repository at this point in the history

  2. Do a bit more in the shrinker

    @effectfully
    effectfully committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    1a4abe2 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2022

  1. Minor tweaks and comments

    @effectfully
    effectfully committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    05a1f36 View commit details
    Browse the repository at this point in the history

  2. Use strict 'Map's out of paranoia

    @effectfully
    effectfully committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    2559022 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2022

  1. Give up on pattern synonyms

    @effectfully
    effectfully committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    b2cfc24 View commit details
    Browse the repository at this point in the history

  2. Drop redundant pragmas, remove almost all name shadowing

    @effectfully
    effectfully committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    4425a58 View commit details
    Browse the repository at this point in the history

  3. Minor tweaks

    @effectfully
    effectfully committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    1b6f144 View commit details
    Browse the repository at this point in the history

  4. Use the compiler's internals in 'matchType'

    @effectfully
    effectfully committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    6a74dc3 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

  1. Proper generation and shrinking of built-in types

    @effectfully
    effectfully committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    ef9e328 View commit details
    Browse the repository at this point in the history

  2. Recalibrate the amounts of test cases

    @effectfully
    effectfully committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    ef4a379 View commit details
    Browse the repository at this point in the history

  3. Fix a typo

    @effectfully
    effectfully committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    7e794a7 View commit details
    Browse the repository at this point in the history

  4. Move 'GenTm' functions from 'Utils' to 'GenTm'

    @effectfully
    effectfully committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    4033f34 View commit details
    Browse the repository at this point in the history

  5. Define 'fvTypeBag' in terms of 'multiSetOf'

    @effectfully
    effectfully committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    fd778e9 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

  1. Refactor and document 'genSubst'

    @effectfully
    effectfully committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    4ef3ca6 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

  1. Define 'substEscape' in terms of the general substitution worker

    @effectfully
    effectfully committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    abdf1d2 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

  1. Add Note [The unification algorithm]

    @effectfully
    effectfully committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    d855182 View commit details
    Browse the repository at this point in the history