Project

General

Profile

Activity

From 11/07/2012 to 12/06/2012

12/06/2012

03:55 PM Revision 163c9cd6 (lime): Microstep
m.bakhterev

12/05/2012

11:42 PM Revision d685c11a (lime): Синтаксис. Почти взят
m.bakhterev
08:52 PM Revision 4ac90cf0 (lime): Синтаксис формализован. В процессе доказательств нужных свойств
m.bakhterev

12/04/2012

02:48 AM Revision 26b948d6 (lime): Синтаксис. Формализация
m.bakhterev
08:09 PM Revision a3423569 (lime): Фиксация промежуточных результатов перед переходом к идее повсеместного использования смещений
m.bakhterev

11/30/2012

10:28 AM Revision 37f5ec21 (lime): Достаточное для продолжения работ над фасадом C99 описание синтаксиса. Для строгости нужны уточнения:
- описание отношений <·, ·> и ·=
- техника работы со скобками, ошибками и унарными операторами в стандартных терминах;
m.bakhterev

11/29/2012

11:27 PM Revision 0130a794 (lime): Синтаксис, последние штрихи: необходимо уточнение (). WIP
m.bakhterev
02:35 PM Revision 4cbb7323 (lime): Синтаксис, последние штрихи. WIP
m.bakhterev
10:26 AM Revision d3fe8618 (lime): Синтаксис почти описан. Нужен пример и уточнения
m.bakhterev

11/27/2012

06:09 PM Revision 888afd7e (lime): Вопрос унарной «.» решён. Работа над описанием синтаксиса
m.bakhterev

11/26/2012

10:03 PM Revision a13022af (lime): Упрощая «.»
m.bakhterev
09:51 PM Revision 0afe4223 (lime): Ок. Точка в деле об унарной «.»
Скорее всего нужно отходить от традиционных си-указателей в самом LiME,
ибо в исходных текстах Linux стрелка на стрел...
m.bakhterev

11/24/2012

03:42 AM Revision a9701388 (lime): Может быть, может быть...
m.bakhterev

11/23/2012

11:15 AM Revision c576f40a (lime): работа над синтаксисом
m.bakhterev

11/22/2012

07:24 AM Revision 66f9c339 (lime): переработка синтаксиса
m.bakhterev

11/20/2012

01:29 AM Revision 5517e7db (lime): Облегчённая и несколько обобщённая (в атомах) версия LX
m.bakhterev
12:36 PM Revision 1ec0669b (lime): some positive (?) 2
m.bakhterev

11/19/2012

01:55 AM Revision c20e01e6 (lime): some positive (?)
m.bakhterev
01:03 AM Revision 29c8df23 (lime): ok; the ideal is unreachable (?)
m.bakhterev
11:15 PM Revision aeeef5e3 (lime): new experiments with fixed syntax
m.bakhterev

11/17/2012

08:57 PM Revision 0b894dab (lime): Новый вариант структуры
m.bakhterev

11/16/2012

01:22 PM Revision 95b527ca (lime): Перед отходом (навсегда?) от динамического синтаксиса
m.bakhterev
 

Also available in: Atom