Adapt to analysis 0.3.11

README.md

RminStruct.v

_CoqProject

arrival_curves.v

backlogged_period.v

coq-minerve.opam

coq-nccoq.opam

cumulative_curves.v

deviations.v

ereal.v

examples/case_study/arbitrary_flows.v

fifo.v

minerve/PA.v

minerve/PA_refinement.v

minerve/README.md

minerve/UPP.v

minerve/UPP_PA.v

minerve/UPP_PA_refinement.v

minerve/jump_sequences.v

minerve/program.v