Commits · dd79d5a57a34f85cf77faf7b4ff0a3c5d3bc24b3 · tlsomers / Actris

May 12, 2022
- make license machine-readable · dd79d5a5
  Ralf Jung authored 2 years ago
  
  dd79d5a5
- Made opam file pass linting · 09b48e91
  Jonas Kastberg authored 2 years ago
  
  09b48e91
May 11, 2022
- bump the Coq we test · c47dfe5c
  Ralf Jung authored 2 years ago
  
  c47dfe5c
May 08, 2022
- normalize OCaml versions · 2315e87c
  Ralf Jung authored 2 years ago
  
  2315e87c
May 07, 2022
- make ocaml version explicit · 59c450f4
  Ralf Jung authored 2 years ago
  
  59c450f4
Apr 25, 2022
- Added priotity to swap rule of proofmode to avoid looping TC search · 778f3231
  Jonas Kastberg authored 2 years ago
  
  778f3231
Apr 19, 2022
- Merge branch 'later_strip' into 'master' · 117c24e5
  Jonas Kastberg authored 2 years ago
  
  Removed `skipN` instruction in `send` implementation See merge request iris/actris!26
  117c24e5
- Removed `skipN` instruction in `send` implementation · 129154d6
  Jonas Kastberg authored 2 years ago
  
  129154d6
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 09, 2021
- update makefile and iris · 6ed47dfe
  Ralf Jung authored 3 years ago
  
  6ed47dfe
Dec 08, 2021
- Bumped opam Iris version · 3cc498a6
  Jonas Kastberg authored 3 years ago
  
  3cc498a6
- Bumped stdpp · 3efd62f5
  Jonas Kastberg authored 3 years ago
  
  3efd62f5
- do nightly builds with Coq 8.14.dev for now · 01a342bd
  Ralf Jung authored 3 years ago
  
  01a342bd
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
- turns out this is warning-free · e61bd6e9
  Ralf Jung authored 3 years ago
  
  e61bd6e9
- switch CI to Coq 8.13 · a428389f
  Ralf Jung authored 3 years ago
  
  a428389f
- update dependencies · 7d63210c
  Ralf Jung authored 3 years ago
  
  7d63210c
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 14, 2021
- update dependencies · 3f4e2fe4
  Ralf Jung authored 3 years ago
  
  3f4e2fe4
Jun 05, 2021
- adjust to new job naming scheme · d40f6cc6
  Ralf Jung authored 3 years ago
  
  d40f6cc6
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
- support build-testing against forks · 6add79dc
  Ralf Jung authored 3 years ago
  
  6add79dc
May 19, 2021
- dont run CI on forks · 10e9b2b0
  Ralf Jung authored 3 years ago
  
  10e9b2b0
May 03, 2021
- Revert "coq.dev is not stable enough for regular CI" · 80e12301
  Ralf Jung authored 3 years ago
  
  This reverts commit d481ab7a. coq.dev is fixed.
  80e12301
Apr 30, 2021
- coq.dev is not stable enough for regular CI · d481ab7a
  Ralf Jung authored 3 years ago
  
  d481ab7a
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