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.021Mar1714543127Feb24Jan2330Oct874Sep16Aug6Jul25Jun19Apr1854327Mar26252423211912115420Feb1916118765231Jan302820Nov65Oct4331Aug422May214218Apr20Mar97611Feb629Nov211817Aug161245Jul24Jun717May141312119876125Apr20191228Mar2220Jan10Dec98765Nov2Oct31Aug30262528Jul272029Jun17161454328May19330Apr2025Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr2925242322211817161514136Change positions of unfold/fold in Multris for consistencymastermasterMerge branch 'robbert/fold_iProto' into 'master'Closed non-mixed choice lemmas for mixed choice modelmixed_choice_listmixed_choice_listClosed some admitsWIP: Mixed Choice ListWIP: bump of regular MP channel specs. Still need subprotocolsmixed_choicemixed_choiceFixed typo in proto_modelFinalized proto_model for mixed choiceWIP: proto_model version with unrolled RDEChange positions of unfold/fold to make things consistent with iProp.robbert/fold_iP…robbert/fold_iProtoWIP: Cleaned things upWIP: More admits resolvedWIP: Lifting proto_model to a map of protocolsBumped Iris version of opam fileRemoved explicit coq-stdpp version in .opam, following Iris bumpAdded explicit coq-stdpp version to .opam to inherit Iris versionBumped opam file for stdpp bumpAdded suppression of notation-incompatible-prefixBump stdppProvided docroot in _CoqProject to avoid warningsMerge branch 'multiparty_synchronous' into 'master'Renamed multi_actris into multrismultiparty_sync…multiparty_synchronousRenamed theories -> actris and let .opam package only publish actrisBumped multiparty branchMerge branch 'master' into multiparty_synchronousupdate dependenciesFix warnings.bump CI to Coq 8.20update dependenciesupdate dependenciesBump std++ (length_X).Don't leak that locks are used internally in channels.WIP.robbert/truly_a…robbert/truly_affine_iProto_leRefactoringmultiparty_sync…multiparty_synchronous_mpc_exampleMore clean upClean upAdded programBugsMPC ExampleMisc changes