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

ExitCodeUsage detector #207

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

ExitCodeUsage detector #207

wants to merge 10 commits into from

Commits on Nov 4, 2024

  1. feat(solver+lattice): Implement IntervalLattice and widening worklist… 

    … solver
    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    618c0e4 View commit details
    Browse the repository at this point in the history

  2. chore(lattice): Refactor interval lattice and numbers

    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    5bd86a9 View commit details
    Browse the repository at this point in the history

  3. chore(lattice): generic->common

    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    08e20dc View commit details
    Browse the repository at this point in the history

  4. chore(lattice): nfc

    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    adb9760 View commit details
    Browse the repository at this point in the history

  5. feat(lattice): Adjust interval join semilattice API

    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    049c8ca View commit details
    Browse the repository at this point in the history

  6. chore(lattice): nfc

    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    e899fe1 View commit details
    Browse the repository at this point in the history

  7. feat(lattice): Support bigint

    @jubnzv
    jubnzv committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    1328aac View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. fix(lattice+num): bigint operations

    @jubnzv
    jubnzv committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    4d43afc View commit details
    Browse the repository at this point in the history

  2. fix(solver): imports

    @jubnzv
    jubnzv committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    08fece2 View commit details
    Browse the repository at this point in the history

  3. feat(exitCodeUsage): Initial version of the detector

    @jubnzv
    jubnzv committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    16124db View commit details
    Browse the repository at this point in the history