- Email: firstname.lastname@example.org
- Registered on: 06/09/2010
- Last connection: 08/09/2018
- CPAchecker (Manager, Developer, 07/28/2018)
- CVC3 with small optimizations for BLAST (Manager, Developer, 07/25/2018)
- LDV Tools (Manager, Developer, 03/17/2018)
- Race Hound (Manager, Developer, 11/22/2012)
- Klever (Manager, Developer RO, Project Creator, 09/03/2015)
- Linux Kernel Safety RuleDB (Manager, Developer, 10/25/2011)
- CIL (Manager, 06/06/2018)
- C Instrumentation Framework (Manager, Developer, Project Creator, 06/05/2012)
- Clade (Manager, Developer, 02/22/2018)
- BLAST (Reporter, 09/16/2011)
- Linux Driver Verification (Manager, Developer, 06/09/2010)
- Kartographer (Reporter, 11/19/2015)
- Aspectator (Manager, Developer, Project Creator, 02/27/2018)
- 12:25 PM Klever Bug #9220: Bridge fails if max disk limitation is 0
- This is one more unpleasant regression.
- 12:12 PM Klever Bug #9219: Start decision job page looks badly
- This is another regression.
- 12:10 PM Klever Bug #9218: Admin cannot view jobs tree
- This is a regression caused by recent changes. CI does not detect this as there is not such the issue for Manager.
- 06:20 PM Klever Revision 49327d98: Partially fix previous merge
- 05:55 PM Klever Revision 18dc4ad8: Merge branch 'master' into klever-2.0
- I didn't manage to resolve all merge conflicts...
- 04:25 PM Klever Bug #9199: Pages are missed
- This is a regression caused by recent changes.
- 04:25 PM Klever Bug #9200: Marks with zero similarity participate in 'incompatible' marks
- There is another issue for the similarity limit. Here it is just required to avoid incompatible marks when similariti...
- 12:38 PM Klever Feature #9013 (Closed): Get rid of redundant caches
- This great improvement is in master since commit:29f75b3ec. As there is no more issues for Klever version:1.1, that c...
- 04:24 PM Klever Revision 29f75b3e: Fix latest merge
- 11:21 PM Klever Revision 6ef985d7: Merge branch 'master' into remove-caches
Also available in: Atom