While PhASAR has grown over the years, the initial folder structore does no longer correspond to the semantics.
For example, non-LLVM stuff is placed within PhasarLLVM, etc.
This PR moves files between folders in order to re-sync file- and folder- semantics
While PhASAR has grown over the years, the initial folder structore does no longer correspond to the semantics. For example, non-LLVM stuff is placed within PhasarLLVM, etc.
This PR moves files between folders in order to re-sync file- and folder- semantics