ШКОЛА_ЗИМА_2024

[VTsarevNSU]

Василий (23янв - 31янв)

• [x] ПАВТ (короткая статья): 23 - 26 января
• [x] создать новый класс Name для обозначения идентификаторов: 29 - 30 января
• [ ] доработать создание вершин типа for и уточнить работу функций-чекеров: 31 января
• [ ] добавить вершины типа while: 31 января

Михаил (23янв - 2 фев)

• [x] ПАВТ (короткая статья): 23 - 26 января
• [x] Задача #43 (обнаруживание использования ФД): 27-28
  • [x] Обнаруживать входные ФД по запросам (rule -> requests)
  • [x] Переписать обнаружение ошибок с помощью input_df и output_df
• [ ] Поддержка if'ов:
  • [x] Поддержка операторов:
  • [x] < меньше
  • [x] <= меньше или равно
  • [x] > больше
  • [x] >= больше или равно
  • [x] == равно
  • [x] != не равно
  • [x] && логическое и
  • [x] || логическое или
  • [x] Условие всегда истинно/ложно: 29 января
  • [ ] Поиск обнаруживаемых ошибок в зависимости от условий: 30-31 января
  • [ ] Проверка эквивалентности простых логических выражений: 1-2 февраля
  • [ ] Поддержка индексированных ФД в логических выражениях: ??