index
:
linux
WIP-syscall
master
mmu_gather-race-fix
n900-dt
n900-dt-with-ssi
n900-dts-twl5030
n900-modem-rework
n900-omapdrm
next
proc-cmdline
sc18is600
ssi
ssi-cleaned
ssi-cleaned-dt
ssi-cleaned-dt2
ssi-cleaned-dt3
tty-splice
twl4030-madc-cleanup
Linux Kernel (branches are rebased on master from time to time)
Linus Torvalds
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
kernel
/
trace
/
rv
Age
Commit message (
Expand
)
Author
Files
Lines
2022-12-20
rv/monitors: Move monitor structure in rodata
Alessandro Carminati
2
-2
/
+2
2022-09-26
rv/monitor: Add __init/__exit annotations to module init/exit funcs
Xiu Jianfeng
2
-4
/
+4
2022-09-26
rv/monitors: add 'static' qualifier for local symbols
Zeng Heng
2
-4
/
+4
2022-09-06
rv/reactor: add __init/__exit annotations to module init/exit funcs
Xiu Jianfeng
2
-4
/
+4
2022-09-06
rv/monitors: Make monitor's automata definition static
Daniel Bristot de Oliveira
2
-2
/
+2
2022-08-04
rv: Unlock on error path in rv_unregister_reactor()
Dan Carpenter
1
-2
/
+4
2022-07-30
rv/reactor: Add the panic reactor
Daniel Bristot de Oliveira
3
-0
/
+52
2022-07-30
rv/reactor: Add the printk reactor
Daniel Bristot de Oliveira
3
-1
/
+52
2022-07-30
rv/monitor: Add the wwnr monitor
Daniel Bristot de Oliveira
4
-0
/
+146
2022-07-30
rv/monitor: Add the wip monitor
Daniel Bristot de Oliveira
3
-36
/
+29
2022-07-30
rv/monitor: Add the wip monitor skeleton created by dot2k
Daniel Bristot de Oliveira
2
-0
/
+155
2022-07-30
Documentation/rv: Add a basic documentation
Daniel Bristot de Oliveira
2
-0
/
+6
2022-07-30
rv/include: Add deterministic automata monitor definition via C macros
Daniel Bristot de Oliveira
2
-0
/
+16
2022-07-30
rv: Add runtime reactors interface
Daniel Bristot de Oliveira
5
-0
/
+564
2022-07-30
rv: Add Runtime Verification (RV) interface
Daniel Bristot de Oliveira
4
-0
/
+830