General

Profile

Ilya Shchepetkov

Issues

Projects

Activity

02/14/2019

11:26 AM C Instrumentation Framework Bug #4398: Aspectator and C back-end should support GCC vector type
Ilya Shchepetkov wrote:
> The issue is still relevant.
It is as relevant today as it's ever been

02/11/2019

02:11 PM C Instrumentation Framework Bug #9483 (Resolved): Support external function declarations without parameters
Aspect:...

02/01/2019

07:05 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_установке_и_настройке_Rodin (#2)
06:58 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Wiki (#2)
06:57 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_установке_и_настройке_Rodin (#1)
06:56 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Wiki (#1)
06:21 PM Clade Revision 6e2f6ec8: Fix lists in readme
06:14 PM Clade Revision 4cffae12: Allow SrcGraph to use information from CL extension
06:14 PM Clade Revision 36eeb48f: Windows options can also start with "-"
06:14 PM Clade Revision bd4aab13: Add ability to save files into Storage for CL extension

Also available in: Atom