Ilya Shchepetkov


open closed Total
Assigned issues 16 37 53
Reported issues 9 33 42


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



02:22 PM Klever Feature #10785 (Resolved): Allow to keep addons during uninstall
Implemented in the *feature-10785* branch: I have added a new @reinstall@ deployment action, which can be described a... Ilya Shchepetkov
02:04 PM Klever Revision 8b376c41: Simplify deployment logging
Ilya Shchepetkov


03:05 PM Klever Revision ec3d8874: Add reinstall action to local deployment
Ilya Shchepetkov


12:19 PM Klever Feature #10673 (Resolved): Update Clade to 3.4
Should be resolved by Clade 3.4. @update-clade@ branch contains required changes. Ilya Shchepetkov
01:53 AM Klever Revision ef5078d9: Update Clade version to 3.4
Ilya Shchepetkov
01:44 AM Klever Revision 69704dd6: Revert "Fix extreme slowdown caused by Clade 3.3"
This reverts commit aea7ce236ec9901e8fdcdd1dfe077d163d34150d.
This commit is no longer needed for Clade 3.4
Ilya Shchepetkov


03:11 PM Klever Feature #10659 (Resolved): Show Klever version in Bridge
Switched back to @pkg_resources@, with slight modifications. Now version is displayed correctly for editable and non-... Ilya Shchepetkov
03:02 PM Klever Revision 6e80c673: Store Klever version in _pre_install_or_update()
Ilya Shchepetkov
02:19 PM Klever Revision f6da1a83: Use pkg_resources (again) to report Klever version
Ilya Shchepetkov
02:03 PM Klever Revision b5eace9c: Merge branch 'master' into feature-10659
Ilya Shchepetkov

Also available in: Atom