Vitaly Mordan
- Login: mordan
- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 12/05/2022
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 19 | 23 | 42 |
Reported issues | 8 | 47 | 55 |
Projects
Project | Roles | Registered on |
---|---|---|
AstraVer Toolset | Developer | 04/26/2018 |
Verification Tool Supports | Manager, Developer | 11/15/2018 |
Дополнительные материалы к монографии | Developer | 04/28/2018 |
Kartographer | Reporter | 07/10/2017 |
Klever | Developer RO | 03/12/2017 |
Linux Driver Verification | Developer | 06/28/2013 |
LDV Tools | Developer | 03/17/2018 |
CPAchecker | Developer | 07/28/2018 |
CVC3 with small optimizations for BLAST | Developer | 07/25/2018 |
Linux Kernel Safety RuleDB | Developer | 09/26/2014 |
VerKer - Verification of Linux Kernel Library Functions | Developer, Reporter | 11/15/2018 |
Activity
02/18/2019
- 01:29 PM Clade Revision a0b8e523: Prevent failures on undefined functions
12/12/2018
- 06:17 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
- Evgeny Novikov wrote:
> But there can be files with the same names but various contents. So, it seems you suggest a ... - 06:03 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
- For example, we have the following hierarchy of nodes in report:
-root
--Component1
--Component2
---CPAchecker_1
... - 05:42 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
- Now each unsafe node is tied to verification node (with resources, logs, etc.).
Unlike variable names in races, some... - 05:00 PM Klever Feature #9414 (Closed): Reuse archive with source files between different error traces on report uploading
- Feature #8704 allowed to separated source files from error traces and put them into a single archive, which can be us...
08/31/2017
- 11:21 AM Klever Revision 5fcf4fc2: Resolve some verifiers exceptions
- 11:20 AM Klever Revision 6a6a3c6a: Added witness number for MEA tasks
08/02/2017
- 04:13 PM Klever Revision 98ce22db: Specify separation parameter
- 12:52 PM Klever Revision a87adb29: Fixed same name in Unknown and Unsafe-incomplete reports
- 12:16 PM Klever Revision 00dbcc46: Small fixes
Also available in: Atom