Ilya Shchepetkov
- Login: noxyre
- Email: shchepetkov@ispras.ru, ilya.shchepetkov@gmail.com
- Registered on: 07/11/2012
- Last connection: 05/27/2022
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 4 | 47 | 51 |
Reported issues | 6 | 38 | 44 |
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
03/31/2022
- 10:02 PM Clade Revision 91097900: Fixes #141 by checking write access to work_dir
- 09:24 PM Clade Revision 9943624a: SrcGraph is not required by Variables
- 09:24 PM Clade Revision 0cc37f4c: Remove accidentally added file
02/27/2022
- 10:52 AM Clade Revision 7970534d: Change version to v3.4.11
- 10:49 AM Clade Revision 20ef576f: Revert "-MD option also requires value"
- This reverts commit 62c4198aece66b47b950b759c508cfddcbb31671.
02/14/2022
- 01:43 PM Clade Revision 0be22312: Change version to v3.4.10
- 01:17 PM Clade Revision 4d5ebbd7: Change version to v3.4.10
- 01:10 PM Clade Revision 5ed88833: Disable Windows tests, they are not working with latest pip
- Reason: usage of exec(compile('''''')) with multiline arguments
- 12:38 PM Clade Revision 3fabe881: Use CIF 1.0 in CI
- 12:35 PM Clade Revision dcf3c3dd: Fix failing test
Also available in: Atom