Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.05Nov27Oct2625191513112127Sep252413106543131Aug1031Jul302928272625232221201918167528Jun2625242322212019181714131211109876543231May282726252120191817131211975230Apr292220191514131211827Mar2524232218171514131210986543124Feb232217161514131211105432129Jan282726252320191715141312875424Dec231918161110finalize releaseMerge branch 'release-notes-3.5.0' into 'master'Iris 3.5.0 release notesempty commit to re-trigger CItest 8.14.0 and coq masterMerge branch 'robbert/asfractional' into 'master'Merge branch 'ralf/opam-desc' into 'master'Comment about `AsFractional` instances.Merge branch 'fractional_big_sepL2' into 'master'update package descriptionsfractional_big_sep*: uniform type annotationsProve missing fractional_big_sepL2Move more proofs out of section.Move proof out of section and shorten it.Fix coqdoc renderingMerge branch 'editor-doc-vim' into 'master'vim editor docsMerge branch 'adjust-focused-goal' into 'master'Normalize focused goal outputFix indentation.Merge branch 'ralf/f_contractive' into 'master'make f_contractive consistent with f_equivMerge branch 'ralf/as-frac-mode' into 'master'Merge branch 'optimize_iDestruct' into 'master'add a testImplement a more conservative ident_for_pat_default, which simplifies the iAndDestruct caseAdd tests for iIntuitionistic/iSpatial/iModCore on non-fresh namesadd CHANGELOG entryadd tests for edge cases in iDestruct's name reuseOptimize iDestruct IIntuitionistic/ISpatial/IModalElim casesOptimize iDestruct (splitting cases)relax AsFractional Hint ModeMerge branch 'clarify-proof' into 'master'Clarify funny proof of `tac_twp_cmpxchg_fail`update dependenciesprepare for f_equiv changebump std++; fix for f_equiv improvementstest: ignore line ending differencesget rid of unnecessary OfeMorMerge branch 'ralf/big_sepL_take_drop' into 'master'