Merge, started kvnode example.

LICENSE

_CoqProject

opam

theories/adequacy.v

theories/base/accessors.v

theories/base/alloc.v

theories/base/at_cas.v

theories/base/at_fai.v

theories/base/at_read.v

theories/base/at_write.v

theories/base/atomic.v

theories/base/base.v

theories/base/dealloc.v

theories/base/ghosts.v

theories/base/helpers.v

theories/base/na_read.v

theories/base/na_write.v

theories/bigop.v

theories/blocks.v

theories/blocks_generic.v