projects
/
deliverable
/
userspace-rcu.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
Add multicoreverif paper ticketlock and spinlock models
-rw-r--r--
198
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
1232
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
21
Makefile
blob
|
blame
|
history
|
raw
-rw-r--r--
658
Makefile.build.inc
blob
|
blame
|
history
|
raw
-rw-r--r--
1603
Makefile.inc
blob
|
blame
|
history
|
raw
-rw-r--r--
75
Makefile32
blob
|
blame
|
history
|
raw
-rw-r--r--
75
Makefile64
blob
|
blame
|
history
|
raw
-rw-r--r--
3776
README
blob
|
blame
|
history
|
raw
-rw-r--r--
5941
arch_atomic_ppc.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2815
arch_atomic_s390.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8061
arch_atomic_x86.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2866
arch_ppc.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2473
arch_s390.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3485
arch_x86.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1755
compiler.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
formal-model
tree
|
history
-rw-r--r--
17987
gpl-2.0.txt
blob
|
blame
|
history
|
raw
-rw-r--r--
26434
lgpl-2.1.txt
blob
|
blame
|
history
|
raw
-rw-r--r--
1083
lgpl-relicensing.txt
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
4069
urcu-defer-static.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11523
urcu-defer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1744
urcu-defer.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8098
urcu-qsbr-static.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9000
urcu-qsbr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3630
urcu-qsbr.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9469
urcu-static.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12920
urcu.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2831
urcu.h
blob
|
blame
|
history
|
raw
This page took
0.024476 seconds
and
4
git commands to generate.