Project

General

Profile

Activity

From 08/27/2013 to 09/25/2013

09/24/2013

03:03 PM Revision 29f71094 (lime): Интерфейс окружений ещё раз. Теперь больше динамики
m.bakhterev

09/23/2013

07:02 PM Revision e5257f25 (lime): С новыми ENV кое-что компилируется
TODO:
- Но, чёрт побери, их опять надо менять
m.bakhterev

09/22/2013

10:13 PM Revision 41387f2c (lime): Новый интерфейс в construct.h
m.bakhterev

09/20/2013

05:32 PM Revision 0b7f3c6f (gen): комментырии к коду
a13X_B_multiclet
09:25 AM Revision c5c1dba8 (gen): минимальная рабочая версия с env
a13X_B_multiclet

09/19/2013

11:46 AM Revision 6df9c184 (lime): Большая чистка и небольшой codereview
m.bakhterev

09/18/2013

03:41 PM Revision 73bbba2e (gen): промежуточный вариант генерациии функций
a13X_B_multiclet
11:04 AM Revision 3dcf044e (lime): microfix
m.bakhterev
11:02 AM Revision ff860f07 (lime-kit): Редакция 0.dev-38.528: llfe включён в проект
m.bakhterev
08:05 AM Revision 7d428fa4 (lime-kit): Редакция 0.dev-38.526
Временно бросаем все силы на поддержку llfe m.bakhterev
08:04 AM Revision b2d23c67 (lime): Нужно переключиться на поддержку llfe
Значит, прежде надо реализовать то, что можно было сделать чуть
потом: окружения из символов и типов
m.bakhterev

09/15/2013

10:59 PM Revision 1a289028 (lime-kit): Редакция 0.dev-37.521
- Поменялся интерфейс lime: параметры map, описывающие узлы,
которые содержат графы в атрибутах, исключены. Этот пр...
m.bakhterev
10:46 PM Revision d9ec8e0a (lime): dag в узлах. Из интерфейса исключён параметр map
m.bakhterev

09/11/2013

09:08 PM Revision 05207e0a (lime): Обновлённая система печати структур данных
Распечатываются контексты. Можно считать, что intake-и работают
с вероятностью 10%
TODO:
- Надо что-то решать с map...
m.bakhterev
03:20 PM Revision fe180b52 (gen): добавлено: and, or, xor
исправлено: cvt a13X_B_multiclet

09/10/2013

05:23 PM Revision b41debdf (lime): dumpenvironment перенесена в общий lib/lime/dump.c
TODO
- Научить dumpattrlist обрабатывать: U == NULL, узел вне карты
узлов, режим отладочной печати.
- Научить dump...
m.bakhterev
04:36 PM Revision f6ba648e (lime): Печать списков сведена к dumplist
Предполагается, что когда U не нужен, его можно указывать равным
0.
strlist сведена к dumplist, которая сведена к du...
m.bakhterev
12:56 PM Revision e71842ec (lime): intakeout на своём месте. Не отлажено
Для этого пришлось:
- теперь getform возвращает тот ключ, по которому ей удалось
найти форму в окружении;
- сама ...
m.bakhterev
11:52 AM Revision 7c9be6af (lime-kit): Редакция 0.dev-37.502
m.bakhterev
11:38 AM Revision ea161359 (lime): Не протестированная реализация intakeout
WIP:
- progress;
- evalforms.
TODO
- надо куда-нибудь в progress вставить intakeout
m.bakhterev

09/09/2013

10:03 PM Revision dbd0abb3 (lime): Неясно, насколько стабильная, но версия intakeform
WIP:
- evalforms;
- progress.
TODO:
- intakeouts;
- infer
m.bakhterev
12:01 PM Revision b7c8d50f (lime): WIP intakeform
m.bakhterev

09/05/2013

03:22 PM Revision cb051945 (lime): Больше логики для external Ref-ов
TODO:
- Необходимо учесть, что в окружения формы могут попадать из
других окружений и тоже использовать там extern...
m.bakhterev

09/04/2013

09:23 PM Revision 2fd26234 (lime-kit): Редакция 0.dev-36.497
m.bakhterev
09:21 PM Revision cb22445f (lime): Внешние (external) ссылки. Учёт их для FORM и LIST
WIP:
- progress;
- evalforms;
FIX:
- поправлен суровый косяк в freelist, который не спускался в
подсписки.
m.bakhterev

09/03/2013

01:02 PM Revision bfc8a60a (gen): развёртка вложенных линейных блоков, если таковые имеются
a13X_B_multiclet
12:25 PM Revision b6b6f50f (cfe): Добавлена обработка ';' с одной веткой в дереве.
a.efimov_multiclet
11:36 AM Revision 34b0b820 (cfe): Уточнение E-конструкций для проверки корректности
m.bakhterev
11:32 AM Revision afe59e58 (lime): Уточнение скрипта для ЭЦП
m.bakhterev

09/02/2013

12:02 AM Revision c21973e8 (lime): Больше деталей в описании алгоритмов с контекстами
m.bakhterev

08/30/2013

04:55 PM Revision d1738461 (lime): Ещё несколько const-полей в некоторых структурах
Может быть, это и overkill, но хочется увеличить уровень
контроля со стороны компилятора. Многие штуки, действительно...
m.bakhterev
01:46 PM Revision 9a186270 (cfe): Правки для совместимости с GCC
m.bakhterev
01:44 PM Revision a4b11ece (lime): Правки под совместимость с GCC
TODO:
- Выяснить уже, кто прав в трактовке структур с const-полями :
Clang или GCC?
m.bakhterev

08/29/2013

06:46 PM Revision d23da4ab (lime): FIX: evallists. Обработка FIn не самая эффективная
m.bakhterev
05:06 PM Revision fce79f73 (lime): Реализация контрольных точек проходит простой тест
WIP:
- evalforms;
- progress.
TODO:
- При тестировании checkpoint на tst-evallists вылезла некая
непонятная ошиб...
m.bakhterev

08/28/2013

03:34 PM Revision 8a13fc81 (cfe): Уточнение формата для E-конструкций
m.bakhterev
10:20 AM Revision c6d527d5 (lime-kit): Редакция 0.dev-35.484
m.bakhterev
10:14 AM Revision bd9aecd1 (mkenv): Local headers copying for generated c-source
m.bakhterev
10:13 AM Revision 8ffa9575 (lime): Первый набросок целевой lime-knl
WIP:
- evalforms;
- progress
m.bakhterev
10:10 AM Revision 12d1513b (cfe): Обновления в выводе E-узлов
TODO:
- Это надо привести к единому для всех конструкций формату
m.bakhterev

08/27/2013

08:31 AM Revision d7758580 (lime-kit): Master-соединения в publicate экономят ресурсы ssh
m.bakhterev
08:29 AM Revision 4f0d082f (mkenv): Local headers copying for generated sources
m.bakhterev
 

Also available in: Atom