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.

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

C++/Java/C# Shared Range Analysis: BigInt rewrite experiment #16864

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from

Conversation

d10c
Copy link
Contributor

@d10c d10c commented Jun 27, 2024

This PR use BigInt as the Delta type everywhere in the shared range analysis library.

Shared commit:

  • shared/rangeanalysis: use BigInt as the Delta type everywhere

C++ commits:

  • cpp/ql/lib: rewrite shared range analysis library to use BigInts
  • cpp/ql/src: update queries
  • cpp/ql/test: update tests

Java commits:

  • java/ql/lib: update shared range analysis library to use BigInts
  • java/ql/src: update queries
  • java/ql/test: update library-tests

C# commits:

  • csharp/ql/lib: update shared rangeanalysis library to use BigInts
  • csharp/ql/test: update ModulusAnalysis test to use BigInt

@d10c d10c force-pushed the d10c/sharedra-bigint-rewrite branch 2 times, most recently from fe1b1eb to 7ad7e29 Compare June 27, 2024 18:18
@d10c d10c force-pushed the d10c/sharedra-bigint-rewrite branch from 7ad7e29 to c2f8040 Compare July 1, 2024 12:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant