General

Profile

Vitaly Mordan

Issues

Projects

Activity

02/18/2019

01:29 PM Clade Revision a0b8e523: Prevent failures on undefined functions
Vitaly Mordan

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 ...
Vitaly Mordan
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
...
Vitaly Mordan
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...
Vitaly Mordan
05:00 PM Klever Feature #9414 (Open): 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... Vitaly Mordan

08/31/2017

11:21 AM Klever Revision 5fcf4fc2: Resolve some verifiers exceptions
Vitaly Mordan
11:20 AM Klever Revision 6a6a3c6a: Added witness number for MEA tasks
Vitaly Mordan

08/02/2017

04:13 PM Klever Revision 98ce22db: Specify separation parameter
Vitaly Mordan
12:52 PM Klever Revision a87adb29: Fixed same name in Unknown and Unsafe-incomplete reports
Vitaly Mordan
12:16 PM Klever Revision 00dbcc46: Small fixes
Vitaly Mordan

Also available in: Atom