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

Chopper: More fine grained dependency analysis for domain axioms #776

Merged
merged 7 commits into from
Mar 11, 2024
Merged

Chopper: More fine grained dependency analysis for domain axioms #776

merged 7 commits into from
Mar 11, 2024

Commits on Feb 27, 2024

  1. made dependency analysis for domain axioms more fine grained

    @Felalolf
    Felalolf committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    071f17c View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Update src/main/scala/viper/silver/ast/utility/chopper/Chopper.scala 

    Co-authored-by: João Pereira <joaopereira.19@gmail.com>
    @Felalolf @jcp19
    Felalolf and jcp19 authored Mar 4, 2024
    Configuration menu
    Copy the full SHA
    c22e668 View commit details
    Browse the repository at this point in the history

  2. Update src/main/scala/viper/silver/ast/utility/chopper/Chopper.scala 

    Co-authored-by: João Pereira <joaopereira.19@gmail.com>
    @Felalolf @jcp19
    Felalolf and jcp19 authored Mar 4, 2024
    Configuration menu
    Copy the full SHA
    ea49fc9 View commit details
    Browse the repository at this point in the history

  3. in case a trigger has no usages, changed code to conservatively take … 

    …all usages within quantified expression
    @Felalolf
    Felalolf committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    84ac32a View commit details
    Browse the repository at this point in the history

  4. Merge branch 'fewolf_finer_chopper' of https://github.com/viperprojec… 

    …t/silver into fewolf_finer_chopper
    @Felalolf
    Felalolf committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    ee80fe4 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into fewolf_finer_chopper

    @Felalolf
    Felalolf authored Mar 4, 2024
    Configuration menu
    Copy the full SHA
    93f9634 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Merge branch 'master' into fewolf_finer_chopper

    @Felalolf
    Felalolf authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    75f414e View commit details
    Browse the repository at this point in the history