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

Splitting tuple types into separate modules for each #3204

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Splitting tuple types into separate modules for each #3204

wants to merge 6 commits into from

Commits on Oct 9, 2024

  1. Splitting tuples

    @mtzguido
    mtzguido committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    77df44f View commit details
    Browse the repository at this point in the history

  2. Fixing compiler for new tuples

    @mtzguido
    mtzguido committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    067f87d View commit details
    Browse the repository at this point in the history

  3. Fix library

    @mtzguido
    mtzguido committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    357b0c3 View commit details
    Browse the repository at this point in the history

  4. Fix tests/examples for new tuples

    @mtzguido
    mtzguido committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    100e490 View commit details
    Browse the repository at this point in the history

  5. Parser.Const: fix tuple arities, fix extraction

    @mtzguido
    mtzguido committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    6937c86 View commit details
    Browse the repository at this point in the history

  6. FStar.AllTuples: add a way to include all tuples

    @mtzguido
    mtzguido committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    168732e View commit details
    Browse the repository at this point in the history