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.04Aug30Jul9830Jun19May113Apr131Mar271027Feb2619111023Jan2121Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5Aug317Jul151413128Jun65May431Mar223Feb16141273120Jan1915141312109876529Dec181716151410987432130Nov242320181713104328Oct27222016151413126130Sep2925221716151110987643128Aug26252418171211654331Jul30292827252422211716151413121110CI: add new jobs for mathcomp 1.11 and Coq 8.12CI: don't hardcode version multiple timesadd ideal uniprocessor reference schedulerreplace_at does not need decidable equalityadd readiness properties and facts on backloggedadd notion of a shared identical schedule prefixadditional minor lemmas on job arrivalsadd trivial replace_at definition rewriting lemmageneralize notion of jobs_backlogged_atadd function to generate uniprocessor schedulesupdate ack configmake --only-classic skip prosa.implementation moduleguidelines: add a section about backward vs forward reasoningfix injection warnings in single-cost sustainability reductionprosa classic: move import out of section to fix warningfix some warnings in prosa.classic.util.tacticssuppress warnings in prosa.util.seqsetfix warnings in prosa.util.search_argresolve warnings related to eq_big_permAdded spell command to MakefileRemoved verbatim text from spell-checkerImproved guidelineAdded guidelineFixed broken intervalsdon't rename index.html to indexpage.html in coqdocjs targetadd notion of hyperperiod for periodic tasksDelete duplications of search spaceRemove 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.behavior