Завершена проверка

Экспресс, предложенный на лекции 16 марта, и контрольная работа №1 проверены. Домашняя работа, собиравшаяся на лекции 16 марта, будет проверена позже.

Завершена проверка

Проверен экспресс-вопрос №1 (предложенный на лекции 16 февраля) и домашняя работа №1 (собиравшаяся на лекции 16 февраля). Можно посмотреть оценки за работы и сканы.

Обновление инструментов

Инструменты обновились сегодня. Настоятельно рекомендуется обновить их перед использованием. Для этого используйте команды opam update и opam upgrade.

Контрольная работа №2-бис

10 июня в 10:00 состоится вторая контрольная работа по блоку спецификации для пропустивших её 28 апреля. Аудитория проведения станет известна в день проведения, узнавать в 718. Время работы 30 мин.

Дата экзамена

Экзамен обеих групп состоится 16 июня. Экзамен письменный, проводится с 10:00, длительность ориентировочно три часа. Экзамен проверяется в тот же день, показ работ после проверки, ближе к вечеру.

UPD: После начала экзамена (непосредственно после раздачи заданий) можно проставить автоматы.

Верификационная часть практического задания

Для получения верификационной части практического задания (после успешного выполнения спецификационной части) необходимо добавить вашу спецификацию к файлу map.h и прислать его. К функциям, не присутствующим в вашем варианте, не стоит добавлять никаких спецификационных комментариев.

Обратите внимание, что файл map.h со спецификацией нельзя менять во время выполнения верификационной части. Также, в выданных вам *.c-файлах все изменения должны составлять добавление спецификационных комментариев в отдельных строках этого файла. Остальные изменения файлов должны быть предварительно согласованы.

В реализации могут быть ошибки. При обнаружении ошибок, необходимо предложить исправление, согласовать его и только после этого продолжать верификацию.