Project

General

Profile

Activity

From 11/17/2012 to 12/16/2012

12/16/2012

05:31 PM Revision 36a27eea (lime): Небольшие перестановки. Работа над депарсером продолжается
m.bakhterev

12/14/2012

09:59 AM Revision 1bfda99b (lime): Начата работа над депарсером
m.bakhterev

12/13/2012

02:45 AM Revision 13f3aabe (lime): Ещё одна чистка синтаксиса. Можно считать, что он beta
m.bakhterev
10:43 PM Revision 6a015fde (lime): Небольшой cleanup
m.bakhterev
07:56 PM Revision d0cc2c5f (lime): Уточнения относительно parentheses и space apply
m.bakhterev

12/11/2012

10:42 AM Revision 8783524d (lime): Уточнена документация по форматам. Нужно почистить -apply
Видимо, наметилась большая путаница с p- и s- apply операторами. Но тут
можно дополнительно поработать, и свести всё ...
m.bakhterev

12/07/2012

10:11 AM Revision 7b693133 (lime): Альфа вариант синтаксиса
m.bakhterev

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
 

Also available in: Atom