Alexey Khoroshilov
Alexey Khoroshilov- Email: khoroshilov@ispras.ru
- Registered on: 11/25/2009
- Last connection: 02/01/2019
Issues
- Assigned issues: 5
- Reported issues: 208
Projects
- memconfigcheck (Manager, Developer, Project Creator, 01/15/2019)
- CPAchecker (Manager, Project Creator, 07/28/2018)
- CVC3 with small optimizations for BLAST (Manager, Project Creator, 07/25/2018)
- Aspectrace (Manager, Developer, 01/28/2019)
- КМБ-2014 (Manager, Developer, 09/29/2014)
- Verification Tool Supports (Manager, Developer, 07/02/2015)
- LDV Tools (Manager, Project Creator, 03/17/2018)
- Requality (Manager, Developer, Product Owner, 11/26/2009)
- 1-Click Eclipse Text Editor (Manager, Project Creator, 06/27/2014)
- Linux Kernel Safety RuleDB (Manager, Developer, Project Creator, 10/25/2011)
- Examples of behavioral AADL models (Manager, 02/13/2017)
- Linux Kernel Rules Repo (Project Creator, 07/29/2018)
- Race Hound (Manager, Developer, Project Creator, 09/05/2012)
- Тесты с использованием моделей на базе Summer (Manager, Developer, 12/03/2013)
- Klever (Manager, Developer RO, 09/04/2015)
- KEDR (Manager, Developer, 06/20/2011)
- Build Analyzer (Manager, Developer, Project Creator, 04/19/2017)
- VerKer - Verification of Linux Kernel Library Functions (Manager, Developer, Reporter, 05/09/2017)
- MASIW Framework (Manager, Project Creator, 09/11/2013)
- Deductive Verification Tool for Machine Code (Manager, Developer, Project Creator, 10/11/2017)
- Clade (Manager, Developer, 10/19/2018)
- C Instrumentation Framework (Reporter, 06/05/2012)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
- BLAST (Manager, 09/16/2011)
- Linux Driver Verification (Manager, Project Creator, 05/20/2010)
- AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
- Deductive Verification Tools for Linux Kernel (Manager, Developer, Project Creator, 09/02/2014)
- Kartographer (Manager, Project Creator, 11/18/2015)
- Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
- Aspectator (Reporter, 02/27/2018)
Activity
02/01/2019
- 01:46 PM Requality Feature #9470: Поиск узла должен запоминать настройки
- То есть запоминать значение которое искалось, помещать фокус в соответствующее поле, а курсор в конец текста для поиска
01/10/2019
- 11:11 AM Requality Bug #9384 (Closed): При экспорте отчета сообщение об ошибке доступа
- 11:11 AM Requality Bug #9359 (Closed): В отчете Table view перестали отображаться имена использованных терминов
- 11:10 AM Requality Bug #9321 (Closed): Зафиксировать порядок перечисления входящих ссылок (Использование) в отчете Table view
12/17/2018
- 08:25 PM Requality Feature #9421: Вкладка History у проекта: убрать "Current version:" и первый столбец таблицы
- Denis Kildishev wrote:
> Первая строка на имеющихся проектах не пуста и равна Head версии.
Речь шла о первом стол...
12/12/2018
- 11:30 PM Requality Feature #9399: Шапка в отчете TableView
- Viktoria Kopach (Gingina) wrote:
> Критично ли, чтобы в строке "Версия инструмента": было указано название "Requalit...
12/07/2018
- 02:44 PM Requality Feature #9399: Шапка в отчете TableView
- В случае, когда для генерации используются проекты по ссылкам (Generate report for related projects), информация о ни...
11/26/2018
- 07:04 PM Requality Feature #9399 (Resolved): Шапка в отчете TableView
- h1. HEADER1-если-задан-в-свойствах-отчета
h2. HEADER2-если-задан-в-свойствах-проекта
h3. Информация о документе...
11/13/2018
- 08:15 PM Requality Wiki edit: Requality-installation (#32)
10/22/2018
- 06:23 PM Requality Feature #9343: Добавить игнорирование папок при совместной работе
- Что-то типа флага Local Only.
Also available in: Atom