Commits · master · Ralf Jung / Iris

19 May, 2021 7 commits
- add Iris 3.4 release date · 846d5cff
  Ralf Jung authored May 19, 2021
  
  846d5cff
- add Xchg to changelog · 6ed51720
  Ralf Jung authored May 19, 2021
  
  6ed51720
- remove some inconsistent empty lines · 3ba5fca8
  Ralf Jung authored May 19, 2021
  
  3ba5fca8
- Merge branch 'atomic-exchange' into 'master' · ded77bc4
  Ralf Jung authored May 19, 2021
```
add atomic exchange operation

See merge request iris/iris!675
```
  ded77bc4
- add more credit in changelog · c9154d43
  Ralf Jung authored May 19, 2021
  
  c9154d43
- add credit in changelog · 036358a3
  Ralf Jung authored May 19, 2021
  
  036358a3
- fix tests · c1696b8d
  Simon Hudon authored May 18, 2021
  
  c1696b8d
17 May, 2021 10 commits
- Remove useless scopes. Thanks to !674. · 0ca74ec7
  Robbert Krebbers authored May 18, 2021
  
  0ca74ec7
- Merge branch 'ralf/scopes' into 'master' · 0ca7041d
  Robbert Krebbers authored May 17, 2021
```
Better %I scope handling

See merge request iris/iris!674
```
  0ca7041d
- Add test case for Xchg · 32300303
  Simon Hudon authored May 17, 2021
  
  32300303
- remove unboxed assumptions · 1229cc72
  Simon Hudon authored May 17, 2021
  
  1229cc72
- little fixes · 78b3986b
  Simon Hudon authored May 12, 2021
  
  78b3986b
- Apply 1 suggestion(s) to 1 file(s) · 254e94b2
  Simon Hudon authored May 13, 2021
  
  254e94b2
- Apply 1 suggestion(s) to 1 file(s) · 350f5ecf
  Simon Hudon authored May 13, 2021
  
  350f5ecf
- add atomic exchange operation · 4e15875a
  Simon Hudon authored Feb 28, 2021
  
  4e15875a
- Merge branch 'append_list' into 'master' · d502baa8
  Ralf Jung authored May 17, 2021
```
Append-only list RA

Closes #391

See merge request iris/iris!661
```
  d502baa8
- Append-only list RA · 65f56071
  Hai Dang authored May 17, 2021 and Ralf Jung committed May 17, 2021
  
  65f56071
13 May, 2021 3 commits
- Merge branch 'monotone' into 'master' · 6ce8b332
  Ralf Jung authored May 13, 2021
```
Add monotone resource algebra

See merge request iris/iris!597
```
  6ce8b332
- Merge branch 'ralf/gmap-view' into 'master' · cfe0535f
  Ralf Jung authored May 13, 2021
```
add big_op lemmas to gmap_view and use them in ghost_map

See merge request iris/iris!668
```
  cfe0535f
- test bi Lemma scopes · b600a5bb
  Ralf Jung authored May 13, 2021
  
  b600a5bb
12 May, 2021 3 commits
- Better setoid-rewriting for updates. · 7d16a1d8
  Robbert Krebbers authored May 12, 2021
  
  7d16a1d8
- make cmra_update a rewritable relation · e29ce6f1
  Ralf Jung authored May 01, 2021
  
  e29ce6f1
- add big_op lemmas to gmap_view and use them in ghost_map · 22823e07
  Ralf Jung authored Apr 20, 2021
  
  22823e07
11 May, 2021 7 commits
- Merge branch 'patch-dist-functional-notations' into 'master' · 45014bab
  Jacques-Henri Jourdan authored May 11, 2021
```
Add functional notations for `dist`

See merge request iris/iris!671
```
  45014bab
- Merge branch 'ralf/wp_frame_wand' into 'master' · 98b90f13
  Ralf Jung authored May 11, 2021
```
add wp_frame_wand lemma

See merge request iris/iris!672
```
  98b90f13
- add twp_frame_wand · 771b9aed
  Ralf Jung authored May 11, 2021
  
  771b9aed
- changelog · 4ffdfc18
  Ralf Jung authored May 11, 2021
  
  4ffdfc18
- use wp_frame_wand in awp_apply; get rid of _l/_r variants · 5b43a080
  Ralf Jung authored May 11, 2021
  
  5b43a080
- use wp_frame_wand where suitable · 7ee261cf
  Ralf Jung authored May 03, 2021
  
  7ee261cf
- add wp_frame_wand lemma · 09835135
  Ralf Jung authored May 02, 2021
  
  09835135
09 May, 2021 1 commit
- fix typo (thanks Paolo) · 4a59814e
  Ralf Jung authored May 09, 2021
  
  4a59814e
07 May, 2021 8 commits
- further extend comment · 141a635e
  Ralf Jung authored May 07, 2021
  
  141a635e
- extend logical atomicity comments · d7b84ad4
  Ralf Jung authored May 07, 2021
  
  d7b84ad4
- Scopes for bi_car, and Remove some now implied %I · fc8e7e87
  Paolo G. Giarrusso authored May 07, 2021 and Ralf Jung committed May 07, 2021
```
Robbert pointed out this should fix the scopes for derived_laws.
```
  fc8e7e87
- Apply 1 suggestion(s) to 1 file(s) · be38c833
  Amin Timany authored May 07, 2021
  
  be38c833
- Apply 1 suggestion(s) to 1 file(s) · f9c33304
  Amin Timany authored May 07, 2021
  
  f9c33304
- Add monotone resource algebra to iris_staging · bc0d8a6e
  Amin Timany authored May 07, 2021
  
  bc0d8a6e
- improve 'unqualified' error message · 5119ab8b
  Ralf Jung authored May 07, 2021
  
  5119ab8b
- Remove %I which is implied · 2fabfd72
  Paolo G. Giarrusso authored Mar 17, 2021 and Ralf Jung committed May 07, 2021
  
  2fabfd72
05 May, 2021 1 commit
- update dependencies · 6f18e8cd
  Ralf Jung authored May 05, 2021
  
  6f18e8cd