Add Paul's URCU model
-rw-r--r-- 123 .gitignore
-rw-r--r-- 732 LICENSE
-rw-r--r-- 2116 Makefile
-rw-r--r-- 131 README
-rw-r--r-- 45608 api_ppc.h
-rw-r--r-- 39254 api_x86.h
-rw-r--r-- 4580 arch_ppc.h
-rw-r--r-- 4300 arch_x86.h
-rw-r--r-- 1907 compiler.h
-rw-r--r-- 3681 debug_yield.patch
drwxr-xr-x - formal-model
-rw-r--r-- 17987 gpl-2.0.txt
-rw-r--r-- 26434 lgpl-2.1.txt
-rw-r--r-- 10414 rcutorture.h
-rw-r--r-- 3703 test_rwlock_timing.c
-rw-r--r-- 6758 test_urcu.c
-rw-r--r-- 4448 test_urcu_timing.c
-rw-r--r-- 1121 urcu-asm.c
-rw-r--r-- 7718 urcu-static.h
-rw-r--r-- 10839 urcu.c
-rw-r--r-- 2430 urcu.h
-rw-r--r-- 180 urcutorture.c
This page took 0.027238 seconds and 4 git commands to generate.