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

Ids for lambda parameters #689

Merged
merged 9 commits into from Mar 10, 2023
Merged

Ids for lambda parameters #689

merged 9 commits into from Mar 10, 2023

Commits on Mar 7, 2023

  1. Add id to lambda parameters

    @bugarela
    bugarela committed Mar 7, 2023
    Copy the full SHA
    c8b88cf View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Adapt implementation and update tests

    @bugarela
    bugarela committed Mar 8, 2023
    Copy the full SHA
    ebcff3a View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2023

  1. Clean up constraints between each module

    @bugarela
    bugarela committed Mar 9, 2023
    Copy the full SHA
    6291ed5 View commit details
    Browse the repository at this point in the history

  2. Update QuintLambdaParameter docstring

    @bugarela
    bugarela committed Mar 9, 2023
    Copy the full SHA
    b1d12c4 View commit details
    Browse the repository at this point in the history

  3. Add CHANGELOG entry

    @bugarela
    bugarela committed Mar 9, 2023
    Copy the full SHA
    327ee91 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into gabriela/parameter-ids

    @bugarela
    bugarela committed Mar 9, 2023
    Copy the full SHA
    89dff3a View commit details
    Browse the repository at this point in the history

  5. Link issues to FIXME comments

    @bugarela
    bugarela committed Mar 9, 2023
    Copy the full SHA
    3e2e4c0 View commit details
    Browse the repository at this point in the history

  6. Fix annotation in test to prevent having to keep global constraints

    @bugarela
    bugarela committed Mar 9, 2023
    Copy the full SHA
    1296d34 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2023

  1. Merge branch 'main' into gabriela/parameter-ids

    @bugarela
    bugarela committed Mar 10, 2023
    Copy the full SHA
    7b5ec9d View commit details
    Browse the repository at this point in the history