-rw-r--r-- | 123 | .gitignore | blob | blame | history | raw |
-rw-r--r-- | 1277 | Makefile | blob | blame | history | raw |
-rw-r--r-- | 39232 | api.h | blob | blame | history | raw |
-rw-r--r-- | 3681 | debug_yield.patch | blob | blame | history | raw |
drwxr-xr-x | - | formal-model | tree | history |
-rw-r--r-- | 10422 | rcutorture.h | blob | blame | history | raw |
-rw-r--r-- | 3358 | test_rwlock_timing.c | blob | blame | history | raw |
-rw-r--r-- | 5726 | test_urcu.c | blob | blame | history | raw |
-rw-r--r-- | 4085 | test_urcu_timing.c | blob | blame | history | raw |
-rw-r--r-- | 240 | urcu-asm.c | blob | blame | history | raw |
-rw-r--r-- | 7927 | urcu.c | blob | blame | history | raw |
-rw-r--r-- | 10245 | urcu.h | blob | blame | history | raw |
-rw-r--r-- | 159 | urcutorture.c | blob | blame | history | raw |