Project

General

Profile

Activity

From 11/24/2013 to 12/23/2013

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

12/01/2013

01:08 PM Revision 3583300c (lime): WIP 3t типы. TEnv
TODO:
Нужен новый интерфейс к окружениям. Разделение на пару процедур:
выделения новой записи и поиск уже существующ...
m.bakhterev

11/28/2013

02:07 PM Revision 7a914bec (dbg): help
o.annenkova@multiclet
12:58 PM Revision 20106fb3 (dbg): Визуализация ассемблерного кода.
o.annenkova@multiclet

11/27/2013

11:30 AM Revision d0545ad7 (lime): WIP 3t типы. exprewrite и обработка T-выражений
m.bakhterev

11/26/2013

01:51 PM Revision f225e432 (dbg): Типы и атомы.
o.annenkova@multiclet

11/25/2013

03:25 PM Revision aa25bca1 (lime): WIP 3t типы. Предварительная версия typeenummap
m.bakhterev
03:13 PM Revision 9bcc75a6 (lime): WIP 3t типы. Отметка от окружении для E-узлов
Теперь enveval безусловно запоминает, какое окружение определяет
E-узел
m.bakhterev
01:07 PM Revision 7316fe98 (lime): WIP Типы. Переход на 3T-схему: T, TEnv, TDef
m.bakhterev
11:25 AM Revision e4a5e43c (lime-kit): Редакция 0.dev-48.587
- Дальше продвинутый отладочный визуализатор.
- Более приспособленный к новой системе типов кодогенератор.
TODO:
- ...
m.bakhterev
 

Also available in: Atom