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

Refactor analysis framework for pluggable abstract domains / Add TypeCheckSmallTest #212

Merged
merged 11 commits into from
Feb 8, 2024
Merged

Refactor analysis framework for pluggable abstract domains / Add TypeCheckSmallTest #212

merged 11 commits into from
Feb 8, 2024

Commits on Feb 8, 2024

  1. Refactor analyzer framework for pluggable analysis configuration

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    cffe38d View commit details
    Browse the repository at this point in the history

  2. Add analyzerTypeCheckTest

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    d893113 View commit details
    Browse the repository at this point in the history

  3. Update ManualInfo / Refactor TypeAnalyzer

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    998f7c2 View commit details
    Browse the repository at this point in the history

  4. Update TypeCheckSmallTest with GitHub Actions

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    e7a2d36 View commit details
    Browse the repository at this point in the history

  5. Fix error in workflows and update hashcode for each version

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    6106069 View commit details
    Browse the repository at this point in the history

  6. Add tests for type analysis of recent spec

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    73aa258 View commit details
    Browse the repository at this point in the history

  7. Update executeCmd system util

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    3f8aa0d View commit details
    Browse the repository at this point in the history

  8. Fix error in command execution helper

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    ceafb69 View commit details
    Browse the repository at this point in the history

  9. Update client submodule and related CI workflow

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    2660c41 View commit details
    Browse the repository at this point in the history

  10. Remove unnecesary fetch-tags option in ci.yml

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    822378f View commit details
    Browse the repository at this point in the history

  11. Update ci.yml

    @jhnaldo
    jhnaldo committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    1719ef5 View commit details
    Browse the repository at this point in the history