Николай Пакулин
Николай Пакулин- Email: npak@ispras.ru
- Registered on: 11/26/2009
- Last connection: 05/24/2018
Issues
- Assigned issues: 1
- Reported issues: 13
Projects
- CTESK (Developer, 11/10/2010)
- VeriTool (Reporter, 02/16/2011)
- Aspectrace (Manager, Developer, 03/24/2011)
- Requality (Reporter, Customer, 04/21/2011)
- VarTable (Manager, Developer, 11/24/2012)
- Тесты с использованием моделей на базе Summer (Manager, Developer, Project Creator, 12/03/2013)
- КМБ-2014 (Manager, Developer, Project Creator, 09/29/2014)
- Summer (Developer, Reporter, 01/26/2016)
Activity
01/19/2017
-
01:35 AM Deductive Verification Tools for Linux Kernel Bug #7873: Не удалось установить jessie
- Проблема в том, что был установлен компилятор 4.01
Предлагаю добавить в скрипт проверку версии установленного компил... -
- При выполнении по инструкции получил сообщение об ошибке на шаге:
@sudo apt-get install $(opam install -e ubuntu jes...
05/07/2015
-
04/02/2015
-
-
03/30/2015
-
-
-
-
04/03/2014
-
- состояния.
Also available in: Atom