[ssa] [Итоги недели]

[Максим Иванов]

Так, что у нас есть на текущий момент?

В репозитории есть код на плюсах, который (вероятнее всего), выполняет
проверку эквивалентности двух сса форм, одна из которых заведомо верная,
следующим образом: проверка не заведомл верной на то, что каждое имя в ней
определено один раз, проверка эквивалентности программ(количество блоков,
количество инструкций в каждом блоке, сами инструкции, переменна, в которую
уходит результат, тип её, переменные/константы - аргументы) и проверка на
соответствие переменных с разными именама. Затем проверка на
эквивалентность сса форм, а именно проверка совпадения кол-ва и качества
фи-функций. По сути, если правильно впихнуть это в ежуж, то должно
заработать.

Так же есть десяток тестов: исходная программа и две её сса-формы, в одной
из которых поменены местами фи-функции и аргументы.

Плюс Саня сейчас пытается понять, можно ли адекватно переписать парсер,
чтобы исправленную qbe можно было дать испытуемому, чтобы у него не
возникло особых проблем с написанием решения.

Если что-то забыл, напишите.

Что нам надо: <s>шоколада</s>
Ещё немного тестов для каждого тестового случая, чтобы сса-форма была
похожа на правду, но верной не была, чтобы проверить возможность чекера
вычислять и неверные случаи.
Этим в принципе я могу заняться.

Ну и эталонное решение, но это, скдя по всему, пока ждёт, потому что с
парсером не разобрались.

Ну и в ежуж это всё пихать - та ещё головная боль
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://compilers.ispras.ru/pipermail/ssa/attachments/20180415/90cfb650/attachment.html>