Activity
From 11/07/2012 to 12/06/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 описание синтаксиса. Для строгости нужны уточнения:
- - описание отношений <·, ·> и ·=
- техника работы со скобками, ошибками и унарными операторами в стандартных терминах;
11/29/2012
- 11:27 PM Revision 0130a794 (lime): Синтаксис, последние штрихи: необходимо уточнение (). WIP
- 02:35 PM Revision 4cbb7323 (lime): Синтаксис, последние штрихи. WIP
- 10:26 AM Revision d3fe8618 (lime): Синтаксис почти описан. Нужен пример и уточнения
11/27/2012
11/26/2012
- 10:03 PM Revision a13022af (lime): Упрощая «.»
- 09:51 PM Revision 0afe4223 (lime): Ок. Точка в деле об унарной «.»
- Скорее всего нужно отходить от традиционных си-указателей в самом LiME,
ибо в исходных текстах Linux стрелка на стрел...
11/24/2012
11/23/2012
11/22/2012
11/20/2012
- 01:29 AM Revision 5517e7db (lime): Облегчённая и несколько обобщённая (в атомах) версия LX
- 12:36 PM Revision 1ec0669b (lime): some positive (?) 2
11/19/2012
- 01:55 AM Revision c20e01e6 (lime): some positive (?)
- 01:03 AM Revision 29c8df23 (lime): ok; the ideal is unreachable (?)
- 11:15 PM Revision aeeef5e3 (lime): new experiments with fixed syntax
11/17/2012
11/16/2012
Also available in: Atom