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

author	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Tue, 29 Sep 2009 20:37:07 +0000 (16:37 -0400)
committer	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Tue, 29 Sep 2009 20:37:07 +0000 (16:37 -0400)
commit	5e32821aa6d74b755730c19a8aa66404d2c367c9
tree	9216557e5f5d87c71d9b84fb291bf0d9a98cfc91	tree \| snapshot
parent	41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca	commit \| diff

userspace-rcu formal model removal

For packaging. Moved to formal-model branch.

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

718 files changed:

formal-model/.gitignore	[deleted file]	blob \| blame \| history
formal-model/futex-wakeup/DEFINES	[deleted file]	blob \| blame \| history
formal-model/futex-wakeup/Makefile	[deleted file]	blob \| blame \| history
formal-model/futex-wakeup/futex.ltl	[deleted file]	blob \| blame \| history
formal-model/futex-wakeup/futex.spin	[deleted file]	blob \| blame \| history
formal-model/futex-wakeup/futex_progress_late_dec.define	[deleted file]	blob \| blame \| history
formal-model/futex-wakeup/futex_progress_no_wake.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/Makefile	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/read_order.ltl	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/read_order_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/read_order_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/references.txt	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/Makefile	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/read_order.ltl	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/read_order_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/read_order_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-no-sched/references.txt	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/Makefile	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/read_order.ltl	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/read_order_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/read_order_no_sync.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/read_order_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-two-writes/references.txt	[deleted file]	blob \| blame \| history
formal-model/spinlock/DEFINES	[deleted file]	blob \| blame \| history
formal-model/spinlock/Makefile	[deleted file]	blob \| blame \| history
formal-model/spinlock/lock_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/spinlock/mem-progress.spin	[deleted file]	blob \| blame \| history
formal-model/spinlock/mem.sh	[deleted file]	blob \| blame \| history
formal-model/spinlock/mem.spin	[deleted file]	blob \| blame \| history
formal-model/spinlock/refcount.ltl	[deleted file]	blob \| blame \| history
formal-model/spinlock/references.txt	[deleted file]	blob \| blame \| history
formal-model/ticketlock/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ticketlock/Makefile	[deleted file]	blob \| blame \| history
formal-model/ticketlock/config_4_bits_per_byte.define	[deleted file]	blob \| blame \| history
formal-model/ticketlock/lock_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/ticketlock/mem-progress.spin	[deleted file]	blob \| blame \| history
formal-model/ticketlock/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ticketlock/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ticketlock/refcount.ltl	[deleted file]	blob \| blame \| history
formal-model/ticketlock/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/.input.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/.input.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/.input.spin.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/.input.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-controldataflow/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/.input.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin.bkp2	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin.bkp5	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu-paulmck/.gitignore	[deleted file]	blob \| blame \| history
formal-model/urcu-paulmck/urcu-paulmck.spin	[deleted file]	blob \| blame \| history
formal-model/urcu-paulmck/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/.input.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/.input.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu.spin.bkp2	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu.spin.bkp5	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/DEFINES	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/Makefile	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/asserts.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/asserts.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/asserts.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/references.txt	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.log	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input	[deleted file]	blob \| blame \| history
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu.sh	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu.spin	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_free.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_free_no_mb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_free_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_free_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_free_single_flip.define	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_progress.ltl	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_progress_reader.define	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_progress_writer.define	[deleted file]	blob \| blame \| history
formal-model/urcu/urcu_progress_writer_error.define	[deleted file]	blob \| blame \| history

Userspace RCU (urcu) for Linux

RSS Atom

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