git.proxmox.com Git - mirror_qemu.git/history

]> git.proxmox.com Git - mirror_qemu.git/history - docs/tcg-exclusive.promela

2016-10-13	Peter Maydell	Merge remote-tracking branch 'remotes/dgibson/tags...	blob \| commitdiff \| raw
2016-09-30	Peter Maydell	Merge remote-tracking branch 'remotes/borntraeger/tags...	blob \| commitdiff \| raw
2016-09-28	Peter Maydell	Merge remote-tracking branch 'remotes/stefanha/tags...	blob \| commitdiff \| raw
2016-09-28	Peter Maydell	Merge remote-tracking branch 'remotes/bonzini/tags...	blob \| commitdiff \| raw
2016-09-27	Paolo Bonzini	cpus-common: lock-free fast path for cpu_exec_start/end	blob \| commitdiff \| raw
2016-09-27	Paolo Bonzini	cpus-common: simplify locking for start_exclusive/end_e...	blob \| commitdiff \| raw \| diff to current
2016-09-27	Paolo Bonzini	cpus-common: remove redundant call to exclusive_idle()	blob \| commitdiff \| raw \| diff to current
2016-09-27	Paolo Bonzini	docs: include formal model for TCG exclusive sections	blob \| commitdiff \| raw \| diff to current

QEMU mirror