Commits · 8a2e9b2627cd30a14fa2c808d600f69373be76f7 · Iris / Actris

Jan 24, 2025
- Merge branch 'multiparty_synchronous' into 'master' · 8a2e9b26
  Jonas Kastberg authored 2 months ago
  
  Multiparty synchronous See merge request !39
  8a2e9b26
Jan 23, 2025
- Renamed multi_actris into multris · 90edf737
  Jonas Kastberg authored 2 months ago
  
  90edf737
- Renamed theories -> actris and let .opam package only publish actris · a041e7df
  Jonas Kastberg authored 2 months ago
  
  a041e7df
- Bumped multiparty branch · a1e24f8c
  Jonas Kastberg authored 2 months ago
  
  a1e24f8c
- Merge branch 'master' into multiparty_synchronous · 7a632bd1
  Jonas Kastberg authored 2 months ago
  
  7a632bd1
Oct 30, 2024
- update dependencies · f04f7a85
  Ralf Jung authored 4 months ago
  
  f04f7a85
Oct 08, 2024
- Fix warnings. · f5bf3f84
  Robbert Krebbers authored 5 months ago
  
  f5bf3f84
Oct 07, 2024
- bump CI to Coq 8.20 · bf5a2895
  Ralf Jung authored 5 months ago
  
  bf5a2895
- update dependencies · d8f0e1b5
  Ralf Jung authored 5 months ago
  
  d8f0e1b5
Sep 04, 2024
- update dependencies · d2b8a5fa
  Ralf Jung authored 6 months ago
  
  d2b8a5fa
Aug 16, 2024
- Bump std++ (length_X). · 858f21a9
  Robbert Krebbers authored 7 months ago
  
  858f21a9
Jul 06, 2024
- Don't leak that locks are used internally in channels. · 18f784ad
  Robbert Krebbers authored 8 months ago
  
  18f784ad
Apr 05, 2024
- Misc changes · 15a1c801
  Jonas Kastberg authored 11 months ago
  
  15a1c801
Apr 04, 2024
- Refactored leader election example · d470e200
  Jonas Kastberg authored 11 months ago
  
  d470e200
- Mechanised rle_ref_prog · 5e0b1ef1
  Jonas Kastberg authored 11 months ago
  
  5e0b1ef1
- Clean up · afed8a40
  Jonas Kastberg authored 11 months ago
  
  afed8a40
- Generalised resources further · 4dd80e83
  Jonas Kastberg authored 11 months ago
  
  4dd80e83
- Attempt at better delegation example · df6f77e7
  Jonas Kastberg authored 11 months ago
  
  df6f77e7
- Added three buyer example · 32e16a45
  Jonas Kastberg authored 11 months ago
  
  32e16a45
- Added implementation for two-buyer and refactored · 8b313fca
  Jonas Kastberg authored 11 months ago
  
  8b313fca
Apr 03, 2024
- Added delegation variant of leader election · 8e968ab2
  Jonas Kastberg authored 11 months ago
  
  8e968ab2
- Bump Iris. · 9b32c5b0
  Robbert Krebbers authored 11 months ago
  
  9b32c5b0
- Remove old comment, minor tweak. · 9c0c5bb3
  Robbert Krebbers authored 1 year ago
  
  9c0c5bb3
- Bump Iris. · 9e2761b0
  Robbert Krebbers authored 1 year ago
  
  9e2761b0
- Bump Iris (iFrame). · d6fb1808
  Robbert Krebbers authored 1 year ago
  
  d6fb1808
- Some clean up. · 621aa83c
  Robbert Krebbers authored 1 year ago
  
  621aa83c
Mar 27, 2024
- Added adequacy proof for ring leader election · d4b1567a
  Jonas Kastberg authored 1 year ago
  
  d4b1567a
- Merge branch 'multiparty_synchronous_matrix' into 'multiparty_synchronous' · 2177ce6f
  Jonas Kastberg authored 1 year ago
  
  Added matrix abstraction and redefined channels using it See merge request !37
  2177ce6f
- Removed redundant _pers specs, and added missing matrix file · 528c968c
  Jonas Kastberg authored 1 year ago
  
  528c968c
Mar 25, 2024
- Added matrix abstraction and redefined channels using it · dc5a67a0
  Jonas Kastberg authored 1 year ago
  
  dc5a67a0
- Merge branch 'multiparty_synchronous_simple_inv' into 'multiparty_synchronous' · 5fcb7654
  Jonas Kastberg authored 1 year ago
  
  Simplified invariant See merge request !36
  5fcb7654
Mar 24, 2024
- Simplified iProto_target lemma · 4ca1240f
  Jonas Kastberg authored 1 year ago
  
  4ca1240f
- Simplified invariant · 3cfa1678
  Jonas Kastberg authored 1 year ago
  
  3cfa1678
- Merge branch 'multiparty_synchronous_list' into 'multiparty_synchronous' · 557e32bc
  Jonas Kastberg authored 1 year ago
  
  Multiparty synchronous list See merge request !35
  557e32bc
- Added last attempted changes of proto_alt · 684acce4
  Jonas Kastberg authored 1 year ago
  
  684acce4
- Removed deprecated tactic calls · 0c291783
  Jonas Kastberg authored 1 year ago
  
  0c291783
- Improved proofmode · 834704ab
  Jonas Kastberg authored 1 year ago
  
  834704ab
- Merge branch 'robbert/multiarg_tactics' into 'master' · 41042d04
  Robbert Krebbers authored 1 year ago
  
  Refactor multi-arg tactics. See merge request !34
  41042d04
- Refactor multi-arg tactics. · a374d450
  Robbert Krebbers authored 1 year ago
  
  a374d450
Mar 23, 2024
- Added leader election to _CoqProject · 59850ce1
  Jonas Kastberg authored 1 year ago
  
  59850ce1