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

Use a separated counter for abstract value #835

Merged
merged 3 commits into from
Sep 25, 2023
Merged

Use a separated counter for abstract value #835

merged 3 commits into from
Sep 25, 2023

Commits on Sep 23, 2023

  1. Use a separated counter for abstract value 

    Use a separated counter in `Models` to produce fresh names
for abstract values in models. This fix is temporary as we plan to
refactor the model generation in another PR.

A better design consists in producing fresh names while computing
the model.
    @Halbaroth
    Halbaroth committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    4ae0015 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. Increase the counter

    @Halbaroth
    Halbaroth committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    2b1cea0 View commit details
    Browse the repository at this point in the history

  2. Promote tests 

    I also add another tests to check if the counter increases properly.
    @Halbaroth
    Halbaroth committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    97094a3 View commit details
    Browse the repository at this point in the history