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.021Feb201428Jan2011Nov109828Sep207129Aug25181084128Jul25211914116130Jun27May26161296519Apr1413725Mar24181716114325Feb18171615141311931Jan1315Dec729Nov252423543214Oct1211765430Sep29272217161511830Jul27261918Mar118129Jan211Dec25Sep2322928Aug271065430Jul9830Jun19May113Apr131Mar271027Feb2619111023Jan2121Dec2019181210420Nov19181511531Oct29242316151124Sep231730Aug2321201324Jul19227Jun26251312526May191613127329Apr9512Oct19Sep417Jul5Jan14Dec710Jan25Nov26Oct191866Sep5AugEnd 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 inversionoptimize importsimprove tabulation and commentsimprove tacticspreserve Classic Prosa upon retirementclassic-prosaclassic-prosaretire classic Prosaupdate the OPAM fileadd .mailmap use custom alectryon driver to comply with DSGVO (Germany privacy law)Adapt to https://github.com/coq/coq/pull/16004Update POET's support code to match the newer aRTA blocking boundv0.5v0.5CI: bump preferred Coq versiongeneralize one proof related to FPadd remaining POET support files