Update master#527
Merged
pdschubert merged 73 commits intomasterfrom Oct 28, 2022
Merged
Conversation
This is needed, as older gcc versions do not consider the member declaration as an explicit ctor call.
Older gcc versions confuse the type with the member name if both are the same and see the second as a redeclaration. This is fixed by explicitly declaring the types namespace.
…ngReturn Fixes missing return value isSensibleToSummarize
…citCtorCallForGCC Add curly braces to explicit call the ctor of SmallDenseMap
…ionForGCC Fixes gcc redeclaration confusion
Fixes debug macro declaraion Fixes debug macro usages Fixes thread linking for controller and phasar pass
…ngAndMacroIssues Various fixes (debug macro, linked)
…ally set needed environment variables
…ineering/phasar into feature/dockerdevenv
…dded commandline argument to store the exported json in a file
…ests isn't a known project:)
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: fabianbs96 <52407375+fabianbs96@users.noreply.github.com>
…isticExport Feature/statistic export
…_utils with phasar_db
* phasar_utils requires boost libs and std::filesystem * operator<< for SpecialMemberFunctionType was not fully ported to llvm streams
…inkingIssues Fixes linking issues in utils and tests
Remove wali and depending solver (skeletons)
…isticsUpdate Feature/statistics update
Member
|
while at it, should we rename this branch to main before we start using it again? |
…Functions Fix IDE edge functions
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
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.
No description provided.