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...
-
04/12/2021
-
03/04/2021
-
- Should be resolved by Clade 3.4. @update-clade@ branch contains required changes.
-
-
- This reverts commit aea7ce236ec9901e8fdcdd1dfe077d163d34150d.
This commit is no longer needed for Clade 3.4
03/03/2021
-
- Switched back to @pkg_resources@, with slight modifications. Now version is displayed correctly for editable and non-...
-
-
-
Also available in: Atom