Evgeny Novikov
Evgeny Novikov- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 05/02/2019
Issues
- Assigned issues: 220
- Reported issues: 1205
Projects
- 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)
Activity
05/20/2019
-
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_.
05/19/2019
-
-
- Fixes https://forge.ispras.ru/issues/5323.
-
- After switching to new CIL from Frama-C (#6629) this issue became crucial since new CIL fails on parsing this bad cod...
-
- I do not know why Forge changed the priority for this issue itself. Also, I can not return the proper priority back. ...
-
-
- Perhaps the normal priority automatically changed the priority of the blocking issue.
-
- Unfortunately, the current implementation of interconnections between Bridge, schedulers and workers is very large an...
-
-
Also available in: Atom