Skip to content

Add Request Bound Functions

Pierre Roux requested to merge proux/rt-proofs:request_bound_functions into master

So that we can link them to arrival curves of Network Calculus in NCCoq as discussed in https://gitlab.mpi-sws.org/RT-PROOFS/project-administration/-/issues/23

The link with Network Calculus arrival curves can be found here : https://gitlab.mpi-sws.org/proux/nc-coq/-/tree/prosa-link/link

Merge request reports