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

Datatypes parser #277

Open
wants to merge 27 commits into
base: main
Choose a base branch
from
Open

Datatypes parser #277

wants to merge 27 commits into from

Commits on Jul 26, 2021

  1. WIP on datatypes support

    @makaimann
    makaimann committed Jul 26, 2021
    Configuration menu
    Copy the full SHA
    f12be21 View commit details
    Browse the repository at this point in the history

  2. Fix a few issues in initial datatypes parser support

    @makaimann
    makaimann committed Jul 26, 2021
    Configuration menu
    Copy the full SHA
    3ff1a68 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2021

  1. Remove old printout

    @makaimann
    makaimann committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    1e17f21 View commit details
    Browse the repository at this point in the history

  2. Implement domain/codomain for datatype sorts

    @makaimann
    makaimann committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    3ee6308 View commit details
    Browse the repository at this point in the history

  3. Return op and Term for indexed operators (support Apply), save dataty… 

    …pe info to recover later
    @makaimann
    makaimann committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    c39cc6d View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2021

  1. Add sort_or_str option which carries through string representation fo… 

    …r unknown sorts
    @makaimann
    makaimann committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    5bf8683 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2021

  1. Revert "Add sort_or_str option which carries through string represent… 

    …ation for unknown sorts"

This reverts commit 5bf8683.
    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    a6c9cb7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into datatypes-parser

    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    3496756 View commit details
    Browse the repository at this point in the history

  3. Update flex prefix

    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    18e7142 View commit details
    Browse the repository at this point in the history

  4. Return value for cons_list

    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    d94a98d View commit details
    Browse the repository at this point in the history

  5. Add dedicated function for forward references of datatype sorts

    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    db24328 View commit details
    Browse the repository at this point in the history

  6. working with forward reference

    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    235cafe View commit details
    Browse the repository at this point in the history

  7. WIP toward supporting selectors

    @makaimann
    makaimann committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    033e1bb View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2021

  1. Add methods for saving and looking up datatype constructors/selectors

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    63cd43d View commit details
    Browse the repository at this point in the history

  2. Support using constructors/selectors

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    c73db26 View commit details
    Browse the repository at this point in the history

  3. Rename datatypedecls->datatypesorts

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    1cc1a81 View commit details
    Browse the repository at this point in the history

  4. Use typedef for semantic values

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    a29f1bc View commit details
    Browse the repository at this point in the history

  5. Refactor: move datatype declaration code into driver

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    a8436af View commit details
    Browse the repository at this point in the history

  6. Support declare-datatype syntactic sugar

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    62f753f View commit details
    Browse the repository at this point in the history

  7. Support simultaneous datatype declarations in declare-datatypes

    @makaimann
    makaimann committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    b314364 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2021

  1. Add initial datatype parsing tests

    @makaimann
    makaimann committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    798e73a View commit details
    Browse the repository at this point in the history

  2. WIP on mutually recursive

    @makaimann
    makaimann committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    062e4ff View commit details
    Browse the repository at this point in the history

  3. Fix for applying constructors

    @makaimann
    makaimann committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    2d27547 View commit details
    Browse the repository at this point in the history

  4. Create datatype sorts for mutually recursive dataypes simultaneously

    @makaimann
    makaimann committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    f40beaf View commit details
    Browse the repository at this point in the history

  5. Handle compiler warning in parser

    @makaimann
    makaimann committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    579c5b2 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2021

  1. Merge branch 'master' into datatypes-parser

    @makaimann
    makaimann committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    b7b6f48 View commit details
    Browse the repository at this point in the history

  2. Fix typo in comments

    @makaimann
    makaimann committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    04fe00c View commit details
    Browse the repository at this point in the history