Eugene Kornykhin

	open	closed	Total
Assigned issues	7	1	8
Reported issues	6	0	6

Project	Roles	Registered on
Deductive Verification Tools for Linux Kernel	Reporter, Customer, Technical Writer	02/15/2022
Java 5 frontend	Developer	11/27/2009
JavaTESK	Developer	11/27/2009
Runtime Verification	Manager, Developer, Project Creator	01/13/2023
MASIW Framework	Developer	05/28/2015
Examples of behavioral AADL models	Developer	03/27/2017

06:10 PM Runtime Verification [FEATURE] #12306 (Resolved): Поддержка ACL: Eugene Kornykhin
06:09 PM Runtime Verification [FEATURE] #12307 (Resolved): Документация по текущему состоянию: Eugene Kornykhin
06:08 PM Runtime Verification [FEATURE] #12308 (Resolved): Добавить поддержку инвариантов в покрытие по MC/DC: Eugene Kornykhin

02:53 PM Runtime Verification [FEATURE] #12323 (Open): Разработка аниматора Event-B: ( ) Знакомство с интерфейсом replay <-> ProB и его реализацией в java-библиотеках
( ) Нулевая версия: все параметры ... Eugene Kornykhin

02:53 PM Examples of behavioral AADL models Revision c0b1492c (aadl-behavioral-examples): Trailing whitespaces are removed.: Eugene Kornykhin
02:15 PM Examples of behavioral AADL models Revision b985a3aa (aadl-behavioral-examples): Theorem `rate_unit_correctness' is decomposed into theorem about ports.: Eugene Kornykhin
12:24 PM Examples of behavioral AADL models Revision 6f45b41d (aadl-behavioral-examples): Fix rate_unit_correctness() theorem.: Eugene Kornykhin

12:29 AM Deductive Verification Tools for Linux Kernel Bug #8031: Why3IDE не запускается из-за неверной темы: Оказывается, проблема была в том, что до вызова why3 config уже был файл .why3.conf. И этот вызов why3 config не сдел... Eugene Kornykhin
12:22 AM Deductive Verification Tools for Linux Kernel Bug #8031 (New): Why3IDE не запускается из-за неверной темы: @
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing ../../../... Eugene Kornykhin

Also available in: Atom

Open-Source Projects