- Email: email@example.com
- Registered on: 08/08/2012
- Last connection: 08/21/2018
- Linux Driver Verification (Developer, 08/08/2013)
- Linux Kernel Safety RuleDB (Developer, 10/16/2014)
- Klever (Developer RO, 09/04/2015)
- Kartographer (Reporter, Customer, 04/07/2017)
- Build Analyzer (Developer, 04/19/2017)
- C Instrumentation Framework (Reporter, 02/27/2018)
- Aspectator (Reporter, 02/27/2018)
- LDV Tools (Developer, 03/17/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/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...
- 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...
- 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.
- 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 ...
- 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