General

Profile

Vitaly Mordan

Issues

Projects

Activity

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
10:38 AM Klever Revision 368af9ed: Corrected resource limitation factor for SC strategy

08/01/2017

06:10 PM Klever Revision f9ba942f: Improved Unknown reason text in case of several properties

07/31/2017

03:57 PM Klever Revision fb82a92d: Do not track preset config files
Path to verifier executables should be set in those files in order to use them
03:53 PM Klever Revision 94064e87: Added presets for the most common job files
Those presets emulate all old strategies (CMAV, SDV/MPV, Batch, MEA, property automata, etc.)
03:50 PM Klever Revision ae9d0655: Added presets for some verifiers/configs

Also available in: Atom