Ilja Zakharov - Open-Source Projects

Ilja Zakharov

Email: ilja.zakharov@ispras.ru
Registered on: 09/27/2011
Last connection: 07/10/2020

Issues

Assigned issues: 99
Reported issues: 315

Projects

CPAchecker (Developer, 07/28/2018)
Linux Driver Verification (Developer, 09/27/2011)
Linux Kernel Safety RuleDB (Developer, 12/29/2012)
Deductive Verification Tools for Linux Kernel (Developer, 05/01/2020)
CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
Klever (Developer RO, 09/04/2015)
Kartographer (Reporter, 11/19/2015)
LDV Tools (Developer, 03/17/2018)
C Instrumentation Framework (Developer, 06/05/2012)
Clade (Developer, 02/22/2018)
Aspectator (Developer, 02/27/2018)

Activity

07/10/2020

07:46 PM Klever Revision 816820ed: Fix an important bug that allowed to match heuristically interfaces twice: Ilja Zakharov
07:45 PM Klever Revision 1a97e9bc: Add support of a device table to pli specification: Ilja Zakharov
06:32 PM Klever Revision 88cfacb8: Increase code readability: Ilja Zakharov
11:57 AM Klever Bug #10426 (New): Bridge prints tags as a plain list instead of a tree: All tags form a tree and a user expects to see them in the such way at a job solution page. Recently this function ha... Ilja Zakharov

07/01/2020

11:38 AM Klever Revision 19b3a4c9: Implement support of an option for a conditional matching: Ilja Zakharov
11:38 AM Klever Revision a5c09776: Add probe_new callback support: Ilja Zakharov
11:38 AM Klever Revision 7ec4084e: Reimplement the filter of unimplemented interfaces: Ilja Zakharov
11:38 AM Klever Revision a1ce9447: Fix the bug with twicely match callbacks: Ilja Zakharov

06/30/2020

05:18 PM Klever Revision de331923: Fix the bug with twicely match callbacks: Ilja Zakharov
05:18 PM Klever Revision b6040c39: Reimplement the filter of unimplemented interfaces: Ilja Zakharov

Also available in: Atom