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