Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | rv: Add runtime reactors interface | Daniel Bristot de Oliveira | 2022-07-30 | 1 | -0/+35 |
* | rv: Add Runtime Verification (RV) interface | Daniel Bristot de Oliveira | 2022-07-30 | 1 | -0/+33 |
index : linux-stable.git | ||
Linux kernel stable tree | Greg Kroah-Hartman |
summaryrefslogtreecommitdiffstats |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | rv: Add runtime reactors interface | Daniel Bristot de Oliveira | 2022-07-30 | 1 | -0/+35 |
* | rv: Add Runtime Verification (RV) interface | Daniel Bristot de Oliveira | 2022-07-30 | 1 | -0/+33 |