Ilja Zakharov

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

04:50 PM Klever Revision 00827a64: Fix a bit work with task in scheduler: Ilja Zakharov
04:50 PM Klever Revision 238511c4: Repair tasks submitting and their status updating in Klever Core: Ilja Zakharov
12:44 PM Klever Revision 946727e1: Merge branch 'bridge-3.0' into scheduler-klever-3: Ilja Zakharov

07:32 PM Klever Revision 77fd387c: Merge branch 'bridge-3.0' into scheduler-klever-3: Ilja Zakharov
07:31 PM Klever Revision dc09522b: Use 'patch' report type: Ilja Zakharov
01:39 PM Klever Revision c47e795f: Merge branch 'bridge-3.0' into scheduler-klever-3: Ilja Zakharov
12:28 PM Klever Revision 546ba92e: Fix the branch after invalid merge: Ilja Zakharov
12:11 PM Klever Revision 145014cf: Merge branch 'bridge-3.0' into scheduler-klever-3: Ilja Zakharov

11:57 AM Klever Feature #9714 (New): Update preset jobs for production use: There are at least two presets which are not populated in production mode: subsystems and BusyBox. There is also Zeph... Ilja Zakharov

Also available in: Atom

Open-Source Projects