Skip to content
Snippets Groups Projects
Select Git revision
  • classic-prosa protected
  • embed_arr_seq_uniq
  • fset
  • master default protected
  • prepare_MC_PR
  • tutorial
  • wip-hunspell
  • v0.5 protected
  • v0.4 protected
  • v0.3 protected
  • v0.2 protected
  • v0.1 protected
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019May113Apr131Mar271027Feb2619111023Jan2121Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5Aug317Jul151413128Jun65May431Mar223Feb16141273120Jan1915141312109876529Dec181716151410987432130Nov242320181713104328Oct27222016151413126130Sep2925221716151110987643128Aug26252418171211654331Jul30292827252422211716151413121110987611Junfix warnings in prosa.util.search_argresolve warnings related to eq_big_permAdded spell command to MakefileRemoved verbatim text from spell-checkerImproved guidelineAdded guidelineFixed broken intervalsdon't rename index.html to indexpage.html in coqdocjs targetadd notion of hyperperiod for periodic tasksDelete duplications of search spaceRemove hardcoded ideal processor model from aRTAFix CIAdd an Opam fileWork-conservation transformation and proof.Add LICENSERestructure and document util.bigcatCompile with coq devCompile with mathcomp 1.10Add periodic task modelv0.4v0.4Improve readability of analysisRestructure facts.modelAdd facts.busy_intervalRestructure facts.behaviorDelete name of parameteradd README for analysis moduleupdate model READMEupdate guidelinesadd READMEs to results foldersmerge analysis.concepts and analysis.definitionsdeliberately order TOC of generated documentationadd 'macos-clean' target to Makefile to get rid of '.DS_Store' filesimprove structure of FP response-time analysis resultsimprove structure of EDF response-time analysis resultsimprove documentation of EDF optimality resultdo the big rt->prosa movemove restructured Prosa to top levelUse Context declaration for priority type classescleanup the restructured modeladd 'make vacuum' target to get rid of stale build filesadd a function for computing a sequence's supremum