General

Profile

Pavel Andrianov

Issues

Projects

Activity

09/21/2018

12:47 PM Klever Bug #9285 (Closed): Problem with deployment
Using the version 1.1, I can not prepare virtual machine with deployment scripts. The BenchExec archive is not extrac...

09/11/2018

04:36 PM Klever Feature #9273 (New): New translation mode for EMG
There are two translators for EMG. One of them prepare sequential code, when all specified functions are called direc...
04:31 PM Klever Feature #9272 (New): Main generation without info-requests
Mostly for special operating systems the main is based on a list of functions, which should be called. If there is a ...
04:28 PM Klever Feature #9271 (New): Main generation with information about sharedness of parameters
Mostly for special operating systems the main is based on a list of functions, which should be called. The parameters...

08/21/2018

05:11 PM Klever Bug #9200 (Open): Marks with zero similarity participate in 'incompatible' marks
The case is still present. We can not reproduce it, so here is one more link http://10.10.18.221:8998/reports/unsafe/...
05:02 PM Klever Bug #9201 (Open): One more bug with incompatible marks
The problem was not fixed. The link is still right.

08/20/2018

12:08 PM Klever Bug #9237 (Closed): Link to unsafes on 'Job tree' page leads to page with safes
The link with number of unsafes on Job tree page should lead to a view of the corresponding unsafes page, instead it ...

08/14/2018

05:46 PM Klever Feature #9221 (Resolved): Add a rule for svcomp tasks generation
I implemented a rule, which replace spinlocks and mutexes with pthread_mutexes. The rule is used for generation sv-co...
05:39 PM Klever Revision 0946c6f6: Add tests, based on tests for sync:races
05:07 PM Klever Revision f0d91326: Fixes in svcomp rule

Also available in: Atom