projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06e8b2a) | patch
Add verif results
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 18 Jun 2009 20:59:35 +0000 (16:59 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 18 Jun 2009 20:59:35 +0000 (16:59 -0400)
commitb6b17880a1a83b679d968907e2ff6cf72dd645fb
tree2d98cd31d78a6df18edf095c36aa73e02230b1b2tree | snapshot
parent06e8b2a87f862183a26e0005bf04221633f49d0ccommit | diff
Add verif results

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