Eugene Kornykhin
- Email: kornevgen@ispras.ru
- Registered on: 11/27/2009
- Last connection: 12/04/2020
Issues
Projects
- Java 5 frontend (Developer, 11/27/2009)
- JavaTESK (Developer, 11/27/2009)
- MASIW Framework (Developer, 05/28/2015)
- Examples of behavioral AADL models (Developer, 03/27/2017)
Activity
03/28/2018
-
03:00 PM MASIW Framework Wiki edit: Wiki (#27)
03/27/2017
-
02:53 PM Examples of behavioral AADL models Revision c0b1492c (aadl-behavioral-examples): Trailing whitespaces are removed.
-
02:15 PM Examples of behavioral AADL models Revision b985a3aa (aadl-behavioral-examples): Theorem `rate_unit_correctness' is decomposed into theorem about ports.
-
12:24 PM Examples of behavioral AADL models Revision 6f45b41d (aadl-behavioral-examples): Fix rate_unit_correctness() theorem.
03/15/2017
-
12:29 AM Deductive Verification Tools for Linux Kernel Bug #8031: Why3IDE не запускается из-за неверной темы
- Оказывается, проблема была в том, что до вызова why3 config уже был файл .why3.conf. И этот вызов why3 config не сдел...
-
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 ../../../...
12/21/2016
-
03:57 PM MASIW Framework Wiki edit: Wiki (#25)
-
03:26 PM MASIW Framework Wiki edit: Wiki (#21)
11/08/2010
-
04:41 PM JavaTESK Task #525 (Resolved): Проверить компилируемость файла
- Наш чекер за 5 минут съедает гиг памяти и валится с OutOfMemoryError
07/14/2010
-
01:24 PM Java 5 frontend Revision 363: ivy config update
Also available in: Atom