Николай Пакулин
- Email: npak@ispras.ru
- Registered on: 11/26/2009
- Last connection: 05/24/2018
Issues
- Assigned issues: 0
- 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
Предлагаю добавить в скрипт проверку версии установленного компил... -
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