Ilja Zakharov - Open-Source Projects

Ilja Zakharov

Email: ilja.zakharov@ispras.ru
Registered on: 09/27/2011
Last connection: 03/03/2021

Issues

Assigned issues: 105
Reported issues: 322

Projects

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

Activity

Today

12:40 PM Klever Revision b6c6bc3a: Forbid matching several interfaces with labels that are passed as signal parameters: Ilja Zakharov

03/02/2021

05:28 PM Klever Revision 52417a6f: Implement searching matches in registration and deregistration signals of models: Ilja Zakharov

02/26/2021

09:09 PM Klever Revision 52a09e32: Implement linear strategy that passes tests: Ilja Zakharov
09:08 PM Klever Revision 548316ed: Move creation of a scenario in a separate method: Ilja Zakharov
12:29 PM Klever Bug #10708: EMG misses deregistration of pm_ops in remove: I will add more pydoc annotations to the code in the next few days without changing any functional code. So you can b... Ilja Zakharov

02/24/2021

08:05 PM Klever Revision 0bb1cb3d: Implement a first version of linear decomposer without processing subprocesses: Ilja Zakharov
08:05 PM Klever Revision 1d53d015: Fix typos in tests: Ilja Zakharov
08:04 PM Klever Revision 54711896: Fix calling strategy: Ilja Zakharov
08:04 PM Klever Revision 9f12132d: Implement a cloning method for scenarios: Ilja Zakharov
02:47 PM Klever Revision 8b166bd6: Fix linear prototype: Ilja Zakharov

Also available in: Atom