Eugene Kornykhin

  • Email:
  • Registered on: 11/27/2009
  • Last connection: 05/29/2017

Projects

Activity

Reported issues: 56

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 ...
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

05/28/2010

07:12 pm JavaTESK Bug #228 (New): Плагин JavaTESK не работает вместе с плагином CTESK
вываливается exception "java.lang.NoSuchFieldError: OUTLINE" - все подробности у Андрея Максимова

Also available in: Atom