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.016Mar15131042128Feb272221201428Jan2011Nov109828Sep207129Aug25181084128Jul25211914116130Jun27May26161296519Apr1413725Mar24181716114325Feb18171615141311931Jan1315Dec729Nov252423543214Oct1211765430Sep29272217161511830Jul27261918Mar118129Jan211Dec25Sep2322928Aug271065430Jul9830Jun19May113Apr131Mar271027Feb2619111023Jan2121Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec7Use mathcomp's int instead of stdlib's ZAdd missing lemma not_hep_hp_taskProve a splitting fact about interferenceUse _dec definitions directlyMoving interference definitions out of iw_instantiationDefinition of ELFDefinitions of hp_task and its propertiesintroduce predicates on task- and job-level priority policiesupdate dot filesfix spell-checking issues in *.md filesalso spell-check *.md filesWarning about autogenerated namesWarning about implicit argumentsAdd a CI target testing mangle namesCompile with mangle-namesFactorize proofs of two lemmasRemove useless lemma another_hep_job_interference_negPRewrite create_makefile.sh as a Makefilefix implicit arguments in model/priority/classes.v[tutorial] Add make rule for generating PDFtutorialtutorial[tutorial] Avoid introducing the `{...} syntax[tutorial] Add a note about implicit arguments[tutorial] Add comment about sections[tutorial] Add a few words about typeclasses[tutorial] Remove classic[tutorial] Update tutorial file locationPut spaces before colonsPut a "How to read this tutorial" section upfrontDon't dispaly warnings on RequiresAdd TODO about WindowsAdd an audience short sectionAdd analysis, results and contributing sections to tutorialWIPEnd of modelIdeal uniprocessorPrecisions on scheduleIntro modelIntro behaviorOrder of dependencies to describeFix TODOs in architecture