Skip to content
Snippets Groups Projects

Move new Prosa from rt.restructuring to top level and rename the namespace from 'rt' to 'prosa'

Merged Move new Prosa from rt.restructuring to top level and rename the namespace from 'rt' to 'prosa'
the-big-rename into master
Merged Björn Brandenburg requested to merge the-big-rename into master
Compare
and
314 files
+ 1430
− 1438
Compare changes
  • Side-by-side
  • Inline
Files
314
restructuring/analysis/abstract/abstract_rta.v → analysis/abstract/abstract_rta.v
+ 3
− 3
Require Export rt.restructuring.analysis.concepts.schedulability.
Require Export prosa.analysis.concepts.schedulability.
Require Export rt.restructuring.analysis.abstract.search_space.
Require Export prosa.analysis.abstract.search_space.
Require Export rt.restructuring.analysis.abstract.run_to_completion.
Require Export prosa.analysis.abstract.run_to_completion.
From mathcomp Require Import ssreflect ssrbool eqtype ssrnat seq path fintype bigop.
From mathcomp Require Import ssreflect ssrbool eqtype ssrnat seq path fintype bigop.