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.010Mar27Feb2619111023Jan2121Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5Aug317Jul151413128Jun65May431Mar223Feb16141273120Jan1915141312109876529Dec181716151410987432130Nov242320181713104328Oct27222016151413126130Sep2925221716151110987643128Aug26252418171211654331Jul30292827252422211716151413121110987611Jun15May8765430AprRemove 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 supremumnote that common priority policies are totaldefine dynamic self-suspension modeldefine readiness for jobs with self-suspensionsdefine notion of job progress / lack of progressaugment model with definitions of well-known priority policiesCI: compile classic and new Prosa separatelyCI: enable spell checker for commentsaddress spell-checking issues in analysisaddress spell-checking issues in resultsaddress spell-checking issues in util