Toggle navigation
Patchwork
Linux-Trace Development
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Daniel Bristot de Oliveira
| Archived =
No
| 429 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Mainlined
Queued
Needs ACK
Handled Elsewhere
In Next
Search
Archived
No
Yes
Both
Delegate
------
Nobody
holtmann
holtmann
holtmann
agk
mchehab
mchehab
gregkh
gregkh
mtosatti
lethal
lethal
avi
cvaroqui
jbrassow
mikulas
dtor
bmarzins
tmlind
jmberg
jmberg
mcgrof
mcgrof
mcgrof
lenb
lenb
kyle
felipebalbi
varenet
helge
helge
khilman
khilman
khilman
khilman
jwoithe
mlin
Zhang Rui
Zhang Rui
iksaif
cjackiewicz
hmh
jbarnes
jbarnes
jbarnes
willy
snitzer
iwamatsu
dougsland
mjg59
rafael
rafael
rafael
ericvh@gmail.com
ykzhao
venkip
sandeen
pwsan
lucho@ionkov.net
rminnich
anholt
aystarik
roland
shefty
mason
glikely
krh
djbw
djbw
djbw
cmarinas
doyu
jrn
sage
tomba
mmarek
cjb
trondmy
jikos
bcousson
jic23
olof
olof
olof
nsekhar
weiny2
horms
horms
bwidawsk
bwidawsk
shemminger
eulfhan
josef
josef
josef
dianders
jpan9
hal
kdave
bleung
evalenti
jlbec
wsa
bhelgaas
vkoul
vkoul
szlin
davejiang
markgross
tagr
tiwai
vireshk
mmind
dledford
geert
geert
herbert
herbert
kvalo
kvalo
kvalo
bentiss
arend
rzwisler
stellarhopper
stellarhopper
jejb
matthias_bgg
dvhart
axboe
axboe
pcmoore
pcmoore
pcmoore
mkp
mkp
stefan_schmidt
leon
lucvoo
jsakkine
jsakkine
jsakkine
bamse
bamse
demarchi
krzk
groeck
groeck
sboyd
sboyd
mturquette
mturquette
0andriy
carlocaione
luca
dgc
kbingham
derosier
narmstrong
narmstrong
atull
tytso
tytso
djwong
bvanassche
omos
jpirko
jpirko
GustavoARSilva
pkshih
patersonc
brauner
shuahkh
shuahkh
shuahkh
palmer
palmer
jgg
Kishon
idosch
labbott
jsimmons
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
broonie
broonie
broonie
mricon
mricon
mricon
kees
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
arnd
linusw
perfinion
bbrezillon
bachradsusi
rostedt
rostedt
kholk
nbd
ebiggers
ebiggers
pavelm
sds
m0reeze
ganis
jwcart2
matttbe
andmur01
lorpie01
chanwoochoi
dlezcano
jhedberg
vudentz
robertfoss
bgix
tedd_an
tsbogend
wens
wcrobert
robher
kstewart
kwilczynski
hansg
bpf
netdev
dsa
ethtool
netdrv
martineau
abelloni
trix
pabeni
mani_sadhasivam
mlimonci
liusong6
mjp
tohojo
pmalani
prestwoj
prestwoj
dhowells
tzungbi
conchuod
paulmck
jes
mtkaczyk
colyli
cem
pateldipen1984
iweiny
iweiny
bjorn
mhiramat
JanKiszka
jaegeuk
mraynal
aring
konradybcio
ij
Hailan
jstitt007
denkenz
denkenz
mkorenbl
jjohnson
frank_li
geliang
mdraidci
mdraidci
peluse
joelgranados
Apply
«
1
2
3
4
…
4
5
»
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[3/3] rtla/timerlat_aa: Fix previous IRQ delay for IRQs that happens after thread sample
rtla fixes for 6.5
- - -
-
-
-
2023-08-04
Daniel Bristot de Oliveira
Handled Elsewhere
[2/3] rtla/timerlat_aa: Fix negative IRQ delay
rtla fixes for 6.5
- - -
-
-
-
2023-08-04
Daniel Bristot de Oliveira
Handled Elsewhere
[1/3] rtla/timerlat_aa: Zero thread sum after every sample analysis
rtla fixes for 6.5
- - -
-
-
-
2023-08-04
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,9/9] rtla: Add timerlat user-space support for timerlat top
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,8/9] rtla/hwnoise: Reduce runtime to 75%
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,7/9] rtla: Start the tracers after creating all instances
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,6/9] rtla/timerlat_hist: Add auto-analysis support
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,5/9] rtla/timerlat: Give timerlat auto analysis its own instance
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,4/9] rtla: Automatically move rtla to a house-keeping cpu
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,3/9] rtla: Change monitored_cpus from char * to cpu_set_t
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,2/9] rtla: Add --house-keeping option
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[V2,1/9] rtla: Add -C cgroup support
rtla improvements
- - -
-
-
-
2023-05-23
Daniel Bristot de Oliveira
Handled Elsewhere
[8/8] rtla/hwnoise: Reduce runtime to 75%
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[7/8] rtla: Start the tracers after creating all instances
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[6/8] rtla/timerlat_hist: Add auto-analysis support
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[5/8] rtla/timerlat: Give timerlat auto-analysis its own instance
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[4/8] rtla: Automatically move rtla to a house-keeping cpu
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[3/8] rtla: Change monitored_cpus from char * to cpu_set_t
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[2/8] rtla: Add --house-keeping option
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
[1/8] rtla: Add -C cgroup support
rtla improvements
- - -
-
-
-
2023-05-11
Daniel Bristot de Oliveira
Handled Elsewhere
rtla/timerlat: Add auto-analysis only option
rtla/timerlat: Add auto-analysis only option
- - -
-
-
-
2023-03-29
Daniel Bristot de Oliveira
Accepted
rtla/timerlat: Fix "Previous IRQ" auto analysis' line
rtla/timerlat: Fix "Previous IRQ" auto analysis' line
- - -
-
-
-
2023-03-24
Daniel Bristot de Oliveira
Accepted
[V3,2/2] Documentation/rtla: Add hwnoise man page
rtla: Add hwnoise tool
- 1 -
-
-
-
2023-02-07
Daniel Bristot de Oliveira
Accepted
[V3,1/2] rtla: Add hwnoise tool
rtla: Add hwnoise tool
- - -
-
-
-
2023-02-07
Daniel Bristot de Oliveira
Accepted
[V2,6/6] Documentation/rtla: Add hwnoise man page
rtla: Add hwnoise tool
- 1 -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Superseded
[V2,5/6] rtla: Add hwnoise tool
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Superseded
[V2,4/6] rtla/osnoise_top: Pass the params to the usage function
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Superseded
[V2,3/6] rtla/osnoise: Add the mode abstraction
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Superseded
[V2,2/6] rtla/osnoise: Add OSNOISE_IRQ_DISABLE option
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Superseded
[V2,1/6] rtla/osnoise: Add helper functions to manipulate osnoise/options
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Superseded
[3/3] Documentation/rtla: Add timerlat-top auto-analysis options
rtla: Timerlat auto-analysis
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Accepted
[2/3] rtla/timerlat: Add auto-analysis support to timerlat top
rtla: Timerlat auto-analysis
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Accepted
[1/3] rtla/timerlat: Add auto-analysis core
rtla: Timerlat auto-analysis
- - -
-
-
-
2023-01-31
Daniel Bristot de Oliveira
Accepted
[6/6] Documentation/rtla: Add hwnoise man page
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-10
Daniel Bristot de Oliveira
Changes Requested
[5/6] rtla: Add hwnoise tool
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-10
Daniel Bristot de Oliveira
Changes Requested
[4/6] rtla/osnoise_top: Pass the params to the usage function
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-10
Daniel Bristot de Oliveira
Changes Requested
[3/6] rtla/osnoise: Add the mode abstraction
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-10
Daniel Bristot de Oliveira
Changes Requested
[2/6] rtla/osnoise: Add OSNOISE_IRQ_DISABLE option
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-10
Daniel Bristot de Oliveira
Changes Requested
[1/6] rtla/osnoise: Add helper functions to manipulate osnoise/options
rtla: Add hwnoise tool
- - -
-
-
-
2023-01-10
Daniel Bristot de Oliveira
Changes Requested
[V2,3/3] Documentation/rv: Add verification/rv man pages
verification/rv: Add rv tool
- - -
-
-
-
2022-11-11
Daniel Bristot de Oliveira
Accepted
[V2,2/3] tools/rv: Add in-kernel monitor interface
verification/rv: Add rv tool
- - -
-
-
-
2022-11-11
Daniel Bristot de Oliveira
Accepted
[V2,1/3] rv: Add rv tool
verification/rv: Add rv tool
- - -
-
-
-
2022-11-11
Daniel Bristot de Oliveira
Accepted
[3/3] Documentation/rv: Add verification/rv man pages
verification/rv: Add rv tool
- - -
-
-
-
2022-10-26
Daniel Bristot de Oliveira
Superseded
[2/3] tools/rv: Add in-kernel monitor interface
verification/rv: Add rv tool
- - -
-
-
-
2022-10-26
Daniel Bristot de Oliveira
Superseded
[1/3] rv: Add rv tool
verification/rv: Add rv tool
- - -
-
-
-
2022-10-26
Daniel Bristot de Oliveira
Superseded
MAINTAINERS: Add Runtime Verification (RV) entry
MAINTAINERS: Add Runtime Verification (RV) entry
- - -
-
-
-
2022-08-23
Daniel Bristot de Oliveira
Accepted
[2/2] rv/monitors: Make monitor's automata definition static
[1/2] rv/dot2c: Make automaton definition static
- - -
-
-
-
2022-08-23
Daniel Bristot de Oliveira
Accepted
[1/2] rv/dot2c: Make automaton definition static
[1/2] rv/dot2c: Make automaton definition static
- - -
-
-
-
2022-08-23
Daniel Bristot de Oliveira
Accepted
[V9,16/16] rv/reactor: Add the panic reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,15/16] rv/reactor: Add the printk reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,14/16] rv/monitor: Add the wwnr monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,13/16] rv/monitor: Add the wip monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,11/16] Documentation/rv: Add deterministic automata instrumentation documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,09/16] tools/rv: Add dot2k
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,08/16] Documentation/rv: Add deterministic automaton documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,07/16] tools/rv: Add dot2c
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,06/16] Documentation/rv: Add a basic documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,05/16] rv/include: Add instrumentation helper functions
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,04/16] rv/include: Add deterministic automata monitor definition via C macros
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,03/16] rv/include: Add helper functions for deterministic automata
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,02/16] rv: Add runtime reactors interface
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V9,01/16] rv: Add Runtime Verification (RV) interface
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-29
Daniel Bristot de Oliveira
Accepted
[V8,16/16] rv/reactor: Add the panic reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,15/16] rv/reactor: Add the printk reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,14/16] rv/monitor: Add the wwnr monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,13/16] rv/monitor: Add the wip monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,11/16] Documentation/rv: Add deterministic automata instrumentation documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,09/16] tools/rv: Add dot2k
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,08/16] Documentation/rv: Add deterministic automaton documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,07/16] tools/rv: Add dot2c
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,06/16] Documentation/rv: Add a basic documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,05/16] rv/include: Add instrumentation helper functions
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,04/16] rv/include: Add deterministic automata monitor definition via C macros
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,03/16] rv/include: Add helper functions for deterministic automata
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,02/16] rv: Add runtime reactors interface
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V8,01/16] rv: Add Runtime Verification (RV) interface
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-27
Daniel Bristot de Oliveira
Superseded
[V7,16/16] rv/reactor: Add the panic reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,15/16] rv/reactor: Add the printk reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,14/16] rv/monitor: Add the wwnr monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,13/16] rv/monitor: Add the wip monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,12/16] rv/monitor: Add the wip monitor skeleton created by dot2k
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,11/16] Documentation/rv: Add deterministic automata instrumentation documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,10/16] Documentation/rv: Add deterministic automata monitor synthesis documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,09/16] tools/rv: Add dot2k
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,08/16] Documentation/rv: Add deterministic automaton documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,07/16] tools/rv: Add dot2c
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,06/16] Documentation/rv: Add a basic documentation
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,05/16] rv/include: Add instrumentation helper functions
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,04/16] rv/include: Add deterministic automata monitor definition via C macros
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,03/16] rv/include: Add helper functions for deterministic automata
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,02/16] rv: Add runtime reactors interface
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V7,01/16] rv: Add Runtime Verification (RV) interface
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-25
Daniel Bristot de Oliveira
Superseded
[V6,16/16] rv/reactor: Add the panic reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-19
Daniel Bristot de Oliveira
Superseded
[V6,15/16] rv/reactor: Add the printk reactor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-19
Daniel Bristot de Oliveira
Superseded
[V6,14/16] rv/monitor: Add the wwnr monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-19
Daniel Bristot de Oliveira
Superseded
[V6,13/16] rv/monitor: Add the wip monitor
The Runtime Verification (RV) interface
- - -
-
-
-
2022-07-19
Daniel Bristot de Oliveira
Superseded
«
1
2
3
4
…
4
5
»