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

Isabelle/HOL translation: records and named patterns #2963

Merged
merged 17 commits into from
Aug 29, 2024
Merged

Isabelle/HOL translation: records and named patterns #2963

merged 17 commits into from
Aug 29, 2024

Commits on Aug 21, 2024

  1. records: language & printing

    @lukaszcz
    lukaszcz committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    994228d View commit details
    Browse the repository at this point in the history

  2. translate records (wip)

    @lukaszcz
    lukaszcz committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    a7721c1 View commit details
    Browse the repository at this point in the history

  3. record pattern matching

    @lukaszcz
    lukaszcz committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    de505a7 View commit details
    Browse the repository at this point in the history

  4. nested patterns wip

    @lukaszcz
    lukaszcz committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    3cf4ba5 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. nested record patterns

    @lukaszcz
    lukaszcz committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    f494617 View commit details
    Browse the repository at this point in the history

  2. remove redundant clauses

    @lukaszcz
    lukaszcz committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    0e4581a View commit details
    Browse the repository at this point in the history

  3. named patterns

    @lukaszcz
    lukaszcz committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    0759a45 View commit details
    Browse the repository at this point in the history

  4. fix name disambiguation

    @lukaszcz
    lukaszcz committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    07f4337 View commit details
    Browse the repository at this point in the history

  5. record update translation

    @lukaszcz
    lukaszcz committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    7298271 View commit details
    Browse the repository at this point in the history

  6. fix record update printing

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

Commits on Aug 23, 2024

  1. remove spurious pattern matches

    @lukaszcz
    lukaszcz committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    ee27806 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into isabelle-records

    @lukaszcz
    lukaszcz authored Aug 23, 2024
    Configuration menu
    Copy the full SHA
    ef18646 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Merge branch 'main' into isabelle-records

    @lukaszcz
    lukaszcz authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    2eaed3c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into isabelle-records

    @lukaszcz
    lukaszcz authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    0b653ac View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Merge branch 'main' into isabelle-records

    @lukaszcz
    lukaszcz authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    ed3cae7 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Update src/Juvix/Compiler/Backend/Isabelle/Extra.hs 

    Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
    @lukaszcz @janmasrovira
    lukaszcz and janmasrovira authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    7fd84c5 View commit details
    Browse the repository at this point in the history

  2. Update src/Juvix/Compiler/Backend/Isabelle/Extra.hs 

    Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
    @lukaszcz @janmasrovira
    lukaszcz and janmasrovira authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    745f0db View commit details
    Browse the repository at this point in the history