Ilja Zakharov - Open-Source Projects

Ilja Zakharov

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

Issues

Assigned issues: 99
Reported issues: 310

Projects

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

Activity

03/25/2020

02:27 PM Klever Revision cfb24b91: Merge branch 'master' into fix_10159: Ilja Zakharov
02:26 PM Klever Revision 83002f4a: Merge branch 'master' into bridge-fixes: Ilja Zakharov
02:23 PM Klever Bug #10163 (Closed): Bridge does not show total coverage: The problem was caused by an incorrect version of celery package. Ilja Zakharov
02:22 PM Klever Bug #10160 (Resolved): Bridge does not apply some unknown marks: The problem was related to celery package version.
But there were some other fixes implemented in bridge-fixes. Ilja Zakharov
02:20 PM Klever Bug #10159 (Verified): Unclear usage of colours in the reports comparison table: Works fine. Ilja Zakharov

03/24/2020

04:01 PM Klever Revision beea1b2e: Merge branch 'master' into bridge-fixes: Ilja Zakharov
01:12 PM Klever Revision 9da5c18a: Remove unused marks, update regression description: Ilja Zakharov

03/23/2020

08:24 PM Klever Revision c3775924: Mark several commits that can be simply built: Ilja Zakharov
06:15 PM Klever Revision 6693f099: Refactoring of EMG preset marks: - Remove marks for different versions
- Add RTC missing mark
- Fix regression presets Ilja Zakharov
05:24 PM Klever Revision 3216a499: Fix RTC specification for new kernels: Ilja Zakharov

Also available in: Atom