Николай Пакулин
- Login: npak
- Email: npak@ispras.ru
- Registered on: 11/26/2009
- Last connection: 05/24/2018
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 2 | 2 |
| Reported issues | 2 | 11 | 13 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| Aspectrace | Manager, Developer | 03/24/2011 |
| CTESK | Developer | 11/10/2010 |
| Requality | Reporter, Customer | 04/21/2011 |
| Summer | Developer, Reporter | 01/26/2016 |
| VarTable | Manager, Developer | 11/24/2012 |
| КМБ-2014 | Manager, Developer, Project Creator | 09/29/2014 |
| Тесты с использованием моделей на базе Summer | Manager, Developer, Project Creator | 12/03/2013 |
Activity
01/20/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