Николай Пакулин

  • Email:
  • Registered on: 11/26/2009
  • Last connection: 07/25/2017

Projects

Activity

Reported issues: 57

01/19/2017

01:35 am Deductive Verification Tools for Linux Kernel Bug #7873: Не удалось установить jessie
Проблема в том, что был установлен компилятор 4.01
Предлагаю добавить в скрипт проверку версии установленного компил...
01:10 am Deductive Verification Tools for Linux Kernel Bug #7873 (New): Не удалось установить jessie
При выполнении по инструкции получил сообщение об ошибке на шаге:
@sudo apt-get install $(opam install -e ubuntu jes...

05/07/2015

05:21 pm КМБ-2014 spring-2015-8.zip

04/02/2015

05:19 pm КМБ-2014 Wiki edit: Tmp (#6)
05:19 pm КМБ-2014 Wiki edit: Tmp (#5)

03/30/2015

06:10 pm КМБ-2014 Wiki edit: Tmp (#4)
05:56 pm КМБ-2014 Wiki edit: Tmp (#3)
05:56 pm КМБ-2014 Wiki edit: Tmp (#2)
05:49 pm КМБ-2014 Wiki edit: Tmp (#1)

04/03/2014

12:59 pm Тесты с использованием моделей на базе Summer Revision 5c45f5d8 (kmb-summer): Завершен тест для множества, использующий размер множества в каче...
состояния.

Also available in: Atom