Activity
From 11/30/2012 to 12/29/2012
12/16/2012
- 01:00 AM Revision 4d99684f (lime): Работа над депарсером
- 05:31 PM Revision 36a27eea (lime): Небольшие перестановки. Работа над депарсером продолжается
12/14/2012
12/13/2012
- 02:45 AM Revision 13f3aabe (lime): Ещё одна чистка синтаксиса. Можно считать, что он beta
- 10:43 PM Revision 6a015fde (lime): Небольшой cleanup
- 07:56 PM Revision d0cc2c5f (lime): Уточнения относительно parentheses и space apply
12/11/2012
- 10:42 AM Revision 8783524d (lime): Уточнена документация по форматам. Нужно почистить -apply
- Видимо, наметилась большая путаница с p- и s- apply операторами. Но тут
можно дополнительно поработать, и свести всё ...
12/07/2012
12/06/2012
- 03:55 PM Revision 163c9cd6 (lime): Microstep
12/05/2012
- 11:42 PM Revision d685c11a (lime): Синтаксис. Почти взят
- 08:52 PM Revision 4ac90cf0 (lime): Синтаксис формализован. В процессе доказательств нужных свойств
12/04/2012
- 02:48 AM Revision 26b948d6 (lime): Синтаксис. Формализация
- 08:09 PM Revision a3423569 (lime): Фиксация промежуточных результатов перед переходом к идее повсеместного использования смещений
11/30/2012
- 10:28 AM Revision 37f5ec21 (lime): Достаточное для продолжения работ над фасадом C99 описание синтаксиса. Для строгости нужны уточнения:
- - описание отношений <·, ·> и ·=
- техника работы со скобками, ошибками и унарными операторами в стандартных терминах;
Also available in: Atom