Project

General

Profile

Feature #10112

'--no-phase' command line option for 'cfg-gadd-transformer' engine

Added by Sergey Smolov 9 months ago. Updated 8 months ago.

Status:
Resolved
Priority:
Normal
Assignee:
Category:
Engine (Transformer)
Target version:
Start date:
02/12/2020
Due date:
% Done:

100%

Estimated time:
Published in build:

Description

An option for CFG-to-GADD transformer engines that creates phase-free GADD.
Working in this mode, the engine elaborates all the execution paths of the target CFG, so, being enabled, the option cause more intensive computing resources consumption.

Associated revisions

Revision 0492e536 (diff)
Added by Sergey Smolov 9 months ago

cfg-gadd-transformer: '--no-phase' option (#10112)

When enabled, the option notes CFG-to-GADD transformer
engine to create phase free GADD with an algorithm, that
elaborates all the execution paths of the target CFG,
not guarded action sub-paths.

Signed-off-by: Sergey Smolov <>

Revision 2b6fed65 (diff)
Added by Sergey Smolov 8 months ago

gadd-efsm-transformer: fixes to phase-free algorithm (#10112)

Signed-off-by: Sergey Smolov <>

Revision 35b7d72c (diff)
Added by Sergey Smolov 8 months ago

gadd-efsm-transformer: fixes to phase-free algorithm (#10112)

Signed-off-by: Sergey Smolov <>

Revision 7ef6fa24 (diff)
Added by Sergey Smolov 8 months ago

gadd-efsm-transformer: meta info (#10112)

Signed-off-by: Sergey Smolov <>

History

#1

Updated by Sergey Smolov 9 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Done in 0492e536

#2

Updated by Sergey Smolov 8 months ago

  • Subject changed from '--no-phase' option for cfg-gadd-transformer to '--no-phase' command line option for 'cfg-gadd-transformer' engine

Also available in: Atom PDF