Project

General

Profile

Activity

From 08/28/2013 to 09/26/2013

09/26/2013

11:25 AM MCC/LiME Revision 6ccc6801 (lime): Наведение небольшого порядка в списках
m.bakhterev

09/24/2013

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

09/23/2013

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

09/22/2013

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

09/20/2013

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

09/19/2013

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

09/18/2013

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

09/15/2013

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

09/11/2013

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

09/10/2013

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

09/09/2013

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

09/05/2013

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

09/04/2013

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

09/03/2013

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

09/02/2013

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

08/30/2013

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

08/29/2013

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

08/28/2013

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

Also available in: Atom