Ilya Shchepetkov
Ilya Shchepetkov- Email: shchepetkov@ispras.ru
- Registered on: 07/11/2012
- Last connection: 07/06/2020
Issues
- Assigned issues: 15
- Reported issues: 36
Projects
- Linux Driver Verification (Developer, 07/11/2012)
- Linux Kernel Safety RuleDB (Developer, 07/11/2012)
- C Instrumentation Framework (Developer, 12/29/2012)
- Klever (Developer RO, 09/04/2015)
- Kartographer (Manager, Developer, 11/18/2015)
- MicroTESK for PowerPC (Developer, 10/21/2016)
- BLAST (Reporter, 08/20/2012)
- Clade (Manager, Developer, Project Creator, 02/22/2018)
- Aspectator (Developer, 02/27/2018)
- LDV Tools (Developer, 03/17/2018)
- AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
- Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/2018)
Activity
07/20/2020
-
01:43 PM Clade Revision 83efc828: Adjust format of deps files
-
-
07/13/2020
-
-
- Recent changes in the improve-openstack-deployment branch make implementing this feature rather easy. However, potent...
-
- Implemented in the improve-openstack-deployment branch using rsync. Now Klever sources, addons and build bases are de...
-
- Implemented in the improve-openstack-deployment branch. Now OpenStack scripts simply execute local deployment on the ...
06/26/2020
-
-
-
Also available in: Atom