General

Profile

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

  • Email: npak@ispras.ru
  • Registered on: 11/26/2009
  • Last connection: 07/25/2017

Issues

Projects

Activity

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