Ilya Shchepetkov
Ilya Shchepetkov- Email: shchepetkov@ispras.ru
- Registered on: 07/11/2012
- Last connection: 08/15/2018
Issues
- Assigned issues: 17
- Reported issues: 26
Projects
- CPAchecker (Developer, 07/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- LDV Tools (Developer, 03/17/2018)
- Klever (Developer RO, 09/04/2015)
- Linux Kernel Safety RuleDB (Developer, 07/11/2012)
- C Instrumentation Framework (Developer, 12/29/2012)
- Clade (Manager, Developer, Project Creator, 02/22/2018)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
- BLAST (Reporter, 08/20/2012)
- Linux Driver Verification (Developer, 07/11/2012)
- AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
- Kartographer (Manager, Developer, 11/18/2015)
- Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
- Aspectator (Developer, 02/27/2018)
Activity
08/13/2018
- 03:58 PM C Instrumentation Framework Revision a585ed37: Move comment
- 03:56 PM C Instrumentation Framework Revision 34b4132a: Make cif.c compatible with macOS
08/09/2018
- 08:08 PM Clade Revision 2473abc2: Change the way Macros and Typedefs extensions store their data
- 06:31 PM Clade Revision 1730dd80: Callgraph refactoring, part III
- Add Functions extension
- 05:10 PM Clade Revision 98dd31f8: Fix prerequisites initialisation for Variables extension
- 04:19 PM Clade Revision 064e083e: Do not filter commands if filters are not specified
- 02:58 PM Clade Revision adb5c656: Implement command filtering
- Add ability to use configuration json
- 01:54 PM Clade Revision 339e2bca: Move some methods from Common class to CC
- 01:52 PM Clade Revision 90ac878d: Continuation of Callgraph refactoring
- Some previous optimizations were reverted
08/08/2018
- 06:17 PM Clade Revision 214d4cfe: Speed up source graph constructing
- Return ujson back. It may cause some problems in Callgraph extension.
Also available in: Atom