Skip to content
Snippets Groups Projects
Select Git revision
  • classic-prosa
  • embed_arr_seq_uniq
  • fset
  • master default protected
  • prepare_MC_PR
  • tutorial
  • wip-hunspell
  • v0.5
  • v0.4
  • v0.3
  • v0.2
  • v0.1
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.021Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5Aug317Jul151413128Jun65May431Mar223Feb16141273120Jan1915141312109876529Dec181716151410987432130Nov242320181713104328Oct27222016151413126130Sep2925221716151110987643128Aug26252418171211654331Jul30292827252422211716151413121110987611Jun15May8765430Apr222120Add 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 utiladdress spell-checking issues in EDF optimality proofaddress spell-checking issues in model moduleaddress spell-checker complaints in behavior moduleadd tool for extracting comments and a word listre-organization of the analysis module, part 1update guidelines to state `Require Import|Export` rulesremove unnecessary Require statements in model.task.preemptionUpdate README