Ilya Shchepetkov

	open	closed	Total
Assigned issues	0	48	48
Reported issues	6	38	44

Project	Roles	Registered on
AstraVer Toolset	Manager, Developer, Project Creator	04/26/2018
Дополнительные материалы к монографии	Manager, Developer, Project Creator	04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности	Manager, Developer, Project Creator	04/26/2018
C Instrumentation Framework	Developer RO	12/29/2012
Aspectator	Developer, Developer RO	02/27/2018
Clade	Manager, Developer, Project Creator	02/22/2018
Kartographer	Manager, Developer	11/18/2015
MicroTESK for PowerPC	Developer	10/21/2016
Klever	Developer RO	09/04/2015
Linux Driver Verification	Developer	07/11/2012
BLAST	Reporter	08/20/2012
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	07/11/2012

10:47 AM C Instrumentation Framework Revision 568cd926: Fix some warnings of clang-tidy: Ilya Shchepetkov

04:33 PM Clade Revision d930f1d0: Bump version to v3.6: Ilya Shchepetkov
04:00 PM Clade Revision 49a1da08: Update to use new CIF version: Warning: it is incompatible with the previous one, since it parses
command line options a bit differently Ilya Shchepetkov
02:05 PM Clade Revision d7132b56: Fix an issue with execvp and execv: Environment was not correctly updated for a child process,
so it contained original unmodified values. Due to this, p... Ilya Shchepetkov

Also available in: Atom

Open-Source Projects