Skip to content
Snippets Groups Projects

Reorganize and clean up restructuring.module

Merged Björn Brandenburg requested to merge model-reorg into require-removal
All threads resolved!
2 files
+ 1
1
Compare changes
  • Side-by-side
  • Inline
Files
2
Require Export rt.restructuring.model.schedule.tdma.tdma.
Require Export rt.restructuring.model.schedule.tdma.
Require Import rt.util.all.
(** In this section, we define the properties of TDMA and prove some basic lemmas. *)
Loading