Project

General

Profile

Task #4071

Thoughts/questions on EVerilogOperation

Added by Alexander Kamkin almost 8 years ago. Updated over 7 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.

History

#1

Updated by Alexander Kamkin almost 8 years ago

  • Target version set to 0.1
#2

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

#3

Updated by Sergey Smolov almost 8 years ago

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

#4

Updated by Sergey Smolov almost 8 years ago

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

#5

Updated by Sergey Smolov over 7 years ago

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

Updated by Sergey Smolov over 7 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF