Activity
From 09/09/2013 to 10/08/2013
10/08/2013
- 01:44 PM Улучшение #36 (Закрыта): 3.2.3. Как поменять местами несколько контекстов вывода?
- Как поменять местами несколько контекстов вывода?
- 01:44 PM Улучшение #35 (Закрыта): 3.2.2. Как аккуратно сослаться на определённый накопленный контекст вывода
- граф + набор форм + набор готовых выходов + набор накопленных входов.
- 01:43 PM Улучшение #34 (Закрыта): 3.2.1. По каким условиям прекратить вывод и вернуться обратно?
- По каким условиям прекратить вывод и вернуться обратно?
- 01:42 PM Улучшение #33 (Закрыта): 3.2. Выразить в терминах переходов между разными окружениями смену контекста вывода текущего окружения.
- Выразить в терминах переходов между разными окружениями смену контекста вывода текущего окружения.
- 01:42 PM Улучшение #32 (Закрыта): 3.1. Согласование с более продуманным интерфейсом библиотеки.
- Несложно. Чисто техническая задача
- 01:41 PM Улучшение #31 (Закрыта): 3. Внутреннее согласование процедуры progress с порождением и разрушением окружений.
- Внутреннее согласование процедуры progress с порождением и разрушением окружений.
- 01:41 PM Улучшение #30 (Закрыта): 2.4. Оценка переменных (конструкция .S).
- Здесь тоже всё просто. Были бы типы и окружения. Типы будут, окружения тоже
- 01:40 PM Улучшение #29 (Закрыта): 2.3.2. Занесение привязки типа к некоторому имени при помощи .TEnv.
- Не должно быть сложно. Всё к этому готово. Были бы сконструированы сами окружения! Вот где сложность
- 01:39 PM Улучшение #28 (Закрыта): 2.3.1. .T рекурсивная оценка с созданием таблицы, похожей на таблицу атомов. Должно быть несложно
- .T рекурсивная оценка с созданием таблицы, похожей на таблицу атомов. Должно быть несложно
- 01:38 PM Улучшение #27 (Закрыта): 2.3. Оценка типов (конструкции .T и .TEnv)
- Оценка типов (конструкции .T и .TEnv)
- 01:37 PM Улучшение #26 (Закрыта): 2.2 Переход в сконструированное окружение
- Переход в сконструированное окружение
- 01:37 PM Улучшение #25 (Закрыта): 2.1.2. Конструирование с инициализацией узла. 3-параметрический вариант
- Конструирование с инициализацией узла. 3-параметрический вариант
- 01:37 PM Улучшение #24 (Закрыта): 2.1.1. Простое конструирование, без инициализации узла. 2-параметрический вариант .E
- Простое конструирование, без инициализации узла. 2-параметрический вариант .E
- 01:36 PM Улучшение #23 (Закрыта): 2.1. Конструирование цепочек дочерних окружений конструкцией .E
- Конструирование цепочек дочерних окружений конструкцией .E
- 01:35 PM Улучшение #22 (Закрыта): 2. Загрузка полного графа программы с учётом привязки типов и переменных к окружениям
- Загрузка полного графа программы с учётом привязки типов и переменных к окружениям
- 01:35 PM Улучшение #21 (Закрыта): 1.3 Окружения, таблицы и отображения должны быть Array *
- Окружения, таблицы и отображения должны быть Array *
- 01:35 PM Улучшение #20 (Закрыта): 1.2 Там, где подразумеваются списки должны быть параметры List *
- Там, где подразумеваются списки должны быть параметры List *
- 01:34 PM Улучшение #19 (Закрыта): 1.1 Всё, что касается выражений должно задаваться структурой Ref
- Всё, что касается выражений должно задаваться структурой Ref
- 01:34 PM Улучшение #18 (Закрыта): 1. Согласование интерфейса библиотеки
- 01:34 PM Улучшение #17 (Закрыта): 4.4 Генерация ассемблерного кода версии 2
- Генерация ассемблерного кода версии 2
- 01:33 PM Улучшение #16 (Закрыта): 4.3 Переменные и структуры данных
- Переменные и структуры данных
- 01:33 PM Улучшение #15 (Закрыта): 4.2 Генерация триадного графа и перенос на него алгоритмов сортировки в линейное представление параграфов
- Генерация триадного графа и перенос на него алгоритмов сортировки в линейное представление параграфов
- 01:33 PM Улучшение #14 (Закрыта): 4.1 Реализация собственной функциональности для конструирования выражений из триад
- Реализация собственной функциональности для конструирования выражений из триад
- 01:32 PM Улучшение #13 (Закрыта): 4. Отказ от использования LCC для генерации инструкций ассемблера
- Отказ от использования LCC для генерации инструкций ассемблера
- 01:32 PM Улучшение #12 (Закрыта): 3. Инициализация стрктур и массивов.
- Зависит от АЕ:1.1
- 01:31 PM Улучшение #11 (Закрыта): 2.1 Вызов процедур. Реализация конструкций .call и .arg
- Вызов процедур. Реализация конструкций .call и .arg
- 01:31 PM Улучшение #10 (Закрыта): 2. Поддержка процедур
- 01:31 PM Улучшение #9 (Закрыта): 1.2 Реализация задающей константу конструкции .offset для определения смещений для полей в структурах данных.
- Зависит от МБ:2
- 01:30 PM Улучшение #8 (Закрыта): 1.1 Распространение конструкции .size на составные типы.
- Зависит от МБ:2
- 01:30 PM Улучшение #7 (Закрыта): 1. Поддержка работы с размещением и адресацией переменных
- Поддержка работы с размещением и адресацией переменных
- 01:30 PM Улучшение #6 (Закрыта): 2. Разработка системы форм для цикла for.
- Зависит от МБ:3.2
- 01:29 PM Улучшение #5 (Закрыта): 1.2 Поддержка short-переменных. Разбиение на пары байтов при чтении и записи с корректным распространением знака
- Поддержка short-переменных. Разбиение на пары байтов при чтении и записи с корректным распространением знака
- 01:29 PM Улучшение #4 (Закрыта): 1.1 Инициализация структур и массивов.
- Инициализация структур и массивов.
- 01:28 PM Улучшение #3 (Закрыта): 1. Доработка llfe - компоненты, которая умеет забирать в нашу систему код LLVM.
- Доработка llfe - компоненты, которая умеет забирать в нашу систему код LLVM.
10/02/2013
10/01/2013
- 02:50 PM Revision dc0e5c2c (lime): Ref и Array поправлены. tst-array работает
- 01:22 PM Revision 1fe40d7a (lime): Согласование интерфейсов. Убраны явные Node
- Без Node получается более простая логика во многих случаях. Плюс
управление памятью сосредотачивается только в управл...
09/29/2013
09/26/2013
09/24/2013
09/23/2013
- 07:02 PM Revision e5257f25 (lime): С новыми ENV кое-что компилируется
- TODO:
- Но, чёрт побери, их опять надо менять
09/22/2013
09/20/2013
- 05:32 PM Revision 0b7f3c6f (gen): комментырии к коду
- 09:25 AM Revision c5c1dba8 (gen): минимальная рабочая версия с env
09/19/2013
09/18/2013
- 03:41 PM Revision 73bbba2e (gen): промежуточный вариант генерациии функций
- 11:04 AM Revision 3dcf044e (lime): microfix
- 11:02 AM Revision ff860f07 (lime-kit): Редакция 0.dev-38.528: llfe включён в проект
- 08:05 AM Revision 7d428fa4 (lime-kit): Редакция 0.dev-38.526
- Временно бросаем все силы на поддержку llfe
- 08:04 AM Revision b2d23c67 (lime): Нужно переключиться на поддержку llfe
- Значит, прежде надо реализовать то, что можно было сделать чуть
потом: окружения из символов и типов
09/15/2013
- 10:59 PM Revision 1a289028 (lime-kit): Редакция 0.dev-37.521
- - Поменялся интерфейс lime: параметры map, описывающие узлы,
которые содержат графы в атрибутах, исключены. Этот пр... - 10:46 PM Revision d9ec8e0a (lime): dag в узлах. Из интерфейса исключён параметр map
09/11/2013
- 09:08 PM Revision 05207e0a (lime): Обновлённая система печати структур данных
- Распечатываются контексты. Можно считать, что intake-и работают
с вероятностью 10%
TODO:
- Надо что-то решать с map... - 03:20 PM Revision fe180b52 (gen): добавлено: and, or, xor
- исправлено: cvt
09/10/2013
- 05:23 PM Revision b41debdf (lime): dumpenvironment перенесена в общий lib/lime/dump.c
- TODO
- Научить dumpattrlist обрабатывать: U == NULL, узел вне карты
узлов, режим отладочной печати.
- Научить dump... - 04:36 PM Revision f6ba648e (lime): Печать списков сведена к dumplist
- Предполагается, что когда U не нужен, его можно указывать равным
0.
strlist сведена к dumplist, которая сведена к du... - 12:56 PM Revision e71842ec (lime): intakeout на своём месте. Не отлажено
- Для этого пришлось:
- теперь getform возвращает тот ключ, по которому ей удалось
найти форму в окружении;
- сама ... - 11:52 AM Revision 7c9be6af (lime-kit): Редакция 0.dev-37.502
- 11:38 AM Revision ea161359 (lime): Не протестированная реализация intakeout
- WIP:
- progress;
- evalforms.
TODO
- надо куда-нибудь в progress вставить intakeout
09/09/2013
- 10:03 PM Revision dbd0abb3 (lime): Неясно, насколько стабильная, но версия intakeform
- WIP:
- evalforms;
- progress.
TODO:
- intakeouts;
- infer - 12:01 PM Revision b7c8d50f (lime): WIP intakeform
Also available in: Atom