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
  • mixed_choice
  • mixed_choice_list
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.02May18Apr20Mar97611Feb629Nov211817Aug161245Jul24Jun717May141312119876125Apr20191228Mar2220Jan10Dec98765Nov2Oct31Aug30262528Jul272029Jun17161454328May19330Apr2025Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Juncentrally 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 versionBumped Irisupdate dependencies for later creditsupdate dependenciesAdded a new file with simulation variant with progress propertiesmultipartymultipartyAdded WIP rule for swapping with failing casesAdded base rule for iProto_leClean upReverted base-cases of [iProto_consistent] (we do termination later)update Irisupdate Irisuse a faster OCamladd (back) timing CIfix buildupdate dependenciesupdate dependencies