General

Profile

Evgeny Novikov

  • Login: joker
  • Email: novikov@ispras.ru
  • Registered on: 06/09/2010
  • Last connection: 03/25/2022

Issues

open closed Total
Assigned issues 170 577 747
Reported issues 364 1114 1478

Projects

Project Roles Registered on
Deductive Verification Tools for Linux Kernel Manager, Developer 03/18/2019
CIL Manager 06/06/2018
C Instrumentation Framework Manager, Developer RO, Project Creator 06/05/2012
Aspectator Manager, Developer, Developer RO, Project Creator 02/27/2018
Clade Manager, Developer 02/22/2018
Kartographer Reporter 11/19/2015
Race Hound Manager, Developer 11/22/2012
Klever Manager, Developer RO, Project Creator 09/03/2015
Linux Driver Verification Manager, Developer 06/09/2010
BLAST Reporter 09/16/2011
LDV Tools Manager, Developer 03/17/2018
CPAchecker Manager, Developer 07/28/2018
CVC3 with small optimizations for BLAST Manager, Developer 07/25/2018
Linux Kernel Safety RuleDB Manager, Developer 10/25/2011

Activity

05/27/2022

03:36 PM Klever Klever 3.5
We released Klever version:3.5 that has following notorious changes:
* Improving support for verification of Linux...
Evgeny Novikov
02:44 PM Klever Revision f75e3b3b: Bump up Klever version
Evgeny Novikov
02:41 PM Klever Feature #11601 (Closed): Add new translations and fix existing ones
Tests passed, so I merged the branch to master in commit:558e9f7f4. That commit will correspond to Klever version:3.5... Evgeny Novikov
02:37 PM Klever Revision 558e9f7f: Eventually separate Unknowns (reports) from Uncertanties (verdicts)
Evgeny Novikov

05/26/2022

07:21 PM Klever Feature #11601 (Resolved): Add new translations and fix existing ones
I did this task with assistance of Vladimir in branch _fix-translations_. Even though, it should not affect verificat... Evgeny Novikov
07:15 PM Klever Revision 494ba97c: Describe how to update translations for Bridge's messages
Evgeny Novikov
07:15 PM Klever Revision 11da878c: Fix existing translations and add new ones
https://forge.ispras.ru/issues/11601 Evgeny Novikov
04:21 PM C Instrumentation Framework Bug #11617 (New): GCC 12 fails to compile cif.c
Ilya tried to use host GCC 12 to build CIF, but it fails with some issues when compiling "cif.c". Let's investigate a... Evgeny Novikov

05/20/2022

10:32 PM Klever Bug #11599 (Closed): Update Clade to avoid hangups
Everything works great, so I merged the branch to master in commit:fb7d579ab. Evgeny Novikov
10:30 PM Klever Revision fb7d579a: Provide more URLs to build bases for the Linux kernel
Fixed Clade could generate them without any issues. Evgeny Novikov

Also available in: Atom