Skip to content
Snippets Groups Projects
Select Git revision
  • ci/3.1.0
  • ci/debug
  • ci/disable-ltac-backtrace
  • ci/for_proph
  • ci/janno/debug-opam
  • ci/janno/let_bind_envs
  • ci/janno/vmcast
  • ci/joe/compact_ipm
  • ci/joe/compact_ipm_remaining
  • ci/joe/compact_ipm_simple
  • ci/maximedenes/instance-nobody-open-proof
  • ci/msammler/iris-coq-seal_big_opM
  • ci/mtac2-tt
  • ci/prophecy
  • ci/ralf/ci
  • ci/ralf/pm_red
  • ci/ralf/set_unfold_elements
  • ci/robbert/faster_iDestruct
  • ci/robbert/faster_iDestruct2
  • ci/robbert/faster_iFresh_joe
  • iris-3.2.0
  • iris-3.1.0
  • iris-3.0.0
  • iris-2.0
  • iris-2.0-rc2
  • iris-2.0-rc1
  • iris-1.1
  • iris-1.0
  • hope-2015-coq-1
  • appendix-1.0.0
  • appendix-1
31 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.03Mar2128Feb2726252423222120191816137653130Jan2928272625242322191817161514131110225Dec22212019181514131210876330Nov29282726232220161211986131Oct292726252422212019181312111075432130Sep27262019181210331Aug3029241713112131Jul242319181713976543230Jun2928262523222120191817161514131211109876fix for Coq 8.7tweak GFunctoradd test with a closed proofkeep more instances localralf/const-rfralf/const-rftweak comment, reduce difftry yet another, less ambituous approachfix total_adequacymake a librarie's subG instances localreduce number of TC searchesDocument [efoc] of [wp_pure].this implicit argument is really not necessaryalso port boxestest CIci/debugci/debugauto-detect timing project nameauto-detect timing project name even moreauto-detect timing project namedifferent approach to handle lists of functorsdoc introduction for ownpexpand HeapLang docs a bitTweak modalities doc.Merge branch 'modalities-doc' into 'master'clarify text furtherclarify that modalities can be heterogeneousSome more text about the modalities.reenable coqchkplay with avoid auto-generalizationralf/no-general…ralf/no-generalizemake new subG infrastructure fut for non-singleton lists, and use it in more placestweak savedAnythingavoid sections for the closed proofavoid inG in more casesalmost entirely avoid inG in savedAnythingfix Hint Modeexplain to be careful around savedAnythingGmore experiments with avoiding inG in favor of subGtry to avoid redundance in constant functor declarationsbump std++bump std++update MakefileBump std++ once more.Bump std++ (multiset changes).