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
03/02/2021
-
05:28 PM Klever Revision 52417a6f: Implement searching matches in registration and deregistration signals of models
02/26/2021
-
09:09 PM Klever Revision 52a09e32: Implement linear strategy that passes tests
-
09:08 PM Klever Revision 548316ed: Move creation of a scenario in a separate method
-
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...
02/24/2021
-
08:05 PM Klever Revision 0bb1cb3d: Implement a first version of linear decomposer without processing subprocesses
-
08:05 PM Klever Revision 1d53d015: Fix typos in tests
-
08:04 PM Klever Revision 54711896: Fix calling strategy
-
08:04 PM Klever Revision 9f12132d: Implement a cloning method for scenarios
-
02:47 PM Klever Revision 8b166bd6: Fix linear prototype
Also available in: Atom