Evgeny Novikov
- Login: joker
- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 03/25/2022
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 170 | 577 | 747 |
Reported issues | 364 | 1114 | 1478 |
Projects
Project | Roles | Registered on |
---|---|---|
Deductive Verification Tools for Linux Kernel | Manager, Developer | 03/18/2019 |
CIL | Manager | 06/06/2018 |
C Instrumentation Framework | Manager, Developer RO, Project Creator | 06/05/2012 |
Aspectator | Manager, Developer, Developer RO, Project Creator | 02/27/2018 |
Clade | Manager, Developer | 02/22/2018 |
Kartographer | Reporter | 11/19/2015 |
Race Hound | Manager, Developer | 11/22/2012 |
Klever | Manager, Developer RO, Project Creator | 09/03/2015 |
Linux Driver Verification | Manager, Developer | 06/09/2010 |
BLAST | Reporter | 09/16/2011 |
LDV Tools | Manager, Developer | 03/17/2018 |
CPAchecker | Manager, Developer | 07/28/2018 |
CVC3 with small optimizations for BLAST | Manager, Developer | 07/25/2018 |
Linux Kernel Safety RuleDB | Manager, Developer | 10/25/2011 |
Activity
05/27/2022
- 03:36 PM Klever Klever 3.5
- We released Klever version:3.5 that has following notorious changes:
* Improving support for verification of Linux... - 02:44 PM Klever Revision f75e3b3b: Bump up Klever version
- 02:41 PM Klever Feature #11601 (Closed): Add new translations and fix existing ones
- Tests passed, so I merged the branch to master in commit:558e9f7f4. That commit will correspond to Klever version:3.5...
- 02:37 PM Klever Revision 558e9f7f: Eventually separate Unknowns (reports) from Uncertanties (verdicts)
05/26/2022
- 07:21 PM Klever Feature #11601 (Resolved): Add new translations and fix existing ones
- I did this task with assistance of Vladimir in branch _fix-translations_. Even though, it should not affect verificat...
- 07:15 PM Klever Revision 494ba97c: Describe how to update translations for Bridge's messages
- 07:15 PM Klever Revision 11da878c: Fix existing translations and add new ones
- https://forge.ispras.ru/issues/11601
- 04:21 PM C Instrumentation Framework Bug #11617 (New): GCC 12 fails to compile cif.c
- Ilya tried to use host GCC 12 to build CIF, but it fails with some issues when compiling "cif.c". Let's investigate a...
05/20/2022
- 10:32 PM Klever Bug #11599 (Closed): Update Clade to avoid hangups
- Everything works great, so I merged the branch to master in commit:fb7d579ab.
- 10:30 PM Klever Revision fb7d579a: Provide more URLs to build bases for the Linux kernel
- Fixed Clade could generate them without any issues.
Also available in: Atom