Pavel Andrianov
- Login: andrianov
- Email: andrianov@ispras.ru
- Registered on: 08/08/2012
- Last connection: 04/01/2021
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 4 | 11 | 15 |
Reported issues | 31 | 52 | 83 |
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/01/2021
-
11:09 AM Klever Bug #10784 (New): 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 ...
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...
-
11:59 AM Klever Revision 6e1e0fc9: Fixes and updates according to the analysis results
03/23/2021
-
09:30 PM Klever Revision f3624f11: Updates of config
-
09:29 PM Klever Revision 1f709fc7: Merge remote-tracking branch 'origin/pfg-internal-modules' into harmonyos
03/18/2021
-
03:43 PM Klever Revision a2f4f4bc: Merge branch 'master' into harmonyos
-
03:27 PM Klever Revision 03a81d89: Add more specifications
03/12/2021
-
04:30 PM Klever Revision 69cee2e3: Adjust variable names in tests
-
02:02 PM Klever Revision d4931049: Update CPAchecker version
Also available in: Atom