Project

General

Profile

m.bakhterev's activity

From 08/05/2013 to 09/03/2013

09/03/2013

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

08/27/2013

08:31 AM MCC/LiME Revision d7758580 (lime-kit): Master-соединения в publicate экономят ресурсы ssh
m.bakhterev
08:29 AM MCC/LiME Revision 4f0d082f (mkenv): Local headers copying for generated sources
m.bakhterev
08:29 AM MCC/LCC Revision 4f0d082f (mkenv): Local headers copying for generated sources
m.bakhterev

08/26/2013

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

08/25/2013

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

08/24/2013

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

08/23/2013

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

08/22/2013

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

08/21/2013

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

08/19/2013

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

08/17/2013

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

08/15/2013

12:56 AM MCC/LiME Revision a7eb88cd (gen): Более точные mk-файлы и директивы include
m.bakhterev
12:50 AM MCC/LiME Revision 5eb1b048 (lime): lib/lime поднята в lib; более точные mk-файлы
m.bakhterev
11:32 PM MCC/LiME Revision fcaa7f36 (lime): WIP evalforms
m.bakhterev
01:58 PM MCC/LiME Revision da8979ed (mkenv): Configurable toolchain with TCN
m.bakhterev
01:58 PM MCC/LCC Revision da8979ed (mkenv): Configurable toolchain with TCN
m.bakhterev
01:24 PM MCC/LiME Revision d024a1c4 (lime-kit): Редакция 0.dev-32.429
m.bakhterev
09:51 AM MCC/LiME Revision 9393ed37 (cfe): Технический commit
m.bakhterev
09:40 AM MCC/LiME Revision 7e16a283 (lime-kit): Убран чрезмерный отладочный вывод
m.bakhterev

08/14/2013

05:11 PM MCC/LiME Revision c2c5192a (gen): Промежуточный код умножения матриц - 2
m.bakhterev
05:11 PM MCC/LiME Revision 9dfa8d97 (gen): Откат на stdin, если нет /cygdrive/c/in.txt. Matmul в тестах
m.bakhterev

08/13/2013

07:56 AM MCC/LiME Revision c4c73552 (lime): WIP evalforms, infernext. Обработка .FEPut и dumpenvironment
m.bakhterev

08/12/2013

02:03 PM MCC/LiME Revision 5efab8f2 (lime): WIP evalforms. Анти-dot
m.bakhterev
02:00 PM MCC/LiME Revision 685983b6 (lime): WIP evalforms. Аргументы для newform
m.bakhterev
01:36 PM MCC/LiME Revision 600a30c0 (lime): WIP evalforms. Обход странных особенностей GCC
m.bakhterev
01:03 PM MCC/LiME Revision 65a4e0c3 (lime): Merge remote-tracking branch 'tab/master': правки для PTR
Conflicts:
lib/lime/list.c
m.bakhterev
12:55 PM MCC/LiME Revision 31f9976c (lime): WIP evalforms. Вариант без тестов
m.bakhterev
09:52 AM MCC/LiME Revision 50a74800 (lime): Набросок примитива для обработки форм
TODO:
- в очистке окружений нужно чистить и формы, они там создаются
потенциально в больших количествах;
- evalfo...
m.bakhterev
09:40 AM MCC/LiME Revision d9af9652 (lime-kit): Редакция 0:32.389
m.bakhterev

08/09/2013

05:31 PM MCC/LiME Revision ac6158d4 (lime): DEFLIST переименован в DL с более строгой структурой
m.bakhterev
05:05 PM MCC/LiME Revision f2830153 (lime): DEFLIST для удобства конструирования списков-ключей
m.bakhterev

08/07/2013

09:10 PM MCC/LiME Revision e9073e31 (lime-kit): mkenv приспособленный к gnu make 3.81
m.bakhterev
09:05 PM MCC/LiME Revision 3f822742 (mkenv): Make gnu make 3.81 happier
m.bakhterev
09:05 PM MCC/LCC Revision 3f822742 (mkenv): Make gnu make 3.81 happier
m.bakhterev
02:57 PM MCC/LiME Revision da1dec4f (lime-kit): Обновление модуля cfe
m.bakhterev
02:13 PM MCC/LiME Revision 1aba85b3 (lime-kit): Сборка модулей 2013-08-07
m.bakhterev
02:06 PM MCC/LiME Revision ba4ce6d3 (lime): Fix
m.bakhterev
02:04 PM MCC/LiME Revision 36ac7da1 (lime): Обратно к struct tag
m.bakhterev
01:59 PM MCC/LiME Revision 6feea101 (lime): Правка на тему isascii
m.bakhterev

08/05/2013

04:58 PM MCC/LiME Revision de5192dd (lime-kit): Модуль mkenv
m.bakhterev
04:53 PM MCC/LiME Revision 9f92b792 (lime-kit): Необходимые модули
m.bakhterev
03:48 PM MCC/LiME Revision 9c68249b (lime): Микро-bugfix в окружениях
m.bakhterev
03:29 PM MCC/LiME Revision 497accc7 (lime): Новая логика окружений: push, pop, keytoref, topbindings
m.bakhterev
12:56 PM MCC/LiME Revision 34ae0b57 (lime): Стек окружений с особой обработкой вершины
- lookbinding и readbinding сообщают, найдено ли значение с
соответствующим ключом на вершине стека. Для readbindin...
m.bakhterev
 

Also available in: Atom