Ilja Zakharov
- Login: ilja.zakharov
- Email: ilja.zakharov@ispras.ru
- Registered on: 09/27/2011
- Last connection: 10/25/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 119 | 330 | 449 |
| Reported issues | 64 | 271 | 335 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Deductive Verification Tools for Linux Kernel | Developer | 05/01/2020 |
| C Instrumentation Framework | Developer RO | 06/05/2012 |
| Aspectator | Developer, Developer RO | 02/27/2018 |
| Clade | Developer | 02/22/2018 |
| Kartographer | Reporter | 11/19/2015 |
| Klever | Developer RO | 09/04/2015 |
| Linux Driver Verification | Developer | 09/27/2011 |
| LDV Tools | Developer | 03/17/2018 |
| CPAchecker | Developer | 07/28/2018 |
| CVC3 with small optimizations for BLAST | Developer | 07/25/2018 |
| Linux Kernel Safety RuleDB | Developer | 12/29/2012 |
Activity
10/25/2021
10/20/2021
-
05:52 PM Klever Revision 319dd60c: Fix the problem with OOM error with rescheduling
-
-
10/12/2021
-
-
-
-
-
- Implemented in emg-decomposition-failures.
-
Also available in: Atom