Alexey Khoroshilov
- Email: khoroshilov@ispras.ru
- Registered on: 11/25/2009
- Last connection: 04/12/2018
Issues
- Assigned issues: 6
- Reported issues: 205
Projects
- Build Analyzer (Manager, Developer, Project Creator, 04/19/2017)
- LDV Tools (Manager, Project Creator, 03/17/2018)
- Requality (Manager, Developer, Product Owner, 11/26/2009)
- Linux Driver Verification (Manager, Project Creator, 05/20/2010)
- BLAST (Manager, 09/16/2011)
- Linux Kernel Safety RuleDB (Manager, Developer, Project Creator, 10/25/2011)
- Aspectator (Reporter, 02/27/2018)
- KEDR (Manager, Developer, 06/20/2011)
- C Instrumentation Framework (Reporter, 06/05/2012)
- Race Hound (Manager, Developer, Project Creator, 09/05/2012)
- MASIW Framework (Manager, Project Creator, 09/11/2013)
- Тесты с использованием моделей на базе Summer (Manager, Developer, 12/03/2013)
- Deductive Verification Tools for Linux Kernel (Manager, Developer, Project Creator, 09/02/2014)
- Verification Tool Supports (Manager, Developer, 07/02/2015)
- Klever (Manager, Developer RO, 09/04/2015)
- VerKer (Manager, Developer, Reporter, 05/09/2017)
- 1-Click Eclipse Text Editor (Manager, Project Creator, 06/27/2014)
- КМБ-2014 (Manager, Developer, 09/29/2014)
- Examples of behavioral AADL models (Manager, 02/13/2017)
Activity
04/05/2018
- 02:56 PM Requality Revision 2d3fe217 (req-py): Autohandling of name, id, and ignoreName
04/04/2018
- 01:53 PM Requality Revision 45428fb7 (req-py): Upload images from HTML attributes
03/27/2018
- 03:41 PM Requality Revision 5d779b7d (req-py): Add moveNode, updateAttributes, getRequirements operations
03/26/2018
- 10:02 PM Linux Kernel Safety RuleDB Feature #8785 (New): [linux:drivers:clk] Correct usage of clock API
- Clock activation consists of two parts: preparing(may be complex and include sleep operations) and enabling(must not ...
03/23/2018
- 04:12 PM MASIW Framework Wiki edit: Installation_of_unstable_(bleeding_edge)_version (#8)
03/20/2018
- 09:37 PM Requality Revision dea14fd8 (req-py): getNode, createNode() returns ReqNode now; Requirement and TextNode classes added
- 05:48 PM Requality Revision 2931ebec (req-py): Add simple ReqNode
- 12:48 PM Requality Revision 8a8f1142 (req-py): Initial version of python adapter for Requality webAPI
02/21/2018
01/09/2018
- 12:31 AM Klever Bug #8655 (New): Unusable interface to create unsafe tag
- Creating unsafe tag over unstable Internet connection I have got create dialog with unreachable Create button. Screen...
Also available in: Atom