Ilja Zakharov - Open-Source Projects

Ilja Zakharov

Email: ilja.zakharov@ispras.ru
Registered on: 09/27/2011
Last connection: 04/10/2019

Issues

Assigned issues: 126
Reported issues: 291

Projects

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)

Activity

05/06/2019

10:19 AM Klever Revision f38de122: Remove useless parameter: Ilja Zakharov

04/29/2019

06:21 PM Klever Revision cf27eed0: Check both configuration options to detect source paths: Ilja Zakharov

04/24/2019

05:04 PM Klever Revision 618218c6: These options are unnecessary now: Ilja Zakharov
05:02 PM Klever Revision e42d4c19: Merge branch 'emg-external-c-libraries' into zephyr: Ilja Zakharov
05:00 PM Klever Revision 575626f7: Do not overwrite field 'extra C files' in an abstract verification task: Ilja Zakharov

04/18/2019

05:03 PM Klever Revision 59a0cc95: Do not overwrite field 'extra C files' in an abstract verification task: Ilja Zakharov
05:02 PM Klever Revision bfdf6e1c: Support adding extra C files alongside with DSL environment model: Ilja Zakharov

04/11/2019

12:42 PM Clade Revision c0ffc20b: Create parsers in working directory and silence warnings.: Ilja Zakharov

04/05/2019

01:08 PM Klever Revision fbc87791: Support setting regular expressions for files to call functions with several definitions.: Just provide a pair of python regular expressions strings pair instead of a single one.
Moreover, EMG now calls funct... Ilja Zakharov
01:05 PM Klever Revision 42ae53d9: Check the preprocessed files option safely: Ilja Zakharov

Also available in: Atom