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.04Dec20Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5Aug317Jul151413128Jun65May431Mar223Feb16141273120Jan1915141312109876529Dec181716151410987432130Nov242320181713104328Oct27222016151413126130Sep2925221716151110987643128Aug26252418171211654331Jul30292827252422211716151413121110987611Jun15May8765430Apr22212023Mar658Aug131Jul3029model 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.schedulemodel reorg: move TDMA facts to analysismodel reorg: have only one notion of priority-driven schedulesmodel reorg: move EDF priority definition to model.prioritymodel reorg: move priorities definition to own folderremove remaining unneeded Require statements in model/remove unneeded Require statements in analysis/transformremove unneeded Require statements in basic_facts, core files, and EDFremove unneeded Require statements in model/arrivalremove unneeded Require statements in model/aggregateremove unneeded Require statements in model/schedulefix dependency of preemption time model on analysis factsfix dependency of basic readiness model on analysis factsfix dependency of preemption model on analysis factsremove unneeded 'Require' statement in behavior specremove unneeded `Require Import` statements in rt.utilCI: re-enable parallel builds in proof-state generationdisambiguate Require commands in rt.restructuringdisambiguate Require commands in rt.util and rt.classic.utiluse Gitlab DAG feature and re-organize CI orderproofloc.py: "Next Obligation" also starts a proofCI: build docs with interspersed proof stateadd script for interspersing proof state in source filesdon't pick up annotated copies in create_makefile.shadd script for recording proof state