- Email: firstname.lastname@example.org
- Registered on: 06/09/2010
- Last connection: 05/02/2019
- Linux Driver Verification (Manager, Developer, 06/09/2010)
- BLAST (Reporter, 09/16/2011)
- Linux Kernel Safety RuleDB (Manager, Developer, 10/25/2011)
- C Instrumentation Framework (Manager, Developer, Project Creator, 06/05/2012)
- Race Hound (Manager, Developer, 11/22/2012)
- Klever (Manager, Developer RO, Project Creator, 09/03/2015)
- Kartographer (Reporter, 11/19/2015)
- Deductive Verification Tools for Linux Kernel (Manager, Reporter, Customer, Product Owner, 03/18/2019)
- Clade (Manager, Developer, 02/22/2018)
- Aspectator (Manager, Developer, Project Creator, 02/27/2018)
- LDV Tools (Manager, Developer, 03/17/2018)
- CIL (Manager, 06/06/2018)
- CVC3 with small optimizations for BLAST (Manager, Developer, 07/25/2018)
- CPAchecker (Manager, Developer, 07/28/2018)
- 07:41 AM Klever Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications
- I renamed branch to _bridge-3.0_.
- 03:04 PM C Instrumentation Framework Revision 5562634f: Update Aspectator and add test case
- 03:03 PM Aspectator Revision e71b7a23: Fix processing of pointers on typedefs on pointers
- Fixes https://forge.ispras.ru/issues/5323.
- 12:14 PM C Instrumentation Framework Bug #5323: Incorrect type for pointer in ___del_dma_pool
- After switching to new CIL from Frama-C (#6629) this issue became crucial since new CIL fails on parsing this bad cod...
- 12:12 PM Klever Bug #6629 (Closed): Used CIL is outdated
- I do not know why Forge changed the priority for this issue itself. Also, I can not return the proper priority back. ...
- 12:11 PM Klever Bug #6629 (Open): Used CIL is outdated
- 12:10 PM Klever Bug #6775: Well known CIL issues
- Perhaps the normal priority automatically changed the priority of the blocking issue.
- 12:03 PM Klever Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications
- Unfortunately, the current implementation of interconnections between Bridge, schedulers and workers is very large an...
- 11:50 AM Klever Revision 775939d6: Implement reading from message queue
- 11:48 AM Klever Revision c9bd4796: Merge the same checks
Also available in: Atom