Commits · master · Iris / Actris

09 Dec, 2021 1 commit
- update makefile and iris · 6ed47dfe
  Ralf Jung authored Dec 09, 2021
  
  6ed47dfe
08 Dec, 2021 3 commits
- Bumped opam Iris version · 3cc498a6
  Jonas Kastberg authored Dec 08, 2021
  
  3cc498a6
- Bumped stdpp · 3efd62f5
  Jonas Kastberg authored Dec 08, 2021
  
  3efd62f5
- do nightly builds with Coq 8.14.dev for now · 01a342bd
  Ralf Jung authored Dec 07, 2021
  
  01a342bd
02 Oct, 2021 1 commit
- update dependencies; fix for f_equiv becoming a bit weaker · 19cd2645
  Ralf Jung authored Oct 02, 2021
  
  19cd2645
28 Jul, 2021 1 commit
- update dependencies · 00b4d222
  Ralf Jung authored Jul 28, 2021
  
  00b4d222
26 Jul, 2021 1 commit
- Bump Iris. · afe73d88
  Robbert Krebbers authored Jul 27, 2021
  
  afe73d88
20 Jul, 2021 1 commit
- Bump Iris. · 10100614
  Robbert Krebbers authored Jul 20, 2021
  
  10100614
29 Jun, 2021 4 commits
- Added "Global" instance locality to resolve future Coq warnings · 68447aa2
  Jonas Kastberg authored Jun 29, 2021
  
  68447aa2
- turns out this is warning-free · e61bd6e9
  Ralf Jung authored Jun 29, 2021
  
  e61bd6e9
- switch CI to Coq 8.13 · a428389f
  Ralf Jung authored Jun 29, 2021
  
  a428389f
- update dependencies · 7d63210c
  Ralf Jung authored Jun 29, 2021
  
  7d63210c
17 Jun, 2021 1 commit
- explicit coercion > type ascription · e687aa20
  Ralf Jung authored Jun 17, 2021
  
  e687aa20
16 Jun, 2021 1 commit
- Added scope of unscoped hint modes to address deprecation warning · aa086f74
  Jonas Kastberg Hinrichsen authored Jun 16, 2021
  
  aa086f74
14 Jun, 2021 1 commit
- update dependencies · 3f4e2fe4
  Ralf Jung authored Jun 14, 2021
  
  3f4e2fe4
05 Jun, 2021 1 commit
- adjust to new job naming scheme · d40f6cc6
  Ralf Jung authored Jun 05, 2021
  
  d40f6cc6
04 Jun, 2021 1 commit
- prepare for Iris WP change · eb521a50
  Ralf Jung authored Jun 04, 2021
  
  eb521a50
03 Jun, 2021 1 commit
- update dependencies · aefab58b
  Ralf Jung authored Jun 03, 2021
  
  aefab58b
28 May, 2021 2 commits
- update dependencies · f3dc121d
  Ralf Jung authored May 28, 2021
  
  f3dc121d
- support build-testing against forks · 6add79dc
  Ralf Jung authored May 28, 2021
  
  6add79dc
19 May, 2021 1 commit
- dont run CI on forks · 10e9b2b0
  Ralf Jung authored May 19, 2021
  
  10e9b2b0
03 May, 2021 1 commit
- Revert "coq.dev is not stable enough for regular CI" · 80e12301
  Ralf Jung authored May 03, 2021
```
This reverts commit d481ab7a.
coq.dev is fixed.
```
  80e12301
30 Apr, 2021 1 commit
- coq.dev is not stable enough for regular CI · d481ab7a
  Ralf Jung authored Apr 30, 2021
  
  d481ab7a
20 Apr, 2021 1 commit
- Bump std++ (multisets). · 69ba36c4
  Robbert Krebbers authored Apr 20, 2021
  
  69ba36c4
25 Mar, 2021 2 commits
- Better spec for lock example, and polish · 5ee73302
  Jonas Kastberg authored Mar 25, 2021
  
  5ee73302
- Added pizza examples from the thesis by Jonas Kastberg Hinrichsen · fce3e267
  Jonas Kastberg authored Mar 25, 2021
  
  fce3e267
12 Mar, 2021 1 commit
- Bump std++. · 550633bf
  Robbert Krebbers authored Mar 12, 2021
  
  550633bf
19 Feb, 2021 1 commit
- Tweak shady proof. · 626784fd
  Robbert Krebbers authored Feb 19, 2021
  
  626784fd
17 Feb, 2021 1 commit

Revert "test Coq beta branch (since master is broken)" · 5640920d

Ralf Jung authored Feb 17, 2021

This reverts commit 1226aa9c.
https://github.com/coq/coq/issues/13732 is supposed to be fixed; let's see.

5640920d

26 Jan, 2021 3 commits
- Make better use of `wp_smart_apply`. · 7fef7ccb
  Robbert Krebbers authored Jan 26, 2021
  
  7fef7ccb
- Clean up ugly proof. · b62c61b1
  Robbert Krebbers authored Jan 26, 2021
  
  b62c61b1
- Bump Iris (wp_apply). · afe8722d
  Robbert Krebbers authored Jan 26, 2021
  
  afe8722d
25 Jan, 2021 1 commit
- Bump Iris. · 7f62234d
  Robbert Krebbers authored Jan 25, 2021
  
  7f62234d
11 Jan, 2021 1 commit
- test Coq beta branch (since master is broken) · 1226aa9c
  Ralf Jung authored Jan 11, 2021
  
  1226aa9c
16 Dec, 2020 2 commits
- Silent some warnings (as in Iris). · d21f89df
  Robbert Krebbers authored Dec 16, 2020
  
  d21f89df
- Bump Iris. · 00f9af1c
  Robbert Krebbers authored Dec 16, 2020
  
  00f9af1c
14 Dec, 2020 4 commits
- More typos. · be66a74d
  Jonas Kastberg authored Dec 14, 2020
  
  be66a74d
- Removed `.`'s from lists in README.md · cf317ac2
  Jonas Kastberg authored Dec 14, 2020
  
  cf317ac2
- Updated README.md · 46958e12
  Jonas Kastberg authored Dec 14, 2020
  
  46958e12
- Referred to cpp21 branch in CPP21.md · 8b90dfbd
  Jonas Kastberg authored Dec 14, 2020
  
  8b90dfbd