General

Profile

Pavel Andrianov

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

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
klever-atomic-context Manager, Developer 05/06/2024
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/10/2025

04:06 PM Klever Revision 25650ae4: Working version of docker compose deployment
Pavel Andrianov

04/07/2025

06:45 PM Klever Revision 5ee19334: Change verifier profiles to yaml
Note: `codemirror` library seems to correspond to v5.38.0.
`yaml.js` file is from v5.65.15 and comes from https://git... Pavel Andrianov

03/17/2025

01:52 PM Klever Revision 575e2f71: Simplification in verifier profiles.
* Remove separation between `templates` and `profiles`
* Remove verifier info from specifications Pavel Andrianov

02/26/2025

05:21 PM Klever Revision d8ca78b2: Change configuration format for scheduler files from json to yml
Pavel Andrianov

01/13/2025

04:10 PM Klever Revision 03071605: Update Klever with JDK-17 for new CPALocator, SMGCPA and CPAChecker for reachability
Release Klever 4.0 Pavel Andrianov

12/07/2024

08:03 AM Klever CPALockator-05ba0c5.tar.xz
Pavel Andrianov

12/03/2024

03:43 PM Klever Revision 89ad7e6a: Fix hanging of PW in case of empty subjobs configurations
Pavel Andrianov

11/22/2024

05:00 PM Klever Revision a0ad3b6c: Fix a problem with missed verifier files
Pavel Andrianov

11/07/2024

03:47 PM Klever Revision 09abf2c7: Revert some changes in cross-ref collection
Cross-references has some dependencies in `Weaver`: cross-ref data is collected in `additional sources` directory wit... Pavel Andrianov

11/05/2024

03:46 PM Klever Revision 3a8360bf: Remove one more file and fix a bug:
* Replace one more data transfer from file to python structure (`task.json` after `FVTP`).
* Fix a bug from previous ... Pavel Andrianov

Also available in: Atom