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

Merged
merged 27 commits into from
Nov 8, 2024
Merged

ExitCodeUsage detector #207

merged 27 commits into from
Nov 8, 2024

Conversation

jubnzv
Copy link
Member

@jubnzv jubnzv commented Nov 4, 2024 •
edited
Loading

Closes #133

  • I have updated CHANGELOG.md
  • I have added tests to demonstrate the contribution is correctly implemented
  • No test failures were reported when running yarn test-all
  • I did not do unrelated and/or undiscussed refactorings

jubnzv added 24 commits November 4, 2024 14:51
@jubnzv
chore(lattice): generic->common
08e20dc
@jubnzv
chore(lattice): nfc
adb9760
@jubnzv
feat(lattice): Adjust interval join semilattice API
049c8ca
@jubnzv
chore(lattice): nfc
e899fe1
@jubnzv
feat(lattice): Support bigint
1328aac
@jubnzv
fix(lattice+num): bigint operations
4d43afc
@jubnzv
fix(solver): imports
08fece2
@jubnzv
feat(exitCodeUsage): Initial version of the detector
16124db
@jubnzv
fix(worklist): FIFO iteration, not LIFO
84ce4d6
@jubnzv
chore(exitCodeUsage): Update an example
bba3364
@jubnzv
chore: yarn fix-all
13faf6f
@jubnzv
Merge remote-tracking branch 'origin/master' into 103-exit-codes
7c8ec9f
@jubnzv
chore: Update changelog
fb9ff58
@jubnzv
fix: cspell
b2bedcd
@jubnzv
fix: knip
7a4fc02
@jubnzv
chore(worklist): Refactor, comment
a3c9c5a
@jubnzv
feat(driver): Improve debug logging
0b08eee
@jubnzv
feat(lattice): Improve interface for widening lattices
3a576b8
@jubnzv
chore(lattice): Separate module for numbers
cf0ce38
@jubnzv
fix(exitCodeUsage): Widening threshold
5f56d6b
@jubnzv
fix: cspell
923b51c
@jubnzv
fix(interval): Don't throw on possible zero division
583b7df
@jubnzv
feat(driver): Simplify debugging
6f41efb
@jubnzv
fix(exitCodeUsage): ts errors when using the built bundle
c3f0dd4
@jubnzv jubnzv marked this pull request as ready for review November 8, 2024 07:57
@jubnzv jubnzv merged commit 822ef7d into master Nov 8, 2024
1 check passed
@jubnzv jubnzv deleted the 103-exit-codes branch November 8, 2024 08:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Strict Balance Equality
1 participant
@jubnzv