Activity
From 11/12/2012 to 12/11/2012
12/11/2012
- 10:42 AM MCC/LiME Revision 8783524d (lime): Уточнена документация по форматам. Нужно почистить -apply
- Видимо, наметилась большая путаница с p- и s- apply операторами. Но тут
можно дополнительно поработать, и свести всё ...
12/07/2012
- 10:11 AM MCC/LiME Revision 7b693133 (lime): Альфа вариант синтаксиса
12/06/2012
- 03:55 PM MCC/LiME Revision 163c9cd6 (lime): Microstep
12/05/2012
- 11:42 PM MCC/LiME Revision d685c11a (lime): Синтаксис. Почти взят
- 08:52 PM MCC/LiME Revision 4ac90cf0 (lime): Синтаксис формализован. В процессе доказательств нужных свойств
12/04/2012
- 02:48 AM MCC/LiME Revision 26b948d6 (lime): Синтаксис. Формализация
- 08:09 PM MCC/LiME Revision a3423569 (lime): Фиксация промежуточных результатов перед переходом к идее повсеместного использования смещений
11/30/2012
- 10:28 AM MCC/LiME Revision 37f5ec21 (lime): Достаточное для продолжения работ над фасадом C99 описание синтаксиса. Для строгости нужны уточнения:
- - описание отношений <·, ·> и ·=
- техника работы со скобками, ошибками и унарными операторами в стандартных терминах;
11/29/2012
- 11:27 PM MCC/LiME Revision 0130a794 (lime): Синтаксис, последние штрихи: необходимо уточнение (). WIP
- 02:35 PM MCC/LiME Revision 4cbb7323 (lime): Синтаксис, последние штрихи. WIP
- 10:26 AM MCC/LiME Revision d3fe8618 (lime): Синтаксис почти описан. Нужен пример и уточнения
11/27/2012
- 06:09 PM MCC/LiME Revision 888afd7e (lime): Вопрос унарной «.» решён. Работа над описанием синтаксиса
11/26/2012
- 10:03 PM MCC/LiME Revision a13022af (lime): Упрощая «.»
- 09:51 PM MCC/LiME Revision 0afe4223 (lime): Ок. Точка в деле об унарной «.»
- Скорее всего нужно отходить от традиционных си-указателей в самом LiME,
ибо в исходных текстах Linux стрелка на стрел...
11/24/2012
- 03:42 AM MCC/LiME Revision a9701388 (lime): Может быть, может быть...
11/23/2012
- 11:15 AM MCC/LiME Revision c576f40a (lime): работа над синтаксисом
11/22/2012
- 07:24 AM MCC/LiME Revision 66f9c339 (lime): переработка синтаксиса
11/20/2012
- 01:29 AM MCC/LiME Revision 5517e7db (lime): Облегчённая и несколько обобщённая (в атомах) версия LX
- 12:36 PM MCC/LiME Revision 1ec0669b (lime): some positive (?) 2
11/19/2012
- 01:55 AM MCC/LiME Revision c20e01e6 (lime): some positive (?)
- 01:03 AM MCC/LiME Revision 29c8df23 (lime): ok; the ideal is unreachable (?)
- 11:15 PM MCC/LiME Revision aeeef5e3 (lime): new experiments with fixed syntax
11/17/2012
- 08:57 PM MCC/LiME Revision 0b894dab (lime): Новый вариант структуры
11/16/2012
Also available in: Atom