Сообщество

12/31/2012

01:43 PM MCC/LiME Revision 6fc9e7a0 (lime): В работе: deparse, сперцификация семантики

m.bakhterev

12/16/2012

01:00 AM MCC/LiME Revision 4d99684f (lime): Работа над депарсером

m.bakhterev

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

m.bakhterev

12/14/2012

09:59 AM MCC/LiME Revision 1bfda99b (lime): Начата работа над депарсером

m.bakhterev

12/13/2012

02:45 AM MCC/LiME Revision 13f3aabe (lime): Ещё одна чистка синтаксиса. Можно считать, что он beta

m.bakhterev

10:43 PM MCC/LiME Revision 6a015fde (lime): Небольшой cleanup

m.bakhterev

07:56 PM MCC/LiME Revision d0cc2c5f (lime): Уточнения относительно parentheses и space apply

m.bakhterev

12/11/2012

10:42 AM MCC/LiME Revision 8783524d (lime): Уточнена документация по форматам. Нужно почистить -apply

Видимо, наметилась большая путаница с p- и s- apply операторами. Но тут
можно дополнительно поработать, и свести всё ... m.bakhterev

12/07/2012

10:11 AM MCC/LiME Revision 7b693133 (lime): Альфа вариант синтаксиса

m.bakhterev

12/06/2012

03:55 PM MCC/LiME Revision 163c9cd6 (lime): Microstep

m.bakhterev

12/05/2012

11:42 PM MCC/LiME Revision d685c11a (lime): Синтаксис. Почти взят

m.bakhterev

08:52 PM MCC/LiME Revision 4ac90cf0 (lime): Синтаксис формализован. В процессе доказательств нужных свойств

m.bakhterev

12/04/2012

02:48 AM MCC/LiME Revision 26b948d6 (lime): Синтаксис. Формализация

m.bakhterev

08:09 PM MCC/LiME Revision a3423569 (lime): Фиксация промежуточных результатов перед переходом к идее повсеместного использования смещений

m.bakhterev