Remove classic work conservation hypothesis from busy interval bound proof
Co-authored-by: 
Sergey Bozhko <sbozhko@mpi-sws.org>
Showing
- analysis/abstract/restricted_supply/bounded_bi/aux.v 4 additions, 5 deletionsanalysis/abstract/restricted_supply/bounded_bi/aux.v
- analysis/abstract/restricted_supply/bounded_bi/edf.v 5 additions, 6 deletionsanalysis/abstract/restricted_supply/bounded_bi/edf.v
- analysis/abstract/restricted_supply/bounded_bi/fp.v 5 additions, 5 deletionsanalysis/abstract/restricted_supply/bounded_bi/fp.v
- analysis/abstract/restricted_supply/bounded_bi/jlfp.v 4 additions, 8 deletionsanalysis/abstract/restricted_supply/bounded_bi/jlfp.v
- results/rs/edf/floating_nonpreemptive.v 1 addition, 0 deletionsresults/rs/edf/floating_nonpreemptive.v
- results/rs/edf/fully_nonpreemptive.v 2 additions, 0 deletionsresults/rs/edf/fully_nonpreemptive.v
- results/rs/edf/fully_preemptive.v 2 additions, 0 deletionsresults/rs/edf/fully_preemptive.v
- results/rs/edf/limited_preemptive.v 1 addition, 0 deletionsresults/rs/edf/limited_preemptive.v
- results/rs/fifo/bounded_nps.v 2 additions, 1 deletionresults/rs/fifo/bounded_nps.v
- results/rs/fp/floating_nonpreemptive.v 2 additions, 1 deletionresults/rs/fp/floating_nonpreemptive.v
- results/rs/fp/fully_nonpreemptive.v 2 additions, 1 deletionresults/rs/fp/fully_nonpreemptive.v
- results/rs/fp/fully_preemptive.v 4 additions, 1 deletionresults/rs/fp/fully_preemptive.v
- results/rs/fp/limited_preemptive.v 2 additions, 1 deletionresults/rs/fp/limited_preemptive.v
Loading
Please register or sign in to comment