Николай Пакулин
Николай Пакулин- Email: npak@ispras.ru
- Registered on: 11/26/2009
- Last connection: 05/24/2018
Issues
- Assigned issues: 1
- Reported issues: 13
Projects
- VarTable (Manager, Developer, 11/24/2012)
- Aspectrace (Manager, Developer, 03/24/2011)
- КМБ-2014 (Manager, Developer, Project Creator, 09/29/2014)
- Requality (Reporter, Customer, 04/21/2011)
- Тесты с использованием моделей на базе Summer (Manager, Developer, Project Creator, 12/03/2013)
- Summer (Developer, Reporter, 01/26/2016)
- CTESK (Developer, 11/10/2010)
- VeriTool (Reporter, 02/16/2011)
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 (Closed): Не удалось установить jessie
- При выполнении по инструкции получил сообщение об ошибке на шаге:
@sudo apt-get install $(opam install -e ubuntu jes...
05/07/2015
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