port to new atomic triples

I also removed atomic_incr.v because it is now in Iris, generalized to work on an arbitrary logically atomic heap.

This relies on https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/163 being merged.

changed the description

mentioned in merge request !5 (closed)

changed the description

added 3 commits

• 83979351...d8ea1ae9 - 2 commits from branch master
• 0bcdf840 - port to new atomic triples

Compare with previous version

unmarked as a Work In Progress

merged

mentioned in commit 1849f987