Сообщество » MCC/LiME

12/30/2013

02:58 PM Revision d3114a51 (gen): WARNING

main.c:355 вытаскивает неправильный биндинг(?) a13X_B_multiclet

01:45 PM Revision c1ad06fa (cfe): Поправки позиций.

o.annenkova@multiclet

12/27/2013

08:00 PM Revision b38d2ee8 (lime): Предварительный вариант реализации форм

m.bakhterev

12/25/2013

07:43 PM Revision 81176f77 (cfe): Добавлены вычисления hint для бинарных операторов

o.annenkova@multiclet

12/24/2013

10:39 AM Revision 3bd27155 (lime): Уточнения алгоритма вывода

m.bakhterev

12/19/2013

12:48 AM Revision 78b18490 (lime): Кое что об F, G, Eval и Q

m.bakhterev

12/18/2013

07:06 PM Revision 42c2de46 (lime): Убран lib/lime/walkdag.c

m.bakhterev

03:27 PM Revision 4f54428b (lime): dumptypes и относительно корректные PTR

m.bakhterev

12/17/2013

03:52 PM Revision a00c3f11 (lime-kit): Редакция 0.dev-51.619

m.bakhterev

03:13 PM Revision 8b600833 (lime-kit): Редакция 0.dev-51.618

Выход на финишную прямую для LiME
TODO:
- Удостовериться в работоспособности llfe под Cygwin.
- Вывод в контекстах ... m.bakhterev

12/10/2013

09:34 PM Revision c5777497 (lime): Проход в глубину для type- и sym-eval. Типы для символов

TODO:
Дальше формы m.bakhterev

08:44 PM Revision 8c50647f (lime): Оценка S-узлов (всё у нас пока на уровне alpha)

m.bakhterev

04:56 PM Revision 506ee9ad (dbg): Указатели.

o.annenkova@multiclet

11:47 AM Revision bfb52afd (lime-kit): Редакция 0.dev-50.610

- Предварительная реализация 3t типов (T, TEnv, TDef). llfe
генерация в соответствии с этой схемой.
- Доработки ви... m.bakhterev

11:33 AM Revision 728ffa27 (lime): Реализация listnth

m.bakhterev

10:45 AM Revision 1fd6f34a (lime): WIP 3t типы. TDef и поправленный rewrite

m.bakhterev

12/08/2013

12:28 AM Revision bcb442a6 (lime-kit): Редакция 0.dev-50.596

m.bakhterev

12:19 AM Revision 5b6be02f (mkenv): FIX DBG режим сборки

m.bakhterev

11:56 PM Revision 405c87b4 (lime): WIP 3t типы. keymap разделена на lookup и readin

Для облегчения работы с ключами поиска, особенно в lookup
процедурах, чтобы не приходилось следить за структурой ключ... m.bakhterev