General

Profile

Pavel Andrianov

  • Login: andrianov
  • Email: andrianov@ispras.ru
  • Registered on: 08/08/2012
  • Last connection: 09/18/2023

Issues

open closed Total
Assigned issues 4 11 15
Reported issues 31 56 87

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

07/25/2023

10:31 AM Klever Revision 6f38e8ee: Add more checks for pylint
Pavel Andrianov

07/21/2023

04:40 PM Klever Revision c5a82c76: Add pylint check stage
Pavel Andrianov

07/12/2023

03:53 PM Klever Revision 0486ef7e: Disable master pipelines
Pavel Andrianov
11:16 AM Klever Revision b5d200fa: Initial stages with Klever unit tests
Pavel Andrianov

05/11/2022

06:13 PM Klever Bug #11586 (Closed): Operator cannot modify job files
Now 'operator' role can just restart an existed job. He can create a new version of a job, and cannot modify new vers... Pavel Andrianov

03/01/2022

10:56 AM Klever Feature #11450 (Closed): Forbid creating job directories for users without permissions
Now a guest user (a new registered, for example) can create job directories. This should be forbidden until an admin ... Pavel Andrianov

11/01/2021

11:19 AM Klever Feature #10997: Update CPALockator
I updated CPALockator in branch CPALockator-update:38751. Pavel Andrianov

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

Also available in: Atom