K

Klever

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 19, 2023 — Jan 19, 2024 Showing page 4 of 341 Search / Filter on:
Add some new models and tests for atomic API	Evgeny Novikov	More...				over 2 years ago
Add test case for the kref* API	Evgeny Novikov	More...				over 2 years ago
Merge branch 'master' into update-cpachecker	Evgeny Novikov	More...				over 2 years ago
Add a couple of new tags suitable for Linux 5.19-rc7	Evgeny Novikov	More...				over 2 years ago
Merge branch 'master' into update-cpachecker	Evgeny Novikov	More...				over 2 years ago
Update CPAchecker fixing some regressions on CI tests	Evgeny Novikov	More...				over 2 years ago
Use memory safety for overflow checking function models	Evgeny Novikov	More...				over 2 years ago
Fix expected verification results after changing test cases	Evgeny Novikov	More...				over 2 years ago
Model high-level API for checking overflow rather than the low-level one	Evgeny Novikov	More...				over 2 years ago
Test high-level API for checking overflow rather than the low-level one	Evgeny Novikov	More...				over 2 years ago
Add new preset unknown mark for out of heap memory in CPAchecker	Evgeny Novikov	More...				over 2 years ago
Update CIF	Evgeny Novikov	More...				over 2 years ago
Add a couple of rather popular tags	Evgeny Novikov	More...				over 2 years ago
Update CPAchecker	Evgeny Novikov	More...				over 2 years ago
Specify a reason of "negative" regression	Evgeny Novikov	More...				over 2 years ago
Fix off-by-one error when choosing a device from MODULE_DEVICE_TABLE	Evgeny Novikov	More...				over 2 years ago
Use syntax highlighting for console and Python code	Evgeny Novikov	More...				over 2 years ago
Fix remarks from Pavel Andrianov for the new section in documentation	Evgeny Novikov	More...				over 2 years ago
Add notes regarding support of verification for users' programs	Evgeny Novikov	More...				over 2 years ago
Avoid using "\ " since it is not unbreakable space	Evgeny Novikov	More...				over 2 years ago
Specify language to be used by default	Evgeny Novikov	More...				over 2 years ago
Fix and clarify recently added section	Evgeny Novikov	More...				over 2 years ago
Do not intermix module and kernel exit codes	Evgeny Novikov	More...				over 2 years ago
Add more debug logging	Evgeny Novikov	More...				over 2 years ago
Do not retrieve name from instance, get it from object attribute	Evgeny Novikov	More...				over 2 years ago
Emphasize that deployment should be local	Evgeny Novikov	More...				over 2 years ago
Deploy build base for Simple OS together with Klever	Evgeny Novikov	More...				over 2 years ago
Add simple program sample and describe how to verify it with Klever	Evgeny Novikov	More...				over 2 years ago
Add missed "/" in file paths	Evgeny Novikov	More...				over 2 years ago
Use the same ldv_initialize() and ldv_check_final_state()	Evgeny Novikov	More...				over 2 years ago

←
1
2
3
4
5
6
7
8
9
…
340
341
→