Ilya Shchepetkov
- Login: noxyre
- Email: shchepetkov@ispras.ru, ilya.shchepetkov@gmail.com
- Registered on: 07/11/2012
- Last connection: 02/29/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 48 | 48 |
| 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
10/05/2023
- 01:47 PM Clade Revision b06da1c4: Bump version to v4.1
- 01:27 PM Clade Revision 561f17d6: Fix a typo
- 01:27 PM Clade Revision 12234880: Use Alternatives in CmdGraph
- 01:27 PM Clade Revision f9dbf6e6: Update clade-file-graph script
10/03/2023
- 06:54 PM Clade Revision c5599925: Update example link
- 01:46 PM Clade Revision 1f2726c0: Add more supported by CIF options
10/02/2023
- 08:15 PM Clade Revision 5efa9de4: Update readme
- 08:07 PM Clade Revision e2c8bfba: Support Python 3.12
- 07:37 PM Clade Revision 0ec3bc26: Update docs
- 05:50 PM Clade Revision deb6c6e4: Test Clade on Linux kernel
Also available in: Atom