projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b0de96) | patch
Verification run #1, ipi and no-ipi results
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 30 May 2009 22:31:09 +0000 (18:31 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 30 May 2009 22:31:09 +0000 (18:31 -0400)
commitdbf6928575dc30b5d8602b9a50ca385670f26ff1
tree765b17eb5a428372b333ade856eb7eaf82a20a64tree | snapshot
parent6b0de96380f9abdb7a77b79d3b2d0cf5762f266fcommit | diff
Verification run #1, ipi and no-ipi results

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
129 files changed:
formal-model/results/urcu-controldataflow-ipi/.input.spin [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/DEFINES [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/Makefile [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/asserts.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/asserts.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/references.txt [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu.sh [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu.spin [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu.spin.bkp.b4ptr [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free.ltl [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_nested.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_free_single_flip.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress.ltl [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_reader.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-ipi/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/.input.spin [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/DEFINES [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/Makefile [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/asserts.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/asserts.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/references.txt [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/DEFINES [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/Makefile [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/references.txt [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/DEFINES [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/Makefile [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/asserts.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/asserts.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/result-ipi-urcu_free/references.txt [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu.sh [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu.spin [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu.spin.bkp.b4ptr [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.ltl [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_nested.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_mb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_single_flip.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress.ltl [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/todo.sh [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu.sh [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu.spin [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu.spin.bkp.b4ptr [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free.ltl [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_nested.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_mb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_free_single_flip.spin.input.trail [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress.ltl [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_reader.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_reader.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_reader.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.define [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.log [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.spin.input [new file with mode: 0644] blob
formal-model/results/urcu-controldataflow-no-ipi/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644] blob
Userspace RCU (urcu) for Linux
This page took 0.030321 seconds and 4 git commands to generate.