General

Profile

Pavel Andrianov

Issues

Projects

Activity

09/30/2020

10:01 AM Klever Bug #10504 (New): EMG does not initialize device variable
In @emg_pm_pm_ops_scenario_delta_pm_ops@ scenario function variable @emg_8_device@ is just declared, without any init... Pavel Andrianov

09/03/2020

03:59 PM Klever Revision dbe3fd9b: One more update
Pavel Andrianov
03:57 PM Klever CPAchecker-1.8-svn-34860-unix.tar.xz
Pavel Andrianov
03:22 PM Klever Revision 33dbbd6a: Update link
Pavel Andrianov
03:11 PM Klever Revision 15fb9464: Update tests and configuration
Pavel Andrianov

09/02/2020

04:23 PM Klever Feature #10481 (Resolved): Update CPALockator to support rcu analysis
Pavel Andrianov
02:16 PM Klever Revision 2ef55ec7: Fix warnings and update CPALockator version
Pavel Andrianov
12:17 PM Klever Revision 6305d8f7: Update tests
Pavel Andrianov

08/28/2020

07:52 PM Klever Feature #10481 (Closed): Update CPALockator to support rcu analysis
To update CPALockator it is necessary to write a rule specification for instrumentation of rcu functions. Also, it is... Pavel Andrianov

08/27/2020

02:04 PM Klever Revision 69c6f639: Fixes in tests
Pavel Andrianov

Also available in: Atom