Evgeny Novikov
Evgeny Novikov- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 07/10/2020
Issues
- Assigned issues: 181
- Reported issues: 1269
Projects
- Race Hound (Manager, Developer, 11/22/2012)
- BLAST (Reporter, 09/16/2011)
- CPAchecker (Manager, Developer, 07/28/2018)
- Linux Driver Verification (Manager, Developer, 06/09/2010)
- Linux Kernel Safety RuleDB (Manager, Developer, 10/25/2011)
- Deductive Verification Tools for Linux Kernel (Manager, Developer, 03/18/2019)
- CIL (Manager, 06/06/2018)
- CVC3 with small optimizations for BLAST (Manager, Developer, 07/25/2018)
- Klever (Manager, Developer RO, Project Creator, 09/03/2015)
- Kartographer (Reporter, 11/19/2015)
- LDV Tools (Manager, Developer, 03/17/2018)
- C Instrumentation Framework (Manager, Developer, Project Creator, 06/05/2012)
- Clade (Manager, Developer, 02/22/2018)
- Aspectator (Manager, Developer, Project Creator, 02/27/2018)
Activity
07/14/2020
-
09:16 PM Klever Bug #10431: Missing verifier input files for lightweight verification results
- BTW, Pavel found out that the data is stored by Bridge and one can get it through downloading files for competition. ...
-
- Before Bridge kept verifier input files for lightweight verification results if the corresponding option was switched...
-
07/11/2020
-
-
07/10/2020
-
- Extra test cases are not necessary since we test just agains Linux
3.14.79. -
- This change does not need extra test cases since they are just for Linux
3.14.79. -
07/09/2020
-
-
Also available in: Atom