Skip to content
Snippets Groups Projects
Commit 5017dcc8 authored by tcarle's avatar tcarle
Browse files

Update README.md

parent 28ddd4f3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 51 additions and 51 deletions
README.md
+ 51
− 51
View file @ 5017dcc8
# Ouroboros: a small library for prototyping static schedulers # Ouroboros: a small library for prototyping static schedulers
. .
/(( //%. #/# /(( //%. #/#
,(((/,./(/(,(#//* ,(((/,./(/(,(#//*
((#(#(((/(#(%(#/* ((#(#(((/(#(%(#/*
.((((//*##%#/*(/(/(/(/(%( .((((//*##%#/*(/(/(/(/(%(
*&#(////(/////(///(//#/%@*,#@/#%#(*//((/(/#(/%( *&#(////(/////(///(//#/%@*,#@/#%#(*//((/(/#(/%(
&(,*,,,,,,,,,,,,*##@**###((#//*#/((((/(/(/(((((*(*. &(,*,,,,,,,,,,,,*##@**###((#//*#/((((/(/(/(((((*(*.
.##(/%#&(%#&%#%&&@&#(//,,*%&#/,*(**(///(/%(((((#*(/%//((/((%, .##(/%#&(%#&%#%&&@&#(//,,*%&#/,*(**(///(/%(((((#*(/%//((/((%,
/&&*(#(/(//#,#&/(%&&&//#&#&*/#/#@%((&%#(#((**((*#(#&(((((((((((%((/##%. /&&*(#(/(//#,#&/(%&&&//#&#&*/#/#@%((&%#(#((**((*#(#&(((((((((((%((/##%.
.@#((((#(%#(#/,,&,,&*,,,&&((///%&(#&&&(&@*/&#(,,,,(,,*(,,,%%%%((##((((//#/(&( .@#((((#(%#(#/,,&,,&*,,,&&((///%&(#&&&(&@*/&#(,,,,(,,*(,,,%%%%((##((((//#/(&(
.&##/#%(((#&#*@&&/**,*&%((*,,,,,,,,,,,,,/&/,(&(#&#%/,,,,**,,*,,,%,/%%&%%(//&*((/@%( .&##/#%(((#&#*@&&/**,*&%((*,,,,,,,,,,,,,/&/,(&(#&#%/,,,,**,,*,,,%,/%%&%%(//&*((/@%(
((/(%(((((&%,,,,,,/%* &#&(*&/&&%##, *%&&**,,*,,*/,,/*&&#/((/(/(&/&( ((/(%(((((&%,,,,,,/%* &#&(*&/&&%##, *%&&**,,*,,*/,,/*&&#/((/(/(&/&(
&#/(/#/@/#%&%/(#((%, ,&#*,,,,,,/&%%/((####(/%#. &#/(/#/@/#%&%/(#((%, ,&#*,,,,,,/&%%/((####(/%#.
@%(#/%%((%%%%%#@(#* %%,,,,*,(,,%%((/(((/((#, @%(#/%%((%%%%%#@(#* %%,,,,*,(,,%%((/(((/((#,
(#((&#(((*&,,*/#&&, %#*/&&%(#,,&/(((*(/(/& (#((&#(((*&,,*/#&&, %#*/&&%(#,,&/(((*(/(/&
#(#((/(%/%%#%&#,,* .%(*,@,,,,(%(((/(/%(%# #(#((/(%/%%#%&#,,* .%(*,@,,,,(%(((/(/%(%#
,(#(*/&@%*#%(##&&% &,,,/,,,,&#(,#(((/#@ ,(#(*/&@%*#%(##&&% &,,,/,,,,&#(,#(((/#@
((*((%((/&,,,,#//% .%,,,/,**,%&/(#&*(((( ((*((%((/&,,,,#//% .%,,,/,**,%&/(#&*((((
&#/,(&(/%&,,//,,,& /#&*/(//&((/#//(%/*# &#/,(&(/%&,,//,,,& /#&*/(//&((/#//(%/*#
#,(/(&((#&%,###,,% .#*,/*,/&#((/##@/(,% #,(/(&((#&%,###,,% .#*,/*,/&#((/#@/(,%
#(((#(&(#.*/,#,%#. (,%,#&#,&(&#/(/%/&# #(%(#(&(#.*/,#,%#. (,%,#&#,&(&#/(/%/&#
&/.///#/%%(%*&(#/% ,%**,/,,/*(/(#/((/@ &/.///#/%%(%*&(#/% ,%**,/,,/*(/(#/((/@
/*(((#(((*,(*,,#%, &&%,*&,/(*&(/(/%/%/ /*(((#(((*,(*,,#%, &&%,*&,/(*&(/(/%/%/
((((&(/&%*#&,/%*(&. ,%/*&*,%#&(/&//#(/% ((((&(/&%*#&,/%*(&. ,%/*&*,%#&(/&//#(/%
&(##((&&(/&&*,&%*& ,(* %((#(,///(((#(%/(% &(##((&&(/&&*,&%*& ,(* %((#(,///(((#(%/(%
,/((((((&#%,,*#,,*% **/,,,,, &/,,&(,*#(@/(/%*(@. ,/((((((&#%,,*#,,*% **/,,,,, &/,,&(,*#(@/(/%*(@.
((&#((#(%##//*/,,,% ./#,,& &///,/*&/#//#/#//(# ((&#((#(%##//*/,,,% ./#,,& &///,/*&/#//#/#//(#
&&(((/@(&*%/,,(&*,& ,(*/&(/(/((/&/(((/%///( &&(((/@(&*%/,,(&*,& ,(*/&(/(/((/&/(((/%///(
&&##/%###%#/*,@&&##/ .. %/&(*,(,,(%#&((//%(((& &&##/%###%#/*,@&&##/ .. %/&(*,(,,(%#&((//%(((&
&#((&(((#%*,*/*,,&%&. *&&@*/& &&*,,&///*##(((&(*/(@ &#((&(((#%*,*/*,,&%&. *&&@*/& &&*,,&///*##(((&(*/(@
/%#(((####*/(//##*,,# &(,,,% &(/,&&((#%%(/#//#((%% /%#(((####*/(//##*,,# &(,,,% &(/,&&((#%%(/#//#((%%
&#((/#((%%%/,,,&%/,/% /#,*&.&/*(%//,&/&(&#(*#/((%. &#((/#((%%%/,,,&%/,/% /#,*&.&/*(%//,&/&(&#(*#/((%(
##&&(*&(%#(*/*&,,*(%#( (,,&,/*,,/#(/&/#/(((%/(&% #(&((*&(%#(*/*&,,*(%#( (,,&,/*,,/#(/&/#/(((%/(&%
#(&(((#(((&&((%//(#//& &#*///(%#//*#(((//(((/% #(&(((#(((&&((%//(#//& &#*///(%#//*#(((//(((/%
(&%####((((#(//#/,*,(*#* %(*#*,,%,,/%//(//*/#((&* (&%####((((#(//#/,*,(*#* %(*#*,,%,,/%//(/,,/#((&
(%(((%(%(((&(**#/,(#/*(&, . (////%#*,&&&#%#//*/(((/* (%#((%(#(#(&((*#/,(#/,& . (/#/(%#*,&,&,(//(/((/%
(#&/((##((*&#%&#/(((&((#%. ,&&*&,*, .(#/% .&,*,&*,*(/(/#(/(#,((/&(// (#&/((##((*&#%&#/(((&((#%. ,&&*&,*, .(#/% .&,*,&*,*(/(/#(/(#,((/&(//
#/%(/((((&//(%%,,,%/,,,#/#( .,,,,,,/,,(* **#*/( #%%**%//#&#*,&/(%&%(/**(#/( #/%(/((((&//(%%,,,%/,,,#/#( .,,,,,,/,,(* **#*/( #%%**%//#&#*,&/(%&%(/**(#/(
,&##((((((((#(&#**,*,,,*,*,&( ,(,,,,,& .#*,*,(. *%%**,*##*%#*,*#(((/%(((/#&#* ,&##((((((((#(&#**,*,,,*,*,&( ,(,,,,,& .#*,*,(. *%%**,*##*%#*,*#(((/%(((/#&#*
&##((&(/(#((/(&(,,*/,,,,#/,,,((,&%,,,,,,,@ .#,,( ,#*(/,,##%%,,&**//((/(//(/&/(#& &##((&(/(#((/(&(,,*/,,,,#/,,,((,&%,,,,,,,@ .#,,( ,#*(/,,##%%,,&**//((/(//(/&/(#&
(%(((&((((#*(#(#&%##,,**%*,,/&(*##*,,,,, /,,,,*. #@&(/&/*/&//#***#&&%%&**#&&&(/##(%&% (%(((&((((#*(#(#&%##,,**%*,,/&(*##*,,,,, /,,,,*. #@&(/&/*/&//#***#&&%%&**#&&&(/##(%&%
.&((%/(((#(((((#&&%(%(,,,*&/,/,%%***/#*@&#*. (/,,,,/.*##(*,,,(*,#,,,,(#(/,/%%&(((#(((#/((/#((&# .&((%/(((#(((((#&&%(%(,,,*&/,/,%%***/#*@&#*. (/,,,,/.*##(*,,,(*,#,,,,(#(/,/%%&(((#(((#/((/#((&#
%#(%((,((#*#((%#(#&((*,/#//#*&,**,,%*///(((*,,,,(,,#%,*(%*,,,*//,/%((%/*%#%*/#%%(#/(%%/&((%(&@/ %#(%((,((#*#((%#(#&((*,/#//#*&,**,,%*///(((*,,,,(,,#%,*(%*,,,*//,/%((%/*%#%*/#%%(#/(%%/&((%(&@/
#&##%(/(%#((/((@&((&&%//,*(,*/&*,,,*(*,/*(#(**,#/(&&&/,*##***%#//,/%/*,(#%#&(((((((/((#%(#* #&##%(/(%#((/((@&((&&%//,*(,*/&*,,,*(*,/*(#(**,#/(&&&/,*##***%#//,/%/*,(#%#&(((((((/((#%(#*
&&(%(((//&%#(((/*#((#%#@(,,*/#&(/#(/,,/#&&&%&#//(@/**#&(,/#%&///(%&%(*(/(#(//(((/(,#&#. &&(%(((//&%#(((/*#((#%#@(,,*/#&(/#(/,,/#&&&%&#//(@/**#&(,/#%&///(%&%(*(/(#(//(((/(,#&#.
%%((((((((%%#&%/(%/((//(/(&##*/(//#*((%,///&#(**(*/*/&(%%%&&#((((*&##/#(//*@/*(&, %%((((((((%%#&%/(%/((//(/(&##*/(//#*((%,///&#(**(*/*/&(%%%&&#((((*&##/#(//*@/*(&,
(&&(((/@(((((%/&((/##%(#/(%/(%&(&%(%@@@&(#&%/%%/%//#%%#/(#((/#%((((((*(/%%( (&&(((/@(((((%/&((/##%(#/(%/(%&(&%(%@@@&(#&%/%%/%//#%%#/(#((/#%((((((*(/%%(
.%&%/(#(#(&/(((#(/(&(//(((/((#(((((#((/(((/(//(((*(((,%((/((#%#((%/&( .%&%/(#(#(&/(((#(/(&(//(((/((#(((((#((/(((/(//(((*(((,%((/((#%#((%/&(
#&(#%/%#(#&(/#%((/@/(((/#&(&(((((#%%&((((%(/%%#(*&(((((%&&(. #&(#%/%#(#&(/#%((/@/(((/#&(&(((((#%%&((((%(/%%#(*&(((((%&&(.
,(&&%&%#&/(((/#///#(/(((%((%%((((%/(#/((((&((/(#&#( ,(&&%&%#&/(((/#///#(/(((%((%%((((%/(#/((((&((/(#&#(
*(&&&&&#(((%&#%#&((((%#&&&(##(@&%&&&,. *(&&&&&#(((%&#%#&((((%#&&&(##(@&%&&&,.
This library is developped at the TRACES team at IRIT (Institut de This library is developped at the TRACES team at IRIT (Institut de
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment