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
07/21/2023
- 04:40 PM Klever Revision c5a82c76: Add pylint check stage
07/12/2023
- 03:53 PM Klever Revision 0486ef7e: Disable master pipelines
- 11:16 AM Klever Revision b5d200fa: Initial stages with Klever unit tests
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...
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 ...
11/01/2021
- 11:19 AM Klever Feature #10997: Update CPALockator
- I updated CPALockator in branch CPALockator-update:38751.
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...
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...
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 ...
Also available in: Atom