Project

General

Profile

Task #3499

Поддержка пользовательских операций

Added by Alexander Kamkin over 8 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
High
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
09/27/2012
Due date:
10/03/2012
% Done:

100%

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

Description

Предлагается добавить в мэпперы возможность обработки операций, не являющихся базовыми для соотвествующего солвера. Для этого предлагается ввести дескрипторы операций, хранящие (1) текстовое представление кода операции и (2) определение функции на соответствующем языке (пустой для встроенных операций).

Для каждой использованной пользовательской операции в начало результирующего кода должно быть добавлено определение соответствующей функции.

P.S. Поскольку библиотека должна быть достаточно универсальной, должен быть предусмотрен мэппинг не только в текст (например, в формат smtlib), но и последовательность вызовов API. То есть есть мысль, что дескрипторы операций хранят не строки, а объекты (интерпретируемые каждым мэппером по своему).

History

#1

Updated by Andrei Tatarnikov over 8 years ago

  • % Done changed from 0 to 20
#2

Updated by Andrei Tatarnikov over 8 years ago

  • % Done changed from 20 to 60
#3

Updated by Andrei Tatarnikov over 8 years ago

  • Status changed from New to Closed
  • % Done changed from 60 to 100
#4

Updated by Alexander Kamkin over 8 years ago

  • Status changed from Closed to Resolved

Андрей, нужно переводить в тикеты в состояние Resolved. Закрытие осуществляется руководителем проекта при выпуске билда или создавшим тикет после проверки.

#5

Updated by Alexander Kamkin almost 8 years ago

  • Target version set to 0.1
#6

Updated by Sergey Smolov over 7 years ago

  • Published in build set to 0.2
#7

Updated by Sergey Smolov over 7 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF