Ilya Shchepetkov

Linux Driver Verification (Developer, 07/11/2012)
Linux Kernel Safety RuleDB (Developer, 07/11/2012)
C Instrumentation Framework (Developer, 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, 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)

12:14 PM Klever Feature #10517: Use Command-S to save file in the online editor on macOS: Works as expected - thanks! Ilya Shchepetkov

04:50 PM Klever Feature #10517 (Closed): Use Command-S to save file in the online editor on macOS: On macOS, Command key is often used instead of Control key: Command-S to save file (instead of Control-S), Command-F ... Ilya Shchepetkov
04:17 PM Klever Feature #10516 (Resolved): Filter CC options passed to CIF using Clade: The feature is implemented in the filter-cif-opts branch and is currently being tested on a full-scale linux 5.5 launch. Ilya Shchepetkov
04:15 PM Klever Feature #10516 (Closed): Filter CC options passed to CIF using Clade: Currently Klever filters options of CC commands before they are passed further to CIF. It employs the "black list" me... Ilya Shchepetkov
03:21 PM Klever Revision bb66e16f: Escape quotes in filtered opts: Ilya Shchepetkov

03:58 PM Klever Revision 97748ffc: Filter options for CIF using Clade: Ilya Shchepetkov

12:50 PM Klever Revision 4c9d1d12: Remove empty directories: Ilya Shchepetkov

09:42 PM Klever Revision df617dfc: Dump the deploy info only if build base was found: Ilya Shchepetkov
09:34 PM Klever Feature #9356 (Resolved): Do not deploy the same build bases: I have added the following changes to the same deploy-build-bases branch:
* Now data transferred by rsync is compr... Ilya Shchepetkov
09:20 PM Klever Revision 4e0444e5: Add ability to specify versions of Build Bases: But by default the version is calculated automatically,
so this ability is optional Ilya Shchepetkov

Also available in: Atom

Open-Source Projects