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

Something is over-approx for some reason... #301

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

Something is over-approx for some reason... #301

wants to merge 20 commits into from

Commits on Jul 8, 2024

  1. Something is over-approx for some reason... 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    f39d5b9 View commit details
    Browse the repository at this point in the history

  2. playing with gillian-c fire here 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    d23368c View commit details
    Browse the repository at this point in the history

  3. trying something? 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    3336e20 View commit details
    Browse the repository at this point in the history

  4. fix production in Gillian-C 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    859dc79 View commit details
    Browse the repository at this point in the history

  5. What the fuck 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    580bddb View commit details
    Browse the repository at this point in the history

  6. kill reduction exception on formula reduction 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    6a0316f View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. experiment

    @PetarMax
    PetarMax committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    9796097 View commit details
    Browse the repository at this point in the history

  2. flattening

    @PetarMax
    PetarMax committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    3765ddb View commit details
    Browse the repository at this point in the history

  3. back to life, back to reality

    @PetarMax
    PetarMax committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    4036440 View commit details
    Browse the repository at this point in the history

  4. Branching when matching? 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    5f5ceb5 View commit details
    Browse the repository at this point in the history

  5. some logging 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    0c327c8 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into delayed-fix

    @giltho
    giltho authored Jul 10, 2024
    Configuration menu
    Copy the full SHA
    6cc5c5e View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Merge branch 'master' into delayed-fix

    @giltho
    giltho committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    6760ef1 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. attempt: make location resolution slightly more powerful? 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    4f38ff9 View commit details
    Browse the repository at this point in the history

  2. do not reduce before resolving location

    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    be628fb View commit details
    Browse the repository at this point in the history

  3. a lot of printing when resolving locations 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    cd4eaed View commit details
    Browse the repository at this point in the history

  4. fix printing 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    482bfac View commit details
    Browse the repository at this point in the history

  5. ok, proper reinforcement of resolve_expr 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    f1bd890 View commit details
    Browse the repository at this point in the history

  6. re more logging 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    4b03555 View commit details
    Browse the repository at this point in the history

  7. proper cross-product 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    9f40f0a View commit details
    Browse the repository at this point in the history