Skip to content
Snippets Groups Projects
Commit cd53536c authored by Ralf Jung's avatar Ralf Jung
Browse files

use Google's legal name

parent 846d5cff
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
CHANGELOG.md
+ 1
− 1
View file @ cd53536c
...@@ -65,7 +65,7 @@ Coq 8.11 is no longer supported in this version of Iris. ...@@ -65,7 +65,7 @@ Coq 8.11 is no longer supported in this version of Iris.
**Changes in `heap_lang`:** **Changes in `heap_lang`:**
* Rename `Build_loc` constructor for `loc` type to `Loc`. * Rename `Build_loc` constructor for `loc` type to `Loc`.
* Add atomic `Xchg` ("exchange"/"swap") operation. (by Simon Hudon, Google) * Add atomic `Xchg` ("exchange"/"swap") operation. (by Simon Hudon, Google LLC)
The following `sed` script helps adjust your code to the renaming (on macOS, The following `sed` script helps adjust your code to the renaming (on macOS,
replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`). replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment