]> asedeno.scripts.mit.edu Git - linux.git/history - tools/memory-model
projects / linux.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
signal: Remove no longer required irqsave/restore
[linux.git] / tools / memory-model /
2018-06-05 Linus TorvaldsMerge branch 'x86-hyperv-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-cache-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'timers-2038-for-linus' of git://git.kerne... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'timers-core-for-linus' of git://git.kerne... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'ras-core-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'irq-core-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-dax-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-debug-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-cleanups-for-linus' of git://git... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-build-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-asm-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'x86-boot-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'sched-core-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'perf-core-for-linus' of git://git.kernel... tree | commitdiff
2018-06-05 Linus TorvaldsMerge branch 'perf-urgent-for-linus' of git://git.kerne... tree | commitdiff
2018-06-04 Linus TorvaldsMerge branch 'locking-core-for-linus' of git://git... tree | commitdiff
2018-05-30 Linus TorvaldsMerge tag 'selinux-pr-20180530' of git://git.kernel... tree | commitdiff
2018-05-30 Linus TorvaldsMerge branch 'for-linus' of git://git.kernel.org/pub... tree | commitdiff
2018-05-29 Benson LeungMerge branch 'ib-chrome-platform-atmel-mxt-ts-device... tree | commitdiff
2018-05-25 Ingo MolnarMerge branch 'linus' into locking/core, to pick up fixes tree | commitdiff
2018-05-24 Linus TorvaldsMerge tag 'for-4.17-rc6-tag' of git://git.kernel.org... tree | commitdiff
2018-05-20 Linus TorvaldsMerge tag 'for-4.17-rc5-tag' of git://git.kernel.org... tree | commitdiff
2018-05-17 Linus TorvaldsMerge tag 'selinux-pr-20180516' of git://git.kernel... tree | commitdiff
2018-05-15 Andrea Parritools/memory-model: Add reference for 'Simplifying... tree | commitdiff
2018-05-15 Andrea Parritools/memory-model: Update ASPLOS information tree | commitdiff
2018-05-15 Andrea Parritools/memory-model: Fix coding style in 'lock.cat' tree | commitdiff
2018-05-15 Alan Sterntools/memory-model: Remove out-of-date comments and... tree | commitdiff
2018-05-15 Alan Sterntools/memory-model: Improve mixed-access checking in... tree | commitdiff
2018-05-15 Alan Sterntools/memory-model: Improve comments in lock.cat tree | commitdiff
2018-05-15 Alan Sterntools/memory-model: Remove duplicated code from lock.cat tree | commitdiff
2018-05-15 Paul E. McKenneytools/memory-model: Flag "cumulativity" and "propagatio... tree | commitdiff
2018-05-15 Luc Marangettools/memory-model: Add model support for spin_is_locked() tree | commitdiff
2018-05-15 Paul E. McKenneytools/memory-model: Add scripts to test memory model tree | commitdiff
2018-05-15 Andrea Parritools/memory-model: Fix coding style in 'linux-kernel.def' tree | commitdiff
2018-05-15 Andrea Parritools/memory-model: Model 'smp_store_mb()' tree | commitdiff
2018-05-15 Paul E. McKenneytools/memory-order: Update the cheat-sheet to show... tree | commitdiff
2018-05-15 Paul E. McKenneytools/memory-order: Improve key for SELF and SV tree | commitdiff
2018-05-15 Paolo Bonzinitools/memory-model: Fix cheat sheet typo tree | commitdiff
2018-05-15 Akira Yokosawatools/memory-model: Update required version of herdtools7 tree | commitdiff
2018-05-15 Alan Sterntools/memory-model: Redefine rb in terms of rcu-fence tree | commitdiff
2018-05-15 Alan Sterntools/memory-model: Rename link and rcu-path to rcu... tree | commitdiff
2018-05-11 Linus TorvaldsMerge tag 'nfs-for-4.17-2' of git://git.linux-nfs.org... tree | commitdiff
2018-05-11 Linus TorvaldsMerge tag 'for-linus-4.17-rc5-tag' of git://git.kernel... tree | commitdiff
2018-05-09 Greg Kroah-HartmanMerge tag 'iio-fixes-for-4.17a' of git://git.kernel... tree | commitdiff
2018-05-05 Linus TorvaldsMerge tag 'for-4.17-rc3-tag' of git://git.kernel.org... tree | commitdiff
2018-05-04 Linus TorvaldsMerge tag 'for-linus-4.17-rc4-tag' of git://git.kernel... tree | commitdiff
2018-05-03 Linus TorvaldsMerge branch 'for-linus' of git://git.kernel.org/pub... tree | commitdiff
2018-04-29 Linus TorvaldsMerge tag 'for_linus_stable' of git://git.kernel.org... tree | commitdiff
2018-04-26 Linus TorvaldsMerge tag 'random_for_linus_stable' of git://git.kernel... tree | commitdiff
2018-04-26 Dave AirlieMerge tag 'drm-msm-fixes-2018-04-25' of git://people... tree | commitdiff
2018-04-26 Dave AirlieMerge branch 'drm-fixes-4.17' of git://people.freedeskt... tree | commitdiff
2018-04-25 Takashi IwaiMerge tag 'asoc-fix-4.17-rc2' of https://git.kernel... tree | commitdiff
2018-04-25 Linus TorvaldsMerge branch 'userns-linus' of git://git.kernel.org... tree | commitdiff
2018-04-23 Linus TorvaldsMerge tag 'drm-fixes-for-v4.17-rc2' of git://people... tree | commitdiff
2018-04-22 Linus TorvaldsMerge tag 'for-4.17-rc1-tag' of git://git.kernel.org... tree | commitdiff
2018-04-22 Linus TorvaldsMerge tag 'random_for_linus_stable' of git://git.kernel... tree | commitdiff
2018-04-21 Linus TorvaldsMerge tag 'sound-4.17-rc2' of git://git.kernel.org... tree | commitdiff
2018-04-20 Linus TorvaldsMerge tag 'ecryptfs-4.17-rc2-fixes' of git://git.kernel... tree | commitdiff
2018-04-20 Linus TorvaldsMerge branch 'for-linus' of git://git.kernel.org/pub... tree | commitdiff
2018-04-20 Linus TorvaldsMerge tag 'for-linus-4.17-rc2-tag' of git://git.kernel... tree | commitdiff
2018-04-20 Linus TorvaldsMerge tag 'mips_fixes_4.17_1' of git://git.kernel.org... tree | commitdiff
2018-04-16 Jonathan CorbetMerge branch 'mm-rst' into docs-next tree | commitdiff
2018-04-16 Linus TorvaldsMerge branch 'timers-core-for-linus' of git://git.kerne... tree | commitdiff
2018-04-16 Linus TorvaldsMerge tag 'for-linus' of git://git.kernel.org/pub/scm... tree | commitdiff
2018-04-16 Stephen BoydMerge branch 'clk-stm32mp1' into clk-fixes tree | commitdiff
2018-04-16 Linus TorvaldsMerge tag 'for-4.17-part2-tag' of git://git.kernel... tree | commitdiff
2018-04-15 Linus TorvaldsMerge branch 'irq-core-for-linus' of git://git.kernel... tree | commitdiff
2018-04-15 Linus TorvaldsMerge tag 'for-linus' of git://github.com/openrisc/linux tree | commitdiff
2018-04-13 Linus TorvaldsMerge branch 'overlayfs-linus' of git://git.kernel... tree | commitdiff
2018-04-13 Linus TorvaldsMerge branch 'next' of git://git.kernel.org/pub/scm... tree | commitdiff
2018-04-13 Linus TorvaldsMerge branch 'dmi-for-linus' of git://git.kernel.org... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'chrome-platform-for-linus-4.17' of git:... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'clk-for-linus' of git://git.kernel.org/pub... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'pwm/for-4.17-rc1' of git://git.kernel.org... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'linux-watchdog-4.17-rc1' of git://www.linux... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'apparmor-pr-2018-04-10' of git://git.kernel... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'sh-for-4.17' of git://git.libc.org/linux-sh tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'drm-fixes-for-v4.17-rc1' of git://people... tree | commitdiff
2018-04-13 Linus TorvaldsMerge tag 'trace-v4.17-2' of git://git.kernel.org/pub... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'xfs-4.17-merge-4' of git://git.kernel.org... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'nfs-for-4.17-1' of git://git.linux-nfs.org... tree | commitdiff
2018-04-12 Linus TorvaldsMerge branch 'work.thaw' of git://git.kernel.org/pub... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'for-linus-4.17-rc1-tag' of git://git.kernel... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'for_linus-4.16' of git://git.kernel.org... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'microblaze-4.17-rc1' of git://git.monstr... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'asm-generic' of git://git.kernel.org/pub... tree | commitdiff
2018-04-12 Ingo MolnarMerge branch 'WIP.x86/asm' into x86/urgent, because... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'for_linus' of git://git.kernel.org/pub/scm... tree | commitdiff
2018-04-12 Linus TorvaldsMerge tag 'iommu-updates-v4.17' of git://git.kernel... tree | commitdiff
2018-04-11 Linus TorvaldsMerge tag 'ktest-v4.17' of git://git.kernel.org/pub... tree | commitdiff
2018-04-11 Linus TorvaldsMerge tag 'tags/upstream-4.17-rc1' of git://git.infrade... tree | commitdiff
2018-04-11 Linus TorvaldsMerge git://git.kernel.org/pub/scm/linux/kernel/git/rw/uml tree | commitdiff
2018-04-11 Linus TorvaldsMerge tag 'nios2-v4.17-rc1' of git://git.kernel.org... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'ceph-for-4.17-rc1' of git://github.com/ceph... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'platform-drivers-x86-v4.17-1' of git://git... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'dmaengine-4.17-rc1' of git://git.infradead... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'rproc-v4.17' of git://github.com/andersson... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'rpmsg-v4.17' of git://github.com/andersson... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'for-linus' of git://linux-c6x.org/git/projec... tree | commitdiff
2018-04-10 Linus TorvaldsMerge tag 'mips_4.17' of git://git.kernel.org/pub/scm... tree | commitdiff
next
local clone of linux.git