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.021Feb201428Jan2011Nov109828Sep207129Aug25181084128Jul25211914116130Jun27May26161296519Apr1413725Mar24181716114325Feb18171615141311931Jan1315Dec729Nov252423543214Oct1211765430Sep29272217161511830Jul27261918Mar118129Jan211Dec25Sep2322928Aug271065430Jul9830Jun19May113Apr131Mar271027Feb2619111023Jan2121Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct1918[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 architectureClean table of contentRetrieve behaviorAdd architecture sectionUpdate the Installing Coq sectionAdd Contributing sectio (TODO)Add Coq installation instructions to tutorialCI: exclude doc/ from comments spell-checkaddress some spelling issuesfilter backticks in commentsCI: compile the tutorial with alectryonMakefile: add a `make tutorial` targetInitiate a Prosa TutorialSplit OPAM packages[cosmetic] improve coding-style conformity[CI] Don't recompile mathcomp solvable and fieldMore qualified import of mathcomp.zidfy.ssrZ generalize abstract RTAadd lemmas about job relationsreplace [intros] with [move]add reflection for negated priority inversion