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.030Oct874Sep16Aug6Jul25Jun19Apr1854327Mar26252423211912115420Feb1916118765231Jan302820Nov65Oct4331Aug422May214218Apr20Mar97611Feb629Nov211817Aug161245Jul24Jun717May141312119876125Apr20191228Mar2220Jan10Dec98765Nov2Oct31Aug30262528Jul272029Jun17161454328May19330Apr2025Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar272625update 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 changesRefactored leader election exampleMechanised rle_ref_progClean upGeneralised resources furtherAttempt at better delegation exampleAdded three buyer exampleAdded implementation for two-buyer and refactoredAdded delegation variant of leader electionBump Iris.Remove old comment, minor tweak.Bump Iris.Bump Iris (iFrame).Some clean up.Added adequacy proof for ring leader electionMerge branch 'multiparty_synchronous_matrix' into 'multiparty_synchronous'Removed redundant _pers specs, and added missing matrix filemultiparty_sync…multiparty_synchronous_matrixSimplified choice specsmultiparty_sync…multiparty_synchronous_choiceBumped branch_specAdded definitions and rules for choice with dependent bindersSimplified recv_specmultiparty_sync…multiparty_synchronous_recv_simplAdded matrix abstraction and redefined channels using itMerge branch 'multiparty_synchronous_simple_inv' into 'multiparty_synchronous'Simplified iProto_target lemmaSimplified invariantmultiparty_sync…multiparty_synchronous_simple_invMerge branch 'multiparty_synchronous_list' into 'multiparty_synchronous'