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

Module shapes for easier tooling #10718

Closed
wants to merge 8 commits into from
Closed

Module shapes for easier tooling #10718

wants to merge 8 commits into from

Commits on Nov 9, 2021

  1. Shapes: Add Shape module with terms definitions and utility functions 

    /!\ Need bootstrap

+ Move Uid and Sig_component_kind to Shape

Co-authored-by: Thomas Refis <thomas.refis@gmail.com>
    @voodoos @trefis
    voodoos and trefis committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    978a559 View commit details
    Browse the repository at this point in the history

  2. Shapes: Update env. to store shapes and uid/loc tables 

    Co-authored-by: Thomas Refis <thomas.refis@gmail.com>
    @voodoos @trefis
    voodoos and trefis committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    7c8de71 View commit details
    Browse the repository at this point in the history

  3. Shapes: Compute shapes during type checking 

    /!\ Needs bootstrap

Co-authored-by: Thomas Refis <thomas.refis@gmail.com>
    @voodoos @trefis
    voodoos and trefis committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    44bbb28 View commit details
    Browse the repository at this point in the history

  4. Shapes: Add -dshape flag for debugging and testing purposes 

    Co-authored-by: Thomas Refis <thomas.refis@gmail.com>
    @voodoos @trefis
    voodoos and trefis committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    9069cb5 View commit details
    Browse the repository at this point in the history

  5. Shapes: Add new tests and update others relying on idents 

    Co-authored-by: Thomas Refis <thomas.refis@gmail.com>
    @voodoos @trefis
    voodoos and trefis committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    6a3577e View commit details
    Browse the repository at this point in the history

  6. Shapes: Store shapes in CMT* files 

    Co-authored-by: Thomas Refis <thomas.refis@gmail.com>
    @voodoos @trefis
    voodoos and trefis committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    2520ec7 View commit details
    Browse the repository at this point in the history

  7. Shapes: Add Changelog entry

    @voodoos
    voodoos committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    46defb9 View commit details
    Browse the repository at this point in the history

  8. Shapes: new bootstrap

    @voodoos
    voodoos committed Nov 9, 2021
    Configuration menu
    Copy the full SHA
    eb98ebb View commit details
    Browse the repository at this point in the history