Evgeny Novikov
- Login: joker
- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 09/18/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 176 | 535 | 711 |
| Reported issues | 378 | 1058 | 1436 |
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
10/25/2021
-
11:29 AM Klever Feature #10990 (New): Describe configuration of verification tools
- Ilja has developed an approach for configuration of verification tools a long ago, but he did not describe it. We nee...
10/22/2021
-
- All tests passed and demonstrated that the issue has gone, so, I merged the branch to master in commit:6fb78ab26.
10/21/2021
-
- Ilja fixed the issue in branch _out-of-mem-problem_ that undergoes testing at the moment.
-
10/20/2021
-
- The most noticeable work in Klever version:3.3 is a new section "Development of Environment Model Specifications":htt...
-
-
10/19/2021
-
10/18/2021
-
- Yet another example that demonstrates that even trivial test cases are
better than nothing.
10/13/2021
-
- This reverts commit a36b282867b37165e53db4b04b9e9df08c3dbe4e.
Also available in: Atom