Select Git revision
spin
-
-
- Open in your IDE
- Download source code
- Download this directory
Paolo Bonzini authored
Developer documentation should be its own manual. As a start, move all developer-oriented files to a separate directory. Also move non-text files to their own directories: docs/config/ for QEMU -readconfig input, and docs/spin/ for formal models to be used with the SPIN model checker. Reviewed-by:Daniel P. Berrange <berrange@redhat.com> Signed-off-by:
Paolo Bonzini <pbonzini@redhat.com>
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Name | Last commit | Last update |
---|---|---|
.. | ||
aio_notify.promela | ||
aio_notify_accept.promela | ||
aio_notify_bug.promela | ||
tcg-exclusive.promela | ||
win32-qemu-event.promela |