- Email: email@example.com
- Registered on: 09/27/2011
- Last connection: 03/24/2020
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/2018)
- LDV Tools (Developer, 03/17/2018)
- Klever (Developer RO, 09/04/2015)
- Linux Kernel Safety RuleDB (Developer, 12/29/2012)
- Linux Driver Verification (Developer, 09/27/2011)
- Clade (Developer, 02/22/2018)
- C Instrumentation Framework (Developer, 06/05/2012)
- Kartographer (Reporter, 11/19/2015)
- Aspectator (Developer, 02/27/2018)
- 02:27 PM Klever Revision cfb24b91: Merge branch 'master' into fix_10159
- 02:26 PM Klever Revision 83002f4a: Merge branch 'master' into bridge-fixes
- 02:23 PM Klever Bug #10163 (Closed): Bridge does not show total coverage
- The problem was caused by an incorrect version of celery package.
- 02:22 PM Klever Bug #10160 (Resolved): Bridge does not apply some unknown marks
- The problem was related to celery package version.
But there were some other fixes implemented in bridge-fixes.
- 02:20 PM Klever Bug #10159 (Verified): Unclear usage of colours in the reports comparison table
- Works fine.
- 04:01 PM Klever Revision beea1b2e: Merge branch 'master' into bridge-fixes
- 01:12 PM Klever Revision 9da5c18a: Remove unused marks, update regression description
- 08:24 PM Klever Revision c3775924: Mark several commits that can be simply built
- 06:15 PM Klever Revision 6693f099: Refactoring of EMG preset marks
- - Remove marks for different versions
- Add RTC missing mark
- Fix regression presets
- 05:24 PM Klever Revision 3216a499: Fix RTC specification for new kernels
Also available in: Atom