Skip to content
Snippets Groups Projects
Commit c65984c2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Link to std++ in the Changelog.

parent 48419ecc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
CHANGELOG.md
+ 2
− 1
View file @ c65984c2
...@@ -27,7 +27,8 @@ Changes in and extensions of the theory: ...@@ -27,7 +27,8 @@ Changes in and extensions of the theory:
Changes in Coq: Changes in Coq:
* Move the `prelude` folder to its own project: std++ * Move the `prelude` folder to its own project:
[coq-std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
* Some extensions/improvements of heap_lang: * Some extensions/improvements of heap_lang:
- Improve handling of pure (non-state-dependent) reductions. - Improve handling of pure (non-state-dependent) reductions.
- Add fetch-and-add (`FAA`) operation. - Add fetch-and-add (`FAA`) operation.
......
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