Commits · master · Iris / Iron

24 May, 2020 1 commit
- Bump Iris (sbi changes). · 6c3e5050
  Robbert Krebbers authored May 23, 2020
  
  6c3e5050
18 May, 2020 1 commit
- update dependencies · a180a025
  Ralf Jung authored May 18, 2020
  
  a180a025
16 May, 2020 1 commit
- update dependencies · 516dcf56
  Ralf Jung authored May 16, 2020
  
  516dcf56
08 May, 2020 1 commit
- update dependencies · a3b04ee9
  Ralf Jung authored May 08, 2020
  
  a3b04ee9
23 Apr, 2020 2 commits
- update dependencies · 11c8fb85
  Ralf Jung authored Apr 23, 2020
  
  11c8fb85
- update dependencies · f294420c
  Ralf Jung authored Apr 23, 2020
  
  f294420c
18 Apr, 2020 1 commit
- update dependencies · fbf610cb
  Ralf Jung authored Apr 18, 2020
  
  fbf610cb
09 Apr, 2020 1 commit
- Bump Iris. · 6f8d2fdc
  Robbert Krebbers authored Apr 09, 2020
  
  6f8d2fdc
04 Apr, 2020 1 commit
- Bump Iris. · 4dcc1427
  Robbert Krebbers authored Apr 04, 2020
  
  4dcc1427
30 Mar, 2020 1 commit
- bump Iris · 5587b018
  Ralf Jung authored Mar 30, 2020
  
  5587b018
16 Mar, 2020 1 commit
- Bump Iris (⊢ changes). · 662b530e
  Robbert Krebbers authored Mar 16, 2020
  
  662b530e
13 Mar, 2020 1 commit
- Update LICENSE. · 1f8db35e
  Robbert Krebbers authored Mar 13, 2020
  
  1f8db35e
11 Mar, 2020 1 commit
- update dependencies · 4dc86c61
  Ralf Jung authored Mar 11, 2020
  
  4dc86c61
26 Feb, 2020 1 commit
- Bump Iris (TCEq change in WP step rules). · d9a60dbe
  Robbert Krebbers authored Feb 26, 2020
  
  d9a60dbe
21 Feb, 2020 1 commit
- update Makefile · 35f41dcb
  Ralf Jung authored Feb 21, 2020
  
  35f41dcb
16 Feb, 2020 1 commit
- Rename `_open` -> `_acc` to be consistent with Iris. · ffbf81d9
  Robbert Krebbers authored Feb 16, 2020
  
  ffbf81d9
15 Feb, 2020 2 commits
- update .gitignore · d308a9ec
  Ralf Jung authored Feb 15, 2020
  
  d308a9ec
- bump Iris · 0a1a5875
  Ralf Jung authored Feb 15, 2020
  
  0a1a5875
11 Feb, 2020 1 commit
- bump Coq · b6ee7aa6
  Ralf Jung authored Feb 11, 2020
  
  b6ee7aa6
06 Feb, 2020 1 commit
- Make invariant rules more consistent with Iris. · cd113065
  Robbert Krebbers authored Feb 06, 2020
```
See discussion at iris!368 (diffs, comment 43824)
```
  cd113065
27 Jan, 2020 1 commit
- Bump Iris. · 7f69e9f4
  Robbert Krebbers authored Jan 27, 2020
  
  7f69e9f4
21 Nov, 2019 2 commits
- Bump Iris. · 63ad446d
  Robbert Krebbers authored Nov 21, 2019
  
  63ad446d
- Bump Iris (`iPoseProof` changes). · dccfaef2
  Robbert Krebbers authored Nov 21, 2019
```
Also, some refactoring, e.g. remove useless parameter of `heap_ctx`.
```
  dccfaef2
17 Nov, 2019 1 commit
- update Makefile · 54ac23ef
  Ralf Jung authored Nov 17, 2019
  
  54ac23ef
07 Nov, 2019 4 commits
- Merge branch 'robbert/coq8.10.1' into 'master' · 2fd83bb7
  Ralf Jung authored Nov 07, 2019
```
Use Coq 8.10.1 for CI

See merge request !1
```
  2fd83bb7
- Use Coq 8.10.1 for CI . · 036cc4cd
  Robbert Krebbers authored Nov 07, 2019
  
  036cc4cd
- Actually bump Iris. · 49c39caf
  Robbert Krebbers authored Nov 07, 2019
  
  49c39caf
- Bump Iris. · 7d95a664
  Robbert Krebbers authored Nov 07, 2019
  
  7d95a664
06 Nov, 2019 1 commit
- manage warnings · 30e470bc
  Ralf Jung authored Nov 06, 2019
  
  30e470bc
01 Nov, 2019 1 commit
- timing for ReLoC · a4182f85
  Ralf Jung authored Nov 01, 2019
  
  a4182f85
31 Oct, 2019 3 commits
- this did not actually commit any timing anywhere · 5753eff5
  Ralf Jung authored Nov 01, 2019
  
  5753eff5
- Bump iris (no changes needed) · 7e7e00d8
  Ralf Jung authored Nov 01, 2019
  
  7e7e00d8
- reduce to 1 job per pipeline · e96ea1ec
  Ralf Jung authored Nov 01, 2019
  
  e96ea1ec
19 Sep, 2019 2 commits
- Bump Iris. · d7aa1f6e
  Robbert Krebbers authored Sep 19, 2019
  
  d7aa1f6e
- Fix build on master Coq by fixing Require order. · 9db1d7a4
  Jacques-Henri Jourdan authored Sep 19, 2019
  
  9db1d7a4
14 Sep, 2019 1 commit
- Use fp-timing for build. · db3fd5c0
  Robbert authored Sep 15, 2019
  
  db3fd5c0
13 Aug, 2019 1 commit
- Bump Iris. · 5f9c0b9b
  Robbert Krebbers authored Aug 13, 2019
  
  5f9c0b9b
09 Aug, 2019 1 commit
- bump Iris, fix for propext change · 282b7fe3
  Ralf Jung authored Aug 09, 2019
  
  282b7fe3
18 Jun, 2019 1 commit
- Bump Iris (C→O rename + lazy_tc). · e578423a
  Robbert Krebbers authored Jun 18, 2019
  
  e578423a
13 Jun, 2019 1 commit
- bump Iris · 8aacd098
  Ralf Jung authored Jun 13, 2019
  
  8aacd098