Evgeny Novikov
Evgeny Novikov- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 01/27/2021
Issues
- Assigned issues: 187
- Reported issues: 1334
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 RO, 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, Developer, 03/18/2019)
- Clade (Manager, Developer, 02/22/2018)
- Aspectator (Manager, Developer, Developer RO, 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
01/27/2021
-
07:35 PM Klever Revision a4fb2fc1: Copy Linux loadable kernel modules sample to ARM[64]
-
-
-
-
-
-
- It seems that Bridge experiences various issues during uploading of large job archives. This prevents normal usage of...
-
- At the moment Bridge can require terrible amount of wall time, CPU time and RAM when switching source files for large...
-
- Fixed by commit:5ad78b3e3afd in branch _bridge-fixes_.
-
- Huge recent changes in Bridge resulted in the statistics filter on the job page does not operate. Though it is a regr...
Also available in: Atom