General

Profile

Pavel Andrianov

  • Login: andrianov
  • Email: andrianov@ispras.ru
  • Registered on: 08/08/2012
  • Last connection: 08/24/2021

Issues

open closed Total
Assigned issues 4 11 15
Reported issues 31 54 85

Projects

Project Roles Registered on
Build Analyzer Developer 04/19/2017
C Instrumentation Framework Reporter 02/27/2018
Aspectator Reporter 02/27/2018
Kartographer Reporter, Customer 04/07/2017
Klever Developer RO 09/04/2015
Linux Driver Verification Developer 08/08/2013
LDV Tools Developer 03/17/2018
CPAchecker Developer 07/28/2018
CVC3 with small optimizations for BLAST Developer 07/25/2018
Linux Kernel Safety RuleDB Developer 10/16/2014

Activity

04/28/2021

09:01 PM Klever Bug #10826 (New): Klever uploads witnesses very slow
Right now verification takes about 20 minutes and then Klever uploads 400 witnesses about 4 hours. Previous version o... Pavel Andrianov

04/26/2021

12:31 PM Klever Bug #10824 (Closed): Producer can not get the status of solving job
I created a specific user for starting jobs via CLI. It successfully sends the request with @klever-start-preset-solu... Pavel Andrianov

04/01/2021

11:09 AM Klever Bug #10784 (Closed): Klever fails with "identifier: Ensure this field has no more than 255 characters."
I launched a job, some tasks were successfully solved, but at some point I had decision(corrupted) and error message ... Pavel Andrianov

03/31/2021

05:47 PM Klever Feature #10782 (Closed): Generating link for job comparison
We need a feature to launch a job with Klever CLI and then, if there is a difference, generate a link for job compari... Pavel Andrianov
11:59 AM Klever Revision 6e1e0fc9: Fixes and updates according to the analysis results
Pavel Andrianov

03/23/2021

09:30 PM Klever Revision f3624f11: Updates of config
Pavel Andrianov
09:29 PM Klever Revision 1f709fc7: Merge remote-tracking branch 'origin/pfg-internal-modules' into harmonyos
Pavel Andrianov

03/18/2021

03:43 PM Klever Revision a2f4f4bc: Merge branch 'master' into harmonyos
Pavel Andrianov
03:27 PM Klever Revision 03a81d89: Add more specifications
Pavel Andrianov

03/12/2021

04:30 PM Klever Revision 69cee2e3: Adjust variable names in tests
Pavel Andrianov

Also available in: Atom