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

author	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Tue, 29 Sep 2009 20:44:10 +0000 (16:44 -0400)
committer	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Tue, 29 Sep 2009 20:44:10 +0000 (16:44 -0400)
commit	0fe464cfb57a43a22defa604d951e4e37246b0b1
tree	22a62fba6b978edac8d89eca89dd72a1a85b0aee	tree \| snapshot
parent	7aafc6ea87a87157d9e110b15da1829e767aab96	commit \| diff

Move formal-model to root

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

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

Userspace RCU (urcu) for Linux

RSS Atom

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