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

Show CFGs for functions in the IDE #36

Merged
merged 13 commits into from
Jul 26, 2022
Merged

Show CFGs for functions in the IDE #36

merged 13 commits into from
Jul 26, 2022

Commits on Jun 16, 2022

  1. Add initial cfg showing codelens and update dependencies

    @karoliineh
    karoliineh committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    b6f7523 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2022

  1. Show CFG codelens for each function according the functions list from… 

    … Goblint
    @karoliineh
    karoliineh committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    6c1549a View commit details
    Browse the repository at this point in the history

  2. Refactor convert functions

    @karoliineh
    karoliineh committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    8d96740 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2022

  1. Update build.yml 

    Update node from 14 to 16
    @karoliineh
    karoliineh authored Jul 25, 2022
    Configuration menu
    Copy the full SHA
    f259293 View commit details
    Browse the repository at this point in the history

  2. Update dependencies and node to 18

    @karoliineh
    karoliineh committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    b3018f1 View commit details
    Browse the repository at this point in the history

  3. Resolve merge conflict

    @karoliineh
    karoliineh committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    da08279 View commit details
    Browse the repository at this point in the history

  4. Revert vscode-languageclient version update

    @karoliineh
    karoliineh committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    12ccaf8 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. Merge analysis-abort functionality and resolve conflicts

    @karoliineh
    karoliineh committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    03ac293 View commit details
    Browse the repository at this point in the history

  2. Request cfg from server using codelens

    @karoliineh
    karoliineh committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    48a2f2c View commit details
    Browse the repository at this point in the history

  3. Use graphviz-java to generate svg from dot

    @karoliineh
    karoliineh committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    9d94269 View commit details
    Browse the repository at this point in the history

  4. Consistency: rename cfgs to cfg (to match the request name in Goblint)

    @karoliineh
    karoliineh committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    4843cda View commit details
    Browse the repository at this point in the history

  5. Improve comments

    @karoliineh
    karoliineh committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    769d33d View commit details
    Browse the repository at this point in the history

  6. Show cfgs in one tab instead of opening a new tab every time

    @karoliineh
    karoliineh committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    4c84439 View commit details
    Browse the repository at this point in the history