projects / qemu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab12997) | patch
docs: include formal model for TCG exclusive sections
authorPaolo Bonzini <pbonzini@redhat.com>
Fri, 2 Sep 2016 21:35:55 +0000 (23:35 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 27 Sep 2016 09:57:30 +0000 (11:57 +0200)
commita200f2fb571f337db37f865aec18f655fa3c872b
treec88ceb959ec920f8c39d6d5d3c5036af65ed5afbtree | snapshot
parentab129972c8b41e15b0521895a46fd9c752b68a5ecommit | diff
docs: include formal model for TCG exclusive sections

Reviewed-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
docs/tcg-exclusive.promela [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.