Evgeny Novikov

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

12:25 PM Klever Bug #9220: Bridge fails if max disk limitation is 0: This is one more unpleasant regression.
12:12 PM Klever Bug #9219: Start decision job page looks badly: This is another regression.
12:10 PM Klever Bug #9218: Admin cannot view jobs tree: This is a regression caused by recent changes. CI does not detect this as there is not such the issue for Manager.

06:20 PM Klever Revision 49327d98: Partially fix previous merge
05:55 PM Klever Revision 18dc4ad8: Merge branch 'master' into klever-2.0: I didn't manage to resolve all merge conflicts...

04:25 PM Klever Bug #9199: Pages are missed: This is a regression caused by recent changes.
04:25 PM Klever Bug #9200: Marks with zero similarity participate in 'incompatible' marks: There is another issue for the similarity limit. Here it is just required to avoid incompatible marks when similariti...

12:38 PM Klever Feature #9013 (Closed): Get rid of redundant caches: This great improvement is in master since commit:29f75b3ec. As there is no more issues for Klever version:1.1, that c...

Also available in: Atom

Open-Source Projects