Ilya Shchepetkov
- Login: noxyre
- Email: shchepetkov@ispras.ru
- Registered on: 07/11/2012
- Last connection: 03/31/2021
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 16 | 37 | 53 |
Reported issues | 9 | 33 | 42 |
Projects
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 |
Activity
04/13/2021
-
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...
-
02:04 PM Klever Revision 8b376c41: Simplify deployment logging
04/12/2021
-
03:05 PM Klever Revision ec3d8874: Add reinstall action to local deployment
03/04/2021
-
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.
-
01:53 AM Klever Revision ef5078d9: Update Clade version to 3.4
-
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
03/03/2021
-
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-...
-
03:02 PM Klever Revision 6e80c673: Store Klever version in _pre_install_or_update()
-
02:19 PM Klever Revision f6da1a83: Use pkg_resources (again) to report Klever version
-
02:03 PM Klever Revision b5eace9c: Merge branch 'master' into feature-10659
Also available in: Atom