Disambiguate From ... Require Import|Export ... (!67) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Björn Brandenburg requested to merge disambiguate-require into master 5 years ago

Nov 19, 2019
- CI: re-enable parallel builds in proof-state generation · 2e088364
  Björn Brandenburg authored 5 years ago
  
  Now that we have non-ambiguous dependencies, parallel builds should work without issue.
  2e088364
- disambiguate Require commands in rt.restructuring · 1e45ddeb
  Björn Brandenburg authored 5 years ago
  
  This fixes all warnings about ambiguous module names and resolves #49. It also highlights that we still need to cut down on superfluous Require Import commands in recently ported files.
  1e45ddeb
- disambiguate Require commands in rt.util and rt.classic.util · 4e04399a
  Björn Brandenburg authored 5 years ago
  
  4e04399a