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.018Dec1210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5Aug317Jul151413128Jun65May431Mar223Feb16141273120Jan1915141312109876529Dec181716151410987432130Nov242320181713104328Oct27222016151413126130Sep2925221716151110987643128Aug26252418171211654331Jul30292827252422211716151413121110987611Jun15May8765430Apr22212023Mar658Aug131Jul30add 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 READMEImprove comments in analysisDon't Export modules that introduce new Instancesremove unneeded 'Require' statement in analysis specremove unneeded Require in model.task.preemption.parametersremove task dependency in job limited-preemptive preemption modelmodel reorg: flatten model.preemptionmodel reorg: merge job_preemptable def and validitysplit job and tasks aspects in preemption.valid_modelpreemption_time.v should not depend on task conceptmodel reorg: get rid of purely re-export modelsmodel reorg: fold RTCT instances into task.preemption.*model reorg: fold RTCT validity into task.preemption.parametersmodel reorg: task.sequential -> task.sequentialitymodel reorg: move preemption.valid_schedule -> schedule.limited_preemptivemodel reorg: move task preemption models to model.task.preemptionmodel reorg: move task preemption parameters to model.task.preemptionmodel reorg: move task concept to model.task.conceptmodel reorg: 'sequential tasks' is a task propertyfix EDF priority definition to not depend on task abstractionmodel reorg: job.v is an analysis def; job_deadline a task propertymodel reorg: move preemption-time notion to model.schedule