Project

General

Profile

Actions

Task #4071

closed

Thoughts/questions on EVerilogOperation

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

Status:
Closed
Priority:
Normal
Category:
-
Target version:
Start date:
04/04/2013
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
0.2

Description

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

Updated by Alexander Kamkin almost 11 years ago

  • Target version set to 0.1
Actions #2

Updated by Sergey Smolov almost 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 #3

Updated by Sergey Smolov almost 11 years ago

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

Actions #4

Updated by Sergey Smolov almost 11 years ago

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

Actions #5

Updated by Sergey Smolov almost 11 years ago

  • % Done changed from 0 to 100
  • Published in build set to 0.2
Actions #6

Updated by Sergey Smolov almost 11 years ago

  • Status changed from Resolved to Closed
Actions

Also available in: Atom PDF