Commits · mixed_choice_list · Iris / Actris

Mar 17, 2025
- Closed non-mixed choice lemmas for mixed choice model · 72cce691
  Jonas Kastberg authored 1 week ago
  
  72cce691
Mar 14, 2025
- Closed some admits · b6d24d6a
  Jonas Kastberg authored 2 weeks ago
  
  b6d24d6a
- WIP: Mixed Choice List · 79b59cb3
  Jonas Kastberg authored 2 weeks ago
  
  79b59cb3
Mar 05, 2025
- WIP: bump of regular MP channel specs. Still need subprotocols · 74e56d04
  Jonas Kastberg authored 3 weeks ago
  
  74e56d04
- Fixed typo in proto_model · bc775a29
  Jonas Kastberg authored 3 weeks ago
  
  bc775a29
- Finalized proto_model for mixed choice · 5e95b65a
  Jonas Kastberg authored 3 weeks ago
  
  5e95b65a
Mar 04, 2025
- WIP: proto_model version with unrolled RDE · f7487fba
  Jonas Kastberg authored 3 weeks ago
  
  f7487fba
Mar 03, 2025
- WIP: Cleaned things up · 1888d5fe
  Jonas Kastberg authored 3 weeks ago
  
  1888d5fe
- WIP: More admits resolved · 66e40d47
  Jonas Kastberg authored 3 weeks ago
  
  66e40d47
Mar 01, 2025
- WIP: Lifting proto_model to a map of protocols · 43f07f05
  Jonas Kastberg authored 4 weeks ago
  
  43f07f05
Feb 27, 2025
- Bumped Iris version of opam file · 316a5108
  Jonas Kastberg authored 1 month ago
  
  316a5108
- Removed explicit coq-stdpp version in .opam, following Iris bump · 05f913de
  Jonas Kastberg authored 1 month ago
  
  05f913de
- Added explicit coq-stdpp version to .opam to inherit Iris version · 6469c109
  Jonas Kastberg authored 1 month ago
  
  6469c109
- Bumped opam file for stdpp bump · b4fcb218
  Jonas Kastberg authored 1 month ago
  
  b4fcb218
- Added suppression of notation-incompatible-prefix · 08328ebf
  Jonas Kastberg authored 1 month ago
  
  08328ebf
- Bump stdpp · 10ed8719
  Jonas Kastberg authored 1 month ago
  
  10ed8719
Jan 24, 2025
- Provided docroot in _CoqProject to avoid warnings · f9d06c7b
  Jonas Kastberg authored 2 months ago
  
  f9d06c7b
- 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