Task #4071: Thoughts/questions on EVerilogOperation - Fortress - Open-Source Projects

Actions

Copy link

Task #4071

closed

Thoughts/questions on EVerilogOperation

Added by Alexander Kamkin over 11 years ago. Updated over 11 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexander Kamkin

Category:

Target version:

0.1

Start date:

04/04/2013

Due date:

% Done:

100%

Estimated time:

Detected in build:

svn

Published in build:

0.2

Description

Is it really required to separate EVerilogOperation from EStandardOperation?
There is a naming convention in EStandardOperation to start all bit-vector operation with BV. The same could be applied to EVerilogOperation.
I suggest replacing the postfix _REDUCED into the prefix BVR.

Actions

Copy link

Updated by Alexander Kamkin over 11 years ago

Target version set to 0.1

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

Status changed from New to Resolved
Assignee changed from Sergey Smolov to Alexander Kamkin

По пункту 1: в EStandardOperation находятся идентификаторы "родных" (т.е. стандартных) операций языка SMT-LIB. EverilogOperation, по замыслу создателя, хранит идентификаторы операций языка Verilog (VHDL). Мне пока не очевидна необходимость их слияния.

По пунктам 2 и 3: в среду 10.04 пришли к консенсусу, идентификаторы переименованы

r58

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

По первому пункту. Слияние EStandardOperation и EVerilogOperation все же выполнил. Так проще пользоваться билиотекой - нет нужды выискивать, где именно определены требуемые custom operations.

Actions

Copy link

Updated by Sergey Smolov over 11 years ago

Лучше даже сделать так: завести отдельный enum ECustomOperation на все custom-ные операции (не входящие в множество стандартных операций языка SMT-LIB). При таком подходе вызовы методов класса CustomOperations будут выглядеть красивее (makeCustomOperation(ECusotmOperatiom.ID...))

Actions

Copy link