Николай Пакулин
- 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
Предлагаю добавить в скрипт проверку версии установленного компил... - 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