Ilya Shchepetkov

Linux Driver Verification (Developer, 07/11/2012)
Linux Kernel Safety RuleDB (Developer, 07/11/2012)
C Instrumentation Framework (Developer RO, 12/29/2012)
Klever (Developer RO, 09/04/2015)
Kartographer (Manager, Developer, 11/18/2015)
MicroTESK for PowerPC (Developer, 10/21/2016)
BLAST (Reporter, 08/20/2012)
Clade (Manager, Developer, Project Creator, 02/22/2018)
Aspectator (Developer, Developer RO, 02/27/2018)
LDV Tools (Developer, 03/17/2018)
AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
CPAchecker (Developer, 07/28/2018)

03:16 PM Klever Feature #10673 (Resolved): Update Clade to 3.3: Recently there was a major "update to Clade":https://github.com/17451k/clade/releases/tag/v3.3 with a number of chang... Ilya Shchepetkov
02:55 PM Klever Revision 7b0d675c: Update Clade to 3.3.1: Ilya Shchepetkov

08:02 PM Clade Revision 668d4a42: Mark readme as markdown for PyPI: Ilya Shchepetkov
07:34 PM Clade Revision a3abae82: Merge branch 'next': Ilya Shchepetkov
07:33 PM Clade Revision aa23b182: Slightly update docs: Ilya Shchepetkov
04:51 PM Clade Revision 05fb8574: Change line endings from CRLF to LF: Ilya Shchepetkov
04:50 PM Clade Revision a9387620: Fix hangs due to vctip.exe: Ilya Shchepetkov

07:51 PM Clade Revision a46aeda9: Attempt to correctly use 'not' operator: Ilya Shchepetkov
07:48 PM Clade Revision b0e8d6fc: Merge back test_windows to test: Ilya Shchepetkov
07:46 PM Clade Revision 4fe8c2b6: Update version of used Action: Ilya Shchepetkov

Also available in: Atom

Open-Source Projects