Project

General

Profile

m.bakhterev's activity

From 11/03/2013 to 12/02/2013

12/01/2013

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

11/27/2013

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

11/25/2013

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

11/11/2013

11:00 AM MCC/LiME Revision 5a42efa0 (lime): Уточнение логики makepath
m.bakhterev
09:53 AM MCC/LiME Revision cfc4de2b (lime-kit): Редакция 0.dev-46.581
m.bakhterev

11/10/2013

02:43 AM MCC/LiME Revision 62a0760f (lime): Возможно, адекватный порядок построения окружений
m.bakhterev

11/05/2013

02:11 PM MCC/LiME Revision 31756a82 (lime): Переименование (newarray freearray) -> (newmap freemap)
m.bakhterev
01:55 PM MCC/LiME Revision 13042dad (lime): enummap для нумерации Ref-ов
m.bakhterev

11/03/2013

06:25 PM MCC/LiME Revision d5d8cc47 (lime-kit): Редакция 0.dev-44.565
- В lime новая версия динамики окружений.
- Модуль dbg для более интерактивной работы с различными
dump-ами внутрен...
m.bakhterev
03:28 PM MCC/LiME Revision ed4083c6 (lime): gcnodes демонстрирует работоспособность
TODO:
Вливаю всё в master
m.bakhterev
 

Also available in: Atom