Project

General

Profile

Feature #9335

cgaa-assert-extractor engine

Added by Sergey Smolov about 1 year ago. Updated 5 months ago.

Status:
Closed
Priority:
Normal
Category:
Engine (Extractor)
Target version:
Start date:
10/18/2018
Due date:
% Done:

100%

Estimated time:
Published in build:
1.1.1-beta-190722

Description

Engine that extracts 'is-def' and 'is-use' constraints for every variable of every process of the design.
The extracted data should be printed to stdout in text format, like the following:

variable 'x'
============

process_1
------------
is_def_x = <SMT-LIB format formulae>
is_use_x = <SMT-LIB format formulae>

process_2
------------
....

variable 'y'
============

process_3
------------
is_def_y = <SMT-LIB format formulae>
is_use_y = <SMT-LIB format formulae>

process_4
------------
....

History

#1

Updated by Sergey Smolov 11 months ago

  • Category set to Engine (Extractor)
#2

Updated by Mikhail Lebedev 5 months ago

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

Updated by Sergey Smolov 5 months ago

  • Published in build set to 1.1.1-beta-190722
  • Status changed from Resolved to Closed

Also available in: Atom PDF