Skip to content
Snippets Groups Projects
Select Git revision
  • ci/debug
  • 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/msammler/iris-coq-seal_big_opM
  • ci/ralf/pm_red
  • ci/ralf/retime
  • ci/ralf/set_unfold_elements
  • ci/ralf/transfinite
  • ci/robbert/faster_iDestruct
  • ci/robbert/faster_iDestruct2
  • ci/robbert/faster_iFresh_joe
  • ci/robbert/iFrame
  • ci/robbert/into_val_pures
  • ci/robbert/kill_locked_value_lambdas
  • ci/robbert/naive_solver
  • 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.06Sep30Aug292827262524221614131298765131Jul30292214131297532130Jun2928272625242120191817161514131211109765432131May3029282726252423222120191716151312987642130Apr29272625242317169873229Mar26222019171615141312765432128Feb2726252423222120191816137653130Jan2928Add `flip` version of `Proper` for entailment of `wp`.Tweak names in proof.Merge branch 'master' into 'master'fix typotransfinite weakestpreuncomment unimplementedformattingbump std++release 3.2.0iris-3.2.0iris-3.2.0Merge branch 'ralf/changelog' into 'master'add linksweakest pre (boring version)fix language fileinvariantsfancy updatesuse proof mode to remove admitworld satisfactionproof modeadd functionsfix embedding statementiprop and ownindexbig opsCMRA instancesembeddingderive propertywordingshort summary of main new featuresprepare for 3.2: thank peopleMerge branch 'feature/list_cmra_lemmas' into 'master'added lemmas for list cmrashow that the empty type is a COFE and a CMRAMerge branch 'big_op2_swap' into 'master'Add `big_sepL2_swap`Bump stdpp.Merge branch 'robbert/big_op_commute' into 'master'Add changelog entry.Merge branch 'fill_reducible_no_obs' into 'master'Apply suggestion to theories/program_logic/ectx_language.vMove big_op lemmas for plainly to `plainly` file to be consistent w.r.t. other BI files.