projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f24274b) | patch
Add Intel ipi urcu model run results
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 3 Jun 2009 14:15:45 +0000 (10:15 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 3 Jun 2009 14:15:45 +0000 (10:15 -0400)
commitf2b3a82d7569463cc9b28bdd0943f06984197b6a
tree56950fb3d1bf4875d6fe0380cbb444eb1f02723btree | snapshot
parentf24274b95c646682a448694eb0c759311cb7a5afcommit | diff
Add Intel ipi urcu model run results

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