Evgeny Novikov

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


open closed Total
Assigned issues 176 535 711
Reported issues 378 1058 1436


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



11:29 AM Klever Feature #10990 (New): Describe configuration of verification tools
Ilja has developed an approach for configuration of verification tools a long ago, but he did not describe it. We nee... Evgeny Novikov


05:52 PM Klever Bug #10920 (Closed): Reschedule verification tasks resulting to OOM
All tests passed and demonstrated that the issue has gone, so, I merged the branch to master in commit:6fb78ab26. Evgeny Novikov


06:06 PM Klever Bug #10920 (Resolved): Reschedule verification tasks resulting to OOM
Ilja fixed the issue in branch _out-of-mem-problem_ that undergoes testing at the moment. Evgeny Novikov
06:00 PM Klever Revision 6fb78ab2: Merge branch 'master' into out-of-mem-problem
Evgeny Novikov


08:05 PM Klever Klever 3.3
The most noticeable work in Klever version:3.3 is a new section "Development of Environment Model Specifications":htt... Evgeny Novikov
01:11 PM Klever Revision 8b0c241b: Split some long strings better
Evgeny Novikov
11:57 AM Klever Revision d4e892ad: Improve some long string spliting
Evgeny Novikov


03:47 PM Klever Revision f3ad322f: Fix typo in unknown mark pattern
Evgeny Novikov


04:43 PM Klever Revision 38144a71: Fix orphan model
Yet another example that demonstrates that even trivial test cases are
better than nothing.
Evgeny Novikov


08:56 PM Klever Revision 160b1fe0: Revert "Specify negative regressions after recent changes"
This reverts commit a36b282867b37165e53db4b04b9e9df08c3dbe4e. Evgeny Novikov

Also available in: Atom