userspace-rcu formal model removal v0.1
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Tue, 29 Sep 2009 20:37:07 +0000 (16:37 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Tue, 29 Sep 2009 20:37:07 +0000 (16:37 -0400)
commit5e32821aa6d74b755730c19a8aa66404d2c367c9
tree9216557e5f5d87c71d9b84fb291bf0d9a98cfc91
parent41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca
userspace-rcu formal model removal

For packaging. Moved to formal-model branch.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
718 files changed:
formal-model/.gitignore [deleted file]
formal-model/futex-wakeup/DEFINES [deleted file]
formal-model/futex-wakeup/Makefile [deleted file]
formal-model/futex-wakeup/futex.ltl [deleted file]
formal-model/futex-wakeup/futex.spin [deleted file]
formal-model/futex-wakeup/futex_progress_late_dec.define [deleted file]
formal-model/futex-wakeup/futex_progress_no_wake.define [deleted file]
formal-model/ooomem-double-update/DEFINES [deleted file]
formal-model/ooomem-double-update/Makefile [deleted file]
formal-model/ooomem-double-update/mem.sh [deleted file]
formal-model/ooomem-double-update/mem.spin [deleted file]
formal-model/ooomem-double-update/read_order.ltl [deleted file]
formal-model/ooomem-double-update/read_order_no_rmb.define [deleted file]
formal-model/ooomem-double-update/read_order_no_wmb.define [deleted file]
formal-model/ooomem-double-update/references.txt [deleted file]
formal-model/ooomem-no-sched/DEFINES [deleted file]
formal-model/ooomem-no-sched/Makefile [deleted file]
formal-model/ooomem-no-sched/mem.sh [deleted file]
formal-model/ooomem-no-sched/mem.spin [deleted file]
formal-model/ooomem-no-sched/read_order.ltl [deleted file]
formal-model/ooomem-no-sched/read_order_no_rmb.define [deleted file]
formal-model/ooomem-no-sched/read_order_no_wmb.define [deleted file]
formal-model/ooomem-no-sched/references.txt [deleted file]
formal-model/ooomem-two-writes/DEFINES [deleted file]
formal-model/ooomem-two-writes/Makefile [deleted file]
formal-model/ooomem-two-writes/mem.sh [deleted file]
formal-model/ooomem-two-writes/mem.spin [deleted file]
formal-model/ooomem-two-writes/read_order.ltl [deleted file]
formal-model/ooomem-two-writes/read_order_no_rmb.define [deleted file]
formal-model/ooomem-two-writes/read_order_no_sync.define [deleted file]
formal-model/ooomem-two-writes/read_order_no_wmb.define [deleted file]
formal-model/ooomem-two-writes/references.txt [deleted file]
formal-model/spinlock/DEFINES [deleted file]
formal-model/spinlock/Makefile [deleted file]
formal-model/spinlock/lock_progress.ltl [deleted file]
formal-model/spinlock/mem-progress.spin [deleted file]
formal-model/spinlock/mem.sh [deleted file]
formal-model/spinlock/mem.spin [deleted file]
formal-model/spinlock/refcount.ltl [deleted file]
formal-model/spinlock/references.txt [deleted file]
formal-model/ticketlock/DEFINES [deleted file]
formal-model/ticketlock/Makefile [deleted file]
formal-model/ticketlock/config_4_bits_per_byte.define [deleted file]
formal-model/ticketlock/lock_progress.ltl [deleted file]
formal-model/ticketlock/mem-progress.spin [deleted file]
formal-model/ticketlock/mem.sh [deleted file]
formal-model/ticketlock/mem.spin [deleted file]
formal-model/ticketlock/refcount.ltl [deleted file]
formal-model/ticketlock/references.txt [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/.input.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/.input.spin [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/DEFINES [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/Makefile [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/references.txt [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu.sh [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu.spin [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_reader.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-compress/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/.input.spin [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/DEFINES [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/Makefile [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/asserts.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/asserts.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/references.txt [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu.sh [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu.spin [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_reader.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/.input.spin [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/DEFINES [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/Makefile [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/asserts.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/asserts.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/references.txt [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu.sh [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu.spin [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.log [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-alpha-ipi/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/.input.spin [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/DEFINES [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/Makefile [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/asserts.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/asserts.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/references.txt [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu.sh [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu.spin [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_reader.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-controldataflow-alpha-no-ipi/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/.input.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/.input.spin [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/.input.spin.trail [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/DEFINES [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/Makefile [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/references.txt [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu.sh [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu.spin [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_reader.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi-compress/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-ipi/.input.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/.input.spin [deleted file]
formal-model/urcu-controldataflow-intel-ipi/DEFINES [deleted file]
formal-model/urcu-controldataflow-intel-ipi/Makefile [deleted file]
formal-model/urcu-controldataflow-intel-ipi/references.txt [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu.sh [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu.spin [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_writer.log [deleted file]
formal-model/urcu-controldataflow-intel-ipi/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/.input.spin [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/DEFINES [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/Makefile [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/asserts.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/asserts.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/references.txt [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu.sh [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu.spin [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_reader.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-controldataflow/DEFINES [deleted file]
formal-model/urcu-controldataflow/Makefile [deleted file]
formal-model/urcu-controldataflow/references.txt [deleted file]
formal-model/urcu-controldataflow/urcu.sh [deleted file]
formal-model/urcu-controldataflow/urcu.spin [deleted file]
formal-model/urcu-controldataflow/urcu_free.ltl [deleted file]
formal-model/urcu-controldataflow/urcu_free_nested.define [deleted file]
formal-model/urcu-controldataflow/urcu_free_no_mb.define [deleted file]
formal-model/urcu-controldataflow/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-controldataflow/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-controldataflow/urcu_free_single_flip.define [deleted file]
formal-model/urcu-controldataflow/urcu_progress.ltl [deleted file]
formal-model/urcu-controldataflow/urcu_progress_reader.define [deleted file]
formal-model/urcu-controldataflow/urcu_progress_writer.define [deleted file]
formal-model/urcu-controldataflow/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/DEFINES [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/Makefile [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/references.txt [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu.sh [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu.spin [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.ltl [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress.ltl [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/DEFINES [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/Makefile [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/references.txt [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/DEFINES [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/Makefile [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/references.txt [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/.input.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/.input.spin [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/DEFINES [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/Makefile [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/references.txt [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.sh [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin.bkp2 [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin.bkp5 [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.ltl [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress.ltl [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu.sh [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu.spin [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.ltl [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress.ltl [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/DEFINES [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/Makefile [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/references.txt [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu.sh [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu.spin [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.ltl [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress.ltl [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.define [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.log [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu-paulmck/.gitignore [deleted file]
formal-model/urcu-paulmck/urcu-paulmck.spin [deleted file]
formal-model/urcu-paulmck/urcu.sh [deleted file]
formal-model/urcu.sh [deleted file]
formal-model/urcu.spin [deleted file]
formal-model/urcu/DEFINES [deleted file]
formal-model/urcu/Makefile [deleted file]
formal-model/urcu/references.txt [deleted file]
formal-model/urcu/result-signal-over-reader/DEFINES [deleted file]
formal-model/urcu/result-signal-over-reader/Makefile [deleted file]
formal-model/urcu/result-signal-over-reader/asserts.log [deleted file]
formal-model/urcu/result-signal-over-reader/asserts.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/asserts.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu.sh [deleted file]
formal-model/urcu/result-signal-over-reader/urcu.spin [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free.ltl [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress.ltl [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.define [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.log [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu/result-signal-over-reader/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/DEFINES [deleted file]
formal-model/urcu/result-signal-over-writer/Makefile [deleted file]
formal-model/urcu/result-signal-over-writer/asserts.log [deleted file]
formal-model/urcu/result-signal-over-writer/asserts.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/asserts.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/DEFINES [deleted file]
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/Makefile [deleted file]
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/asserts.log [deleted file]
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/asserts.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/asserts.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/result-signal-over-writer/references.txt [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/.input.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/.input.spin [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/DEFINES [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/Makefile [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/asserts.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/asserts.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/asserts.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/references.txt [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu.sh [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu.spin [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu.spin.bkp2 [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu.spin.bkp5 [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.ltl [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_nested.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress.ltl [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.define [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.log [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu.sh [deleted file]
formal-model/urcu/result-signal-over-writer/urcu.spin [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free.ltl [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress.ltl [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.define [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.log [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu/result-signal-over-writer/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/DEFINES [deleted file]
formal-model/urcu/result-standard-execution-nest/Makefile [deleted file]
formal-model/urcu/result-standard-execution-nest/asserts.log [deleted file]
formal-model/urcu/result-standard-execution-nest/asserts.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/asserts.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu.sh [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu.spin [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free.ltl [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress.ltl [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.define [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.log [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/DEFINES [deleted file]
formal-model/urcu/result-standard-execution-nonest/Makefile [deleted file]
formal-model/urcu/result-standard-execution-nonest/asserts.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/asserts.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/asserts.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/references.txt [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu.sh [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu.spin [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free.ltl [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_nested.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_mb.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_rmb.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_no_wmb.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_free_single_flip.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress.ltl [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_reader.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer.spin.input.trail [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.define [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.log [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input [deleted file]
formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail [deleted file]
formal-model/urcu/urcu.sh [deleted file]
formal-model/urcu/urcu.spin [deleted file]
formal-model/urcu/urcu_free.ltl [deleted file]
formal-model/urcu/urcu_free_no_mb.define [deleted file]
formal-model/urcu/urcu_free_no_rmb.define [deleted file]
formal-model/urcu/urcu_free_no_wmb.define [deleted file]
formal-model/urcu/urcu_free_single_flip.define [deleted file]
formal-model/urcu/urcu_progress.ltl [deleted file]
formal-model/urcu/urcu_progress_reader.define [deleted file]
formal-model/urcu/urcu_progress_writer.define [deleted file]
formal-model/urcu/urcu_progress_writer_error.define [deleted file]
This page took 0.151644 seconds and 4 git commands to generate.