General

Profile

Alexey Khoroshilov

Issues

open closed Total
Assigned issues 5 252 257
Reported issues 41 169 210

Projects

Project Roles Registered on
1-Click Eclipse Text Editor Manager, Project Creator 06/27/2014
Aspectrace Manager, Developer 01/28/2019
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Manager, Developer, Project Creator 09/02/2014
Verification Tool Supports Manager, Developer 07/02/2015
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности Manager, Developer, Project Creator 04/26/2018
Build Analyzer Manager, Developer, Project Creator 04/19/2017
C Instrumentation Framework Reporter 06/05/2012
Aspectator Reporter 02/27/2018
Clade Manager, Developer 10/19/2018
Deductive Verification Tool for Machine Code Manager, Developer, Project Creator 10/11/2017
Kartographer Manager, Project Creator 11/18/2015
MicroTESK for PowerPC Manager 10/21/2016
Race Hound Manager, Developer, Project Creator 09/05/2012
KEDR Manager, Developer 06/20/2011
Klever Manager, Developer RO 09/04/2015
Linux Driver Verification Manager, Project Creator 05/20/2010
BLAST Manager 09/16/2011
LDV Tools Manager, Project Creator 03/17/2018
CPAchecker Manager, Project Creator 07/28/2018
CVC3 with small optimizations for BLAST Manager, Project Creator 07/25/2018
Linux Kernel Safety RuleDB Manager, Developer, Project Creator 10/25/2011
Linux Kernel Rules Repo Project Creator 07/29/2018
memconfigcheck Manager, Developer, Project Creator 01/15/2019
TSMT: Tools for bounded E-Matching Manager, Developer, Project Creator 01/16/2020
Requality Manager, Developer, Product Owner 11/26/2009
VerKer - Verification of Linux Kernel Library Functions Manager, Developer, Reporter 05/09/2017
MASIW Framework Manager, Project Creator 09/11/2013
Examples of behavioral AADL models Manager 02/13/2017
КМБ-2014 Manager, Developer 09/29/2014
Тесты с использованием моделей на базе Summer Manager, Developer 12/03/2013

Activity

04/29/2021

10:15 AM Requality Requality 1.3 released
Version 1.3 of Requality has been released with many scalability and usability improvements.
The new features incl...
Alexey Khoroshilov
10:13 AM Requality Bug #10822 (Closed): Не работают ссылки из Description
Alexey Khoroshilov
10:13 AM Requality Bug #10803 (Closed): Ломается интерфейс после генерации отчета о проверке правил оформления
Alexey Khoroshilov
10:13 AM Requality Bug #10781 (Closed): Отчет "Проверка правил оформления": не работают ссылки из оглавления при включенном SeqID
Alexey Khoroshilov
10:13 AM Requality Bug #10770 (Closed): Настройки отчета "Чтение требований": атрибуты ID и ForeignID
Alexey Khoroshilov
10:13 AM Requality Bug #10757 (Closed): Ошибка org.eclipse.core.internal.resources.ResourceException: Marker id 910 not found
Alexey Khoroshilov
10:13 AM Requality Bug #10756 (Closed): Ошибка, если в свойствах узла есть фигурные скобки
Alexey Khoroshilov
10:13 AM Requality Bug #10738 (Closed): Ошибка при удалении второго документа
Alexey Khoroshilov
10:13 AM Requality Bug #10736 (Closed): При удалении документа он не закрывается в редакторе
Alexey Khoroshilov
10:13 AM Requality Bug #10728 (Closed): Не сохраняется изменение настроек "Full name mode" и "Show descrition on elements" в проекте
Alexey Khoroshilov

Also available in: Atom