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

Advanced Logical Proofs #775

Closed
wants to merge 21 commits into from
Closed

Advanced Logical Proofs #775

wants to merge 21 commits into from

Commits on Nov 9, 2022

  1. Existential Elimination v1

    @dinanoe
    dinanoe committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    9c034cc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/dinanoe/silver

    @dinanoe
    dinanoe committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    c229ac5 View commit details
    Browse the repository at this point in the history

  3. Existential Elimination added Trigger typecheck

    @dinanoe
    dinanoe committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    a2c5c6d View commit details
    Browse the repository at this point in the history

  4. Existential Elimination comments

    @dinanoe
    dinanoe committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    1b56187 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2022

  1. Merge branch 'viperproject:master' into master

    @dinanoe
    dinanoe authored Nov 15, 2022
    Configuration menu
    Copy the full SHA
    8704df5 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2022

  1. Universal Introduction v1

    @dinanoe
    dinanoe committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    2eba4da View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2023

  1. Added Flow Analysis with Graph

    @dinanoe
    dinanoe committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    2b2211f View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2023

  1. oldCall added, restructured Code

    @dinanoe
    dinanoe committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    76ed0cd View commit details
    Browse the repository at this point in the history

  2. merge1

    @dinanoe
    dinanoe committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    37429f9 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. Complete Bachelor Thesis

    @dinanoe
    dinanoe committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    2118cef View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2023

  1. Merge branch 'viperproject:master' into master

    @dinanoe
    dinanoe authored Apr 16, 2023
    Configuration menu
    Copy the full SHA
    ab682a9 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2023

  1. Merge branch 'master' into master

    @ArquintL
    ArquintL authored Apr 20, 2023
    Configuration menu
    Copy the full SHA
    437b56c View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Merges tag 'v.24.01-release' into 'advanced-logical-proofs'

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    7dc7952 View commit details
    Browse the repository at this point in the history

  2. fixes parser to correctly parse syntax of reasoning plugin

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    663797f View commit details
    Browse the repository at this point in the history

  3. reduces diff

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    abe8a9c View commit details
    Browse the repository at this point in the history

  4. adds license headers

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    3195a8d View commit details
    Browse the repository at this point in the history

  5. fixes a compiler error

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    0c0efd7 View commit details
    Browse the repository at this point in the history

  6. changes testcases that use 'heap', which is now a keyword

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    3da1caf View commit details
    Browse the repository at this point in the history

  7. cleans up reasoning plugin further

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    c217565 View commit details
    Browse the repository at this point in the history

  8. Merges branch 'master' into 'advanced-logical-proofs'

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    383a4df View commit details
    Browse the repository at this point in the history

  9. changes yet another testcase that uses 'heap', which is now a keyword

    @ArquintL
    ArquintL committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    4847f56 View commit details
    Browse the repository at this point in the history