- Email: firstname.lastname@example.org
- Registered on: 07/13/2012
- Last connection: 04/29/2020
- Requality (Developer, 04/29/2020)
- BLAST (Reporter, 08/20/2012)
- CPAchecker (Developer, 07/28/2018)
- Linux Driver Verification (Developer, 07/13/2012)
- Linux Kernel Safety RuleDB (Developer, 07/13/2012)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- Klever (Developer RO, 09/04/2015)
- LDV Tools (Developer, 03/17/2018)
- 02:14 AM Klever Revision 1a068461: Fix bug with reports comparison.
- 10:58 PM Klever Revision 3976e4f0: Increase reports chunk size to 500.
- 10:41 PM Klever Revision 3e0ea8c6: Fix bug with unknowns uploading. Disable uploading progress for reports leaves.
- 10:35 PM Klever Revision bec39ae0: Delay mptt updates for unsafes and unknowns.
- 10:27 PM Klever Revision 207a8ae4: Do not clear uploaded archives as it never has relations.
- 10:23 PM Klever Revision 3754a170: Delay mptt updates on safes uploading.
- 10:09 PM Klever Revision cf3b44d5: Add Report model to admin page.
- 09:58 PM Klever Revision dbcc45b4: Fix delaying mptt updates bug.
- 09:56 PM Klever Revision f652504e: Try saving reports tree with delaying mptt updates.
- 09:25 PM Klever Revision 76da15be: Fix bug when uploaded job archives were not deleted after its DB instances are deleted.
Also available in: Atom