Evgeny Novikov

  • Login: joker
  • Email:
  • Registered on: 06/09/2010
  • Last connection: 09/04/2021


open closed Total
Assigned issues 173 532 705
Reported issues 377 1050 1427


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



09:37 PM Klever Revision 4ab42986: Merge branch 'master' into emg-improve-decomposition-specs
Evgeny Novikov
06:30 PM Klever Feature #10943 (Closed): Add ability to use current job decision configuration by default
Awesome! After some improvements everything begins to work as expected, so, I merged the branch to master in commit:5... Evgeny Novikov
06:24 PM Klever Revision 51e01c2d: Merge branch 'bridge-10943'
Evgeny Novikov
09:36 AM Klever Bug #10919 (Closed): Fail if the input specification has as a recursive unused subprocess action
Tests passed, so, I merged the branch to master in commit:0af09ef5d. Evgeny Novikov


06:11 PM Klever Revision 0af09ef5: Merge branch 'master' into fix-emg-errmsg
Evgeny Novikov
06:07 PM Klever Feature #10946 (New): Provide users with graphical representation of environment models
EMG can draw graphs for generated environment models that can clarify them and help users during development. Let's t... Evgeny Novikov
05:50 PM Klever Feature #9795 (Closed): Highlight all occurrences of pointed identifiers
Perfect! I merged the given branch to master in commit:4c410d3a9. Evgeny Novikov
05:48 PM Klever Revision 4c410d3a: Print code coverage navigation buttons together with highlight one
This is the for Safes and Unknowns already. Evgeny Novikov
05:40 PM Klever Feature #10945 (New): Allow to add savepoints for the main process
Nowadays EMG forbids adding savepoints to the main process that causes users to manually move content of that process... Evgeny Novikov
05:11 PM Klever Feature #10944 (New): Allocate external data for
After fixing #10930 we started to get quite many false alarms due to fixed allocation of memory for _platform_device_... Evgeny Novikov

Also available in: Atom