-
Notifications
You must be signed in to change notification settings - Fork 41
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
Fix CDT parser include file handling and support recursion for includes #639
Draft
bahnwaerter
wants to merge
8
commits into
ultimate-pa:dev
Choose a base branch
from
bahnwaerter:wip/mb/cdt-include-file-handling
base: dev
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
Fix CDT parser include file handling and support recursion for includes #639
bahnwaerter
wants to merge
8
commits into
ultimate-pa:dev
from
bahnwaerter:wip/mb/cdt-include-file-handling
Commits on Jun 22, 2023
-
Add CDT parser option to support recursive adding of include files
With this option, include files can be added recursively from subdirectories of include paths as well.
Configuration menu - View commit details
-
Copy full SHA for 7407aa4 - Browse repository at this point
Copy the full SHA 7407aa4View commit details -
Add CDT parser test suite for testing the parsing of C programs
This test suite implements various test cases intended to test the parsing of C programs that include header files. Each test case modifies the CDT parser settings for an automatic test setup to check the different include path configurations.
Configuration menu - View commit details
-
Copy full SHA for aa78619 - Browse repository at this point
Copy the full SHA aa78619View commit details -
Configuration menu - View commit details
-
Copy full SHA for 073ed36 - Browse repository at this point
Copy the full SHA 073ed36View commit details -
Configuration menu - View commit details
-
Copy full SHA for 00c8d07 - Browse repository at this point
Copy the full SHA 00c8d07View commit details
Commits on Jun 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 960697a - Browse repository at this point
Copy the full SHA 960697aView commit details -
Configuration menu - View commit details
-
Copy full SHA for fc8cc23 - Browse repository at this point
Copy the full SHA fc8cc23View commit details
Commits on Jun 26, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 70c6641 - Browse repository at this point
Copy the full SHA 70c6641View commit details
Commits on Nov 12, 2023
-
Fix C preprocessor to handle preprocessor macros
This patch fixes the C preprocessor to support the parsing and substitution of the following macros: - #define - #undef - #if - #ifdef - #ifndef - #elif - #else - #endif - #error Note that ACSL expressions cannot contain macros, as these are in comments where parsing and substitution is not possible.
Configuration menu - View commit details
-
Copy full SHA for 9b11124 - Browse repository at this point
Copy the full SHA 9b11124View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.