Story
The folder PhasarLLVM has grown too large over the recent years. Especially, it contains files (e.g. the generic interfaces for ICFG, PointsToInfo, etc. ) that don't belong there. On the other hand the DB folder contains files (ProjectIRDB, Hexastore) that logically belong into PhasarLLVM. Re-organize it.
Prerequisites
Out Of Scope
Acceptance Criteria
The following acceptance criteria are defined regarding the result of this story:
Clarify what the final result should be, not how to accomplish it.
Related Stories
Follow-up Stories
Story
The folder PhasarLLVM has grown too large over the recent years. Especially, it contains files (e.g. the generic interfaces for ICFG, PointsToInfo, etc. ) that don't belong there. On the other hand the DB folder contains files (ProjectIRDB, Hexastore) that logically belong into PhasarLLVM. Re-organize it.
Prerequisites
Out Of Scope
Acceptance Criteria
The following acceptance criteria are defined regarding the result of this story:
Clarify what the final result should be, not how to accomplish it.
Related Stories
Follow-up Stories