Project

General

Profile

Activity

From 08/18/2013 to 09/16/2013

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

08/26/2013

11:16 PM Revision 387e1459 (cfe): Как-то generate работает... WTF-ветвлениями
TODO
- Все WTF-ветвления должны быть исправлены
m.bakhterev
10:10 PM Revision f16fd7c1 (cfe): Ещё один generate, выявляющий fuck up в дереве
m.bakhterev
02:40 PM Revision 16e06085 (cfe): Процедура generate вынесена в отдельный модуль
m.bakhterev

08/25/2013

04:28 PM Revision b8d41c88 (lime-kit): Редакция 0.dev-33.475
- В основном, уточнения make-файлов m.bakhterev
04:26 PM Revision 050db5a7 (cfe): Очередные уточнения make-файлов
m.bakhterev
04:24 PM Revision e24c7468 (gen): Очередные уточнения make-файлов
m.bakhterev
04:22 PM Revision 3a37e836 (lime): Очередные уточнения make-файлов
m.bakhterev

08/24/2013

08:31 PM Revision cfff10c0 (cfe): Логика GENFLAGS изменена на точные совпадения
m.bakhterev

08/23/2013

11:34 AM Revision d1861aca (lime-kit): Скрипт для за-push-ивания изменений
m.bakhterev
11:14 AM Revision 7bf0a8a6 (lime-kit): Редакция 0.dev-33.468
- Почищены makefile-ы. И исходники от ручных объявлений внешних
библиотечных функций.
- Добавлены clean-цели в нек...
m.bakhterev
11:11 AM Revision c6820e62 (drv): Флаги для более чистой сборки и отказ от killpg
m.bakhterev

08/22/2013

08:41 PM Revision f37f00de (gen): Небольшая перестановка исходников
m.bakhterev
08:39 PM Revision e439be7f (gen): Merge remote-tracking branch 'tab/master'
m.bakhterev
04:35 PM Revision daa9a57b (gen): В makefile добавлены цели clean
m.bakhterev
04:18 PM Revision 9db5ddb2 (lime): В makefile добавлены цели clean
m.bakhterev
02:37 PM Revision a496f0f4 (mkenv): Refreshed cygwin-gcc toolchain options
m.bakhterev
02:37 PM Revision df3f7127 (drv): Уточнения для сборки в обновлённом Cygwin
m.bakhterev
02:36 PM Revision f4bbfd7c (lime): Уточнения для сборки в обновлённом Cygwin
m.bakhterev
02:34 PM Revision 01201495 (cfe): Уточнения для сборки в обновлённом Cygwin
m.bakhterev
12:20 PM Revision 7901f558 (gen): Тест с умножением матриц
a13X_B_multiclet

08/21/2013

02:52 PM Revision 203f47f2 (lime-kit): Версия 0.dev-33.454
m.bakhterev
02:44 PM Revision ab21d042 (cfe): Merge remote-tracking branch 'efi/master' into HEAD
m.bakhterev
02:41 PM Revision 26d72e3c (lime): WIP evalforms. DagMap опять разобран на части
m.bakhterev

08/19/2013

03:34 PM Revision 8b45326a (cfe): #ifdef generate
a.efimov_multiclet
03:06 PM Revision 27b2b709 (lime): WIP evalforms. push/pop context
TODO:
- наконец-то нужно приступить к загрузке синтаксиса;
- и продолжить в выводе графа
m.bakhterev
02:10 PM Revision 917afca5 (lime): WIP evalforms. .FEPut с трёхэтажными параметрами
m.bakhterev
11:53 AM Revision c1f5f044 (lime-kit): Верися 0.dev-33.447
m.bakhterev
11:53 AM Revision fc14f609 (lime): WIP evalforms. WIP .FEPut
m.bakhterev
11:51 AM Revision cb7b371f (gen): Убираем UNDERCLIPSE
m.bakhterev
11:47 AM Revision 490f59d7 (cfe): Убраны чрезмерные сообщения об ошибках в make
m.bakhterev
10:18 AM Revision 849b30b6 (gen): отладка main
a13X_B_multiclet

08/17/2013

12:19 AM Revision 08ec5d68 (lime): WIP evalforms; WIP .FEPut. Разбор .FLook
m.bakhterev
 

Also available in: Atom