Project

General

Profile

Feature #9300

Implement comfortable configuration of program decomposition for a user

Added by Ilja Zakharov 9 months ago. Updated 8 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Program fragments generation
Target version:
Start date:
10/04/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Currently, program decomposition is controlled by configuration parameters of four sections in job.json which is too complicated for beginners. We propose to implement a separate file with configuration parameters and templates for different kinds of programs and approaches to program decomposition. In job.json few options remain such as program type, target code for verification and a way for decomposition, e.g. verify kernel subsystems or modules. The new file will contain in addition to the description of decomposition strategies ready to use fragmentation sets prepared for some programs with described decomposition to start with. Such sets contain an explicit enumeration of fragments.


Related issues

Related to Klever - Feature #9319: Remove from user unterface options related to building programsClosed10/15/2018

Actions
Blocked by Klever - Feature #9304: Completely remove program compilation from KleverClosed10/04/2018

Actions

History

#1

Updated by Ilja Zakharov 9 months ago

  • Blocked by Feature #9304: Completely remove program compilation from Klever added
#2

Updated by Ilja Zakharov 8 months ago

  • Related to Feature #9319: Remove from user unterface options related to building programs added
#3

Updated by Evgeny Novikov 8 months ago

I suggest the last change to be done for resolving this issue is renaming verification objects with program fragments everywhere.

#4

Updated by Ilja Zakharov 8 months ago

  • Status changed from New to Resolved

Finally this is implemented in Klever-2.0. Now we do not have verification objects and old generation strategies.

#5

Updated by Evgeny Novikov 8 months ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Also available in: Atom PDF