git.lttng.org Git - userspace-rcu.git/commit

author	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Thu, 18 Jun 2009 20:21:18 +0000 (16:21 -0400)
committer	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Thu, 18 Jun 2009 20:21:18 +0000 (16:21 -0400)
commit	8322221dc666e720badeb06bc780a1f8e69020a0
tree	f8441735d4784c89bfa72aa15257b34881f01a3c	tree \| snapshot
parent	1d268896f82b053d886a4242433f3c2abcb5a203	commit \| diff

Cleanup verif directory.

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

168 files changed:

formal-model/ooomem-two-writes/DEFINES		diff \| blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/.input.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/DEFINES	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/Makefile	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/asserts.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/references.txt	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi-intel/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/.input.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/DEFINES	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/Makefile	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/asserts.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/references.txt	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu.spin.bkp.b4ptr	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/.input.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/DEFINES	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/Makefile	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/asserts.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/references.txt	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/DEFINES	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/Makefile	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/references.txt	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/DEFINES	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/Makefile	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/asserts.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/references.txt	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu.spin.bkp.b4ptr	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/todo.sh	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu.spin.bkp.b4ptr	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history

Userspace RCU (urcu) for Linux

RSS Atom

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