Open-Source Projects

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 (Resolved): 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