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)

04:21 PM Klever Revision fef75ff4: Update deployment configuration structure: Ilya Shchepetkov
03:34 PM Klever Revision 457cafe3: Require Python >= 3.7: Ilya Shchepetkov
03:34 PM Klever Revision 984002d2: Use requirements.txt file inside setup.py: Ilya Shchepetkov

06:22 PM Klever Revision adb43c83: Add setup.py: Also:
* Move core, scheduler, deploys and utils to klever directory
* Rename klever.utils to klever.cli (command-line... Ilya Shchepetkov

11:44 AM Klever Revision cd56da86: Ignore celerybeat files: Ilya Shchepetkov

07:57 PM Klever Revision b7b4a4c8: Fix working directory in systemd services: Ilya Shchepetkov
07:57 PM Klever Revision 07c93edf: Change Python version for Fedora configuration: Ilya Shchepetkov
07:06 PM Klever python-fedora-3.7.6.tar.xz: Ilya Shchepetkov
06:43 PM Klever Revision a4a3b20f: Merge branch 'master' into improve_deployment: Ilya Shchepetkov
04:37 PM Klever Revision da6bdef9: Remove sleep from klever-cgroup service: Ilya Shchepetkov

Also available in: Atom

Open-Source Projects