Add nosched model results (for signal readers)
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 18 Jun 2009 20:26:17 +0000 (16:26 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 18 Jun 2009 20:26:17 +0000 (16:26 -0400)
commit06e8b2a87f862183a26e0005bf04221633f49d0c
tree071ecc59486222b76e8b6b99e60c4de4d93791c2
parent8322221dc666e720badeb06bc780a1f8e69020a0
Add nosched model results (for signal readers)

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
190 files changed:
formal-model/urcu-nosched-model/result-signal-over-reader/DEFINES [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/Makefile [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/asserts.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/references.txt [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu.sh [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu.spin [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_nested.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_mb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_reader.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-reader/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/DEFINES [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/Makefile [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/asserts.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/references.txt [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/DEFINES [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/Makefile [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/asserts.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/result-signal-over-writer/references.txt [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/.input.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/.input.spin [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/DEFINES [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/Makefile [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/asserts.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/references.txt [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.sh [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin.bkp2 [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu.spin.bkp5 [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_nested.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_mb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_reader.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu.sh [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu.spin [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_nested.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_mb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_reader.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-signal-over-writer/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/DEFINES [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/Makefile [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/asserts.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/references.txt [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu.sh [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu.spin [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_nested.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_mb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_rmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_no_wmb.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_free_single_flip.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress.ltl [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_reader.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input.trail [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.define [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.log [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.spin.input [new file with mode: 0644]
formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail [new file with mode: 0644]
This page took 0.033719 seconds and 4 git commands to generate.