Project

General

Profile

Task #3934

Дополнительные операции

Added by Sergey Smolov over 7 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
-
Start date:
11/27/2012
Due date:
% Done:

100%

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

Description

1. Реализовать операции для Logic-типов - ABS, ADD, DIV, MINUS, MOD (для integer - остаток от деления), MUL (умножение), NEG (отрицание), POS, POWER (ступень), REM (для integer и real - остаток от деления);

2. Реализовать операции для битовых векторов - CONCAT, EQUALS, NEQUALS, XOR, ROL (циклический сдвиг влево), ROR (циклический сдвиг вправо)

History

#1

Updated by Sergey Smolov over 7 years ago

  • Status changed from Open to Resolved
#2

Updated by Alexander Kamkin over 7 years ago

  • Project changed from GAA Extractor to Retrascope
#3

Updated by Sergey Smolov over 7 years ago

  • Status changed from Resolved to Verified
#4

Updated by Sergey Smolov over 7 years ago

  • Status changed from Verified to Closed

Выполнение операций теперь производится в проекте Java Constraint Solver API. Тикет закрываю.

#5

Updated by Sergey Smolov over 7 years ago

  • % Done changed from 30 to 100

Also available in: Atom PDF