Компиляторы осень 2020

Березун Даниил danya.berezun@gmail.com Группа в Телеграм, где можно и нужно задавать вопросы

Get Started

Пререквизиты

• linux (если нет Linux и вы не хотите его устанавливать, то можете поставить его на любую VM (выделите ей хотя бы 2GB оперативной памяти), воспользоваться docker-образом или попытаться использовать Windows Subsystem for Linux (последнее не проверено))
• opam (version >= 2.0.4; to check version run # opam --version; see Installation guide)
• gcc-multilib (ubuntu: sudo apt-get install gcc-multilib)

Установка

• opam init
• eval $(opam env)
• opam switch create 4.08.1
• opam pin ppxlib 0.13.0
• opam pin add -n ostap https://github.com/dboulytchev/ostap.git\#memoCPS
• opam pin add -y lama https://github.com/JetBrains-Research/Lama.git

Простая проверка

• lamac -v
• on any tutorial file (ex. Expressions.lama)
  • lamac Expressions.lama
  • ./Expressions

При желании можно пользоваться "готовым" docker-образом (не забудьте # eval $(opam env))

Плагин для VSC (м.б. нестабилен)

Лекции

• Папка с межкампусными видео
• Плейлист, куда я буду собирать записи лекций и семинаров (возможно с опозданием...)
• Конспект 1 лекции
• Конспект 2 лекции
• Доп ссылки к лекции 3: Ассемблер в Linux для программистов C простым языком, x86 and amd64 instruction reference

Практики и ДЗ

• см. [1]

Как сдавать ДЗ

• Fork репозиторий с дз
• Выполнить дз в соответствующей ветке
• Когда все тесты прошли открыть pull-request в соответствующую домашнему заданию ветку исходного репозитория с дз
• NB:
  • Travis byuild должен успешно завершаться на вашем pull-request (должна появится зелёная галочка рядом с ним; если появился красный крестик, то что-то пошло не так (не компилится или тесты не прошли) --- надо исправить)
  • Ваш pull-request может содержать исключительно изменения необходимых файлов 'src/*.lama' и '.gitignore'; pull-request, изменяющий любые другие файлы будет отклонён и не проверен
• Deadline по каждому заданию: 2 недели (в 19-00 пятницы)

Даты

• Зачёт/экзамен, 24.12.2020 10:00