- Email: email@example.com
- Registered on: 07/13/2012
- Last connection: 04/29/2020
- Linux Kernel Safety RuleDB (Developer, 07/13/2012)
- BLAST (Reporter, 08/20/2012)
- CPAchecker (Developer, 07/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- Linux Driver Verification (Developer, 07/13/2012)
- Requality (Developer, 04/29/2020)
- Klever (Developer RO, 09/04/2015)
- LDV Tools (Developer, 03/17/2018)
- 07:09 PM Klever Revision 6f688a90: Fix bug when assumptions were cleared on loading source code with coverage.
- 01:37 PM Klever Bug #10477 (Feedback): Do not fail with errors "Archive ... was not attached"
- The API was slightly changed.
- 01:36 PM Klever Feature #10496 (Resolved): Speed up loading of source files and related data
- Custom cache for source code was implemented instead od default django caches.
- 01:35 PM Klever Revision 526be303: Replace django caching with custom DB caches.
- 12:40 PM Klever Revision ee27e7aa: Merge branch 'master' into feature_10496
- 12:34 PM Klever Revision 2cd0bf54: Do not decode empty json with archives list.
- 12:23 PM Klever Revision e8ce59ea: Do not require "archives" list.
- 11:50 AM Klever Revision 7c12318e: Check ZIP archives before any actions with DB when reports are uploading.
Also available in: Atom