Skip to content

Add atomic fetch-and-add operation to heap_lang

Robbert Krebbers requested to merge robbert/faa into master

This implements #120 (closed).

Merge request reports