Skip to content
Snippets Groups Projects
Select Git revision
  • channel_closure_spec
  • close_spec
  • concur2020
  • cpp21
  • cpp21_deprecated
  • iris-update
  • jesper
  • jonas/coexponentials
  • jonas/liter
  • jonas/log_atom_2
  • jonas/lty_helper_lemmas
  • jonas/pizza
  • jonas/ring_leader_election
  • later_strip
  • lmcs
  • master default protected
  • mini_actris1
  • miniactris-init
  • msammler/new_contractive
  • multiparty
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Nov65Oct4331Aug422May214218Apr20Mar97611Feb629Nov211817Aug161245Jul24Jun717May141312119876125Apr20191228Mar2220Jan10Dec98765Nov2Oct31Aug30262528Jul272029Jun17161454328May19330Apr2025Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul10987654Bumped Irismastermasterupdate readmeupdate dependenciesupdate dependenciesRevert "stick to 8.17 for nightly testing for now"Tweak proof so it does not run into https://github.com/coq/coq/issues/18126 on Coq 8.18.stack on 8.17 for nightly testing for nowupdate dependenciesupdate dependenciesBump Iris (iIntros starts proof).Nitsstep_protostep_protoRemoved redundant conjunctBumped step mod changes, and added session escrow patternupdate dependenciesBump Iris; bump minimal Coq version to 8.17.centrally control the Coq version to test every nightDo not rely on conversion of maps.Made README a bit more specificminiactris-initminiactris-initRenamed Actris folder and added Miniactris, bumped config filesMore uses of `iCombine .. gives`.Bump Iris (beautify code for `iCombine .. gives`).Oops, forgot `as`...dist_later_intro fixes.Fix for contractive tweaks.Merge branch 'robbert/new_contractive' into 'master'Fixes for iris!886.robbert/new_con…robbert/new_contractiveBased step_proto construction on top of Iris branchDemonstration of using the step-taking modality to eliminate latersfixes for iris!886msammler/new_co…msammler/new_contractiveBump Iris.More later.mini_actris1mini_actris1Later pushing.Minimize.bring back speed (now that caching is fixed)fix OCAML for realfix OCAMLdo nightly builds on 8.16let's not use flambda while opam rebuilds Coq each and every timeBump Iris.Bumped opam Iris version