Ilja Zakharov

	open	closed	Total
Assigned issues	108	336	444
Reported issues	62	273	335

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

04:03 PM klever-atomic-context Revision ccefebe0: Fix typos: Ilja Zakharov
03:41 PM klever-atomic-context Revision d40bcd3f: Merge branch 'new-doc' into new-docs: Ilja Zakharov
03:38 PM klever-atomic-context Revision 5decf5ef: Add PFG picture: Ilja Zakharov
02:26 PM Klever Feature #10955 (Resolved): Describe program decomposition: Implemented in new-docs Ilja Zakharov
02:26 PM Klever Feature #10990 (Resolved): Describe configuration of verification tools: Implemented in new-docs Ilja Zakharov
02:25 PM Klever Feature #11015 (Resolved): Describe new abilities in development of environment model specifications: Implemented in new-docs Ilja Zakharov
02:07 PM klever-atomic-context Revision bb4fbff5: Add docs for verification profiles describing: Ilja Zakharov
11:54 AM klever-atomic-context Revision d6374fa8: Describe how to configure the program fragments decomposition: Ilja Zakharov

04:16 PM klever-atomic-context Revision 235ad9b7: Prevent attempts to remove branches twice: Ilja Zakharov
03:33 PM klever-atomic-context Revision fd64dd53: Fix another usage of the undefined entry: Ilja Zakharov

Also available in: Atom

Open-Source Projects