Commits · 91a4ef45e8185aa1435f703aad88329e62647a4e · tlsomers / Actris

Apr 12, 2022
- Bump Iris. · 91a4ef45
  Robbert Krebbers authored 2 years ago
  
  91a4ef45
Mar 28, 2022
- Fix typo. · 75883a20
  Robbert Krebbers authored 2 years ago
  
  75883a20
- Remove unused strange lemmas. · 4d2d606f
  Robbert Krebbers authored 2 years ago
  
  4d2d606f
Mar 22, 2022
- Avoided use of [apply:] as Coq it caused 8.15.0 looping behaviour · 03a7eae7
  Jonas Kastberg authored 2 years ago
  
  03a7eae7
Dec 08, 2021
- Bumped stdpp · 3efd62f5
  Jonas Kastberg authored 3 years ago
  
  3efd62f5
Oct 02, 2021
- update dependencies; fix for f_equiv becoming a bit weaker · 19cd2645
  Ralf Jung authored 3 years ago
  
  19cd2645
Jul 28, 2021
- update dependencies · 00b4d222
  Ralf Jung authored 3 years ago
  
  00b4d222
Jul 26, 2021
- Bump Iris. · afe73d88
  Robbert Krebbers authored 3 years ago
  
  afe73d88
Jul 20, 2021
- Bump Iris. · 10100614
  Robbert Krebbers authored 3 years ago
  
  10100614
Jun 29, 2021
- Added "Global" instance locality to resolve future Coq warnings · 68447aa2
  Jonas Kastberg authored 3 years ago
  
  68447aa2
Jun 17, 2021
- explicit coercion > type ascription · e687aa20
  Ralf Jung authored 3 years ago
  
  e687aa20
Jun 16, 2021
- Added scope of unscoped hint modes to address deprecation warning · aa086f74
  Jonas Kastberg Hinrichsen authored 3 years ago
  
  aa086f74
Jun 04, 2021
- prepare for Iris WP change · eb521a50
  Ralf Jung authored 3 years ago
  
  eb521a50
Jun 03, 2021
- update dependencies · aefab58b
  Ralf Jung authored 3 years ago
  
  aefab58b
May 28, 2021
- update dependencies · f3dc121d
  Ralf Jung authored 3 years ago
  
  f3dc121d
Apr 20, 2021
- Bump std++ (multisets). · 69ba36c4
  Robbert Krebbers authored 3 years ago
  
  69ba36c4
Mar 25, 2021
- Better spec for lock example, and polish · 5ee73302
  Jonas Kastberg authored 3 years ago
  
  5ee73302
- Added pizza examples from the thesis by Jonas Kastberg Hinrichsen · fce3e267
  Jonas Kastberg authored 3 years ago
  
  fce3e267
Mar 12, 2021
- Bump std++. · 550633bf
  Robbert Krebbers authored 4 years ago
  
  550633bf
Feb 19, 2021
- Tweak shady proof. · 626784fd
  Robbert Krebbers authored 4 years ago
  
  626784fd
Jan 26, 2021
- Make better use of `wp_smart_apply`. · 7fef7ccb
  Robbert Krebbers authored 4 years ago
  
  7fef7ccb
- Clean up ugly proof. · b62c61b1
  Robbert Krebbers authored 4 years ago
  
  b62c61b1
- Bump Iris (wp_apply). · afe8722d
  Robbert Krebbers authored 4 years ago
  
  afe8722d
Jan 25, 2021
- Bump Iris. · 7f62234d
  Robbert Krebbers authored 4 years ago
  
  7f62234d
Dec 16, 2020
- Bump Iris. · 00f9af1c
  Robbert Krebbers authored 4 years ago
  
  00f9af1c
Dec 09, 2020
- Removed redundant unit in example · 20aef084
  Jonas Kastberg authored 4 years ago
  
  20aef084
- Added binder rule for send, derived from subtyping and original rule · e1e9c9d9
  Jonas Kastberg authored 4 years ago
  
  e1e9c9d9
Dec 05, 2020
- update dependencies; fix for wp_finish changes · 91496e50
  Ralf Jung authored 4 years ago
  
  91496e50
Dec 02, 2020
- Added equivalence lemmas for iProto_message and iProto_choice · 6dfa5f72
  Jonas Kastberg authored 4 years ago
  
  6dfa5f72
Nov 27, 2020
- update Iris · 946ba572
  Ralf Jung authored 4 years ago
  
  946ba572
Nov 25, 2020
- Added list length example · e746c3cc
  Jonas Kastberg authored 4 years ago
  
  e746c3cc
Nov 24, 2020
- Added missing variable to fix CI failure · d4654827
  Jonas Kastberg authored 4 years ago
  
  d4654827
Nov 23, 2020
- Added proper and nonexpansive classes for iMsg_car · deacf337
  Jonas Kastberg authored 4 years ago
  
  deacf337
Nov 17, 2020
- Add all instance arguments, needed for compilation with recent Coq. · 69e9e8d2
  Robbert Krebbers authored 4 years ago
  
  69e9e8d2
Nov 13, 2020
- Added example of rpc client/service · d7f2e1a0
  Jonas Kastberg authored 4 years ago
  
  d7f2e1a0
Nov 12, 2020
- Type annotation to avoid ambigious use of `pretty`. · 3bab78ba
  Robbert Krebbers authored 4 years ago
  
  3bab78ba
Nov 11, 2020
- update Iris; fix build · 35208784
  Ralf Jung authored 4 years ago
  
  35208784
Nov 04, 2020
- update dependencies; fix for `l ↦ -` removal · c08bba36
  Ralf Jung authored 4 years ago
  
  c08bba36
Oct 27, 2020
- Renamed map.v -> par_map.v to distinguish from swap_mapper.v · 2528ab76
  Jonas Kastberg authored 4 years ago
  
  2528ab76
- Cleaned up examples and added lob recursion example · dc4049c4
  Jonas Kastberg authored 4 years ago
  
  dc4049c4