Require external libraries first (!187) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Pierre Roux requested to merge import-order into master 3 years ago

Feb 15, 2022

update coding guidlines (require external deps first) · c2e40ace

Björn Brandenburg authored 3 years ago

As Pierre pointed out in [MR187](!187),
we don't want updates in any of our dependencies to accidentally
shadow Prosa symbols. Hence, always import Prosa modules last to make
sure Prosa symbols "win" any name clashes.

c2e40ace

Feb 14, 2022
- Require external libraries first · 25136fc8
  Pierre Roux authored 3 years ago
  
  This way, an addition in external libraries cannot shadow a definition in Prosa.
  25136fc8