git.liburcu.org Git - urcu.git/commit

author	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Fri, 15 May 2009 20:35:57 +0000 (16:35 -0400)
committer	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Fri, 15 May 2009 20:35:57 +0000 (16:35 -0400)
commit	d372f56172a6871969f88a524a65f9c40f358900
tree	58099ed8ee8d71aacc2e567312f6df9d46a91d22	tree \| snapshot
parent	dfa8abef9f88fd28e232b0eab9a105fc50e71959	commit \| diff

Remove old memory models

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>

23 files changed:

formal-model/ooomem-deps/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ooomem-deps/Makefile	[deleted file]	blob \| blame \| history
formal-model/ooomem-deps/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ooomem-deps/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ooomem-deps/read_order.ltl	[deleted file]	blob \| blame \| history
formal-model/ooomem-deps/read_order_sync_core.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-deps/references.txt	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/DEFINES	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/Makefile	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/mem.sh	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/mem.spin	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/read_order.ltl	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/read_order_no_rmb.define	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/read_order_no_wmb.define	[new file with mode: 0644]	blob
formal-model/ooomem-no-sched/references.txt	[new file with mode: 0644]	blob
formal-model/ooomem/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ooomem/Makefile	[deleted file]	blob \| blame \| history
formal-model/ooomem/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ooomem/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ooomem/read_order.ltl	[deleted file]	blob \| blame \| history
formal-model/ooomem/read_order_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem/read_order_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem/references.txt	[deleted file]	blob \| blame \| history

Userspace RCU (urcu) for Linux

RSS Atom

This page took 0.025824 seconds and 4 git commands to generate.