Search ...
Новости
Проекты
EMV-ядро
Платежные сервисы
Микро-ядро
Программное обеспечение для POS терминалов
Система управления автоматизированным парковочным комплексом sPARK
Генератор кода
Система временных рассуждений
Средство рассуждения на основе темпоральных прецедентов
Публикации
Курсы
Методы контроля программ
Распределенные системы и параллельные вычисления
CASE-технологии
Вычислительные машины, комплексы, системы и сети
Современные архитектуры крупных распределенных программных комплексов и систем
Блог
Информация
Информация для студентов и аспирантов
Как правильно сделать презентацию к выпускной работе
Структура пояснительной записки к выпускной работе
Страницы групп
Контакты
Главная
»
Проекты
»
Микро-ядро
»
Язык h
»
Компилятор HCL
Компилятор HCL
Информация о выпусках.
2018.12.21
Поддержка переотправки сообщений ?event, ?activator и сообщений из параметров сообщений ?event и ?activator.
Сборка 20181126
Скачать сборку 20181126
Скачать
7.72MB, скачан: 147 раз
Список изменений
2018.11.26
Поддержка переменных типа message.
Поддержка инициализаторов сообщений.
Улучшение механизма линковки.
Сборка 20181114
Скачать сборку 20181114
Скачать
7.69MB, скачан: 144 раз
Список изменений
2018.11.14
Улучшение оптимизаций байт-кода.
Улучшение назначений регистров.
Свертки и оптимизации в параметрических Verify.
Поддержка конструкции Switch.
Поддержка новых инструкций виртуальной машины h.next.
Генерация более компактного байт-кода.
2018.08.31
Встроенный генератор сегмента сообщений (более не внешний процесс).
Сборка 20180808
Скачать сборку 20180808
Скачать
7.68MB, скачан: 168 раз
Список изменений
2018.08.08
Новая версия компилятора h.next.
Поддержка ускоренных ядром операций со строками.
Поддержка операторов ? и ?? в h.next.
Сборка 20180618
Скачать сборку 20180618
Скачать
10.81MB, скачан: 185 раз
Список изменений
2018.06.18
Поддержка новых функций системной библиотеки h.next.
Сборка 20180510
Скачать сборку 20180510
Скачать
7.62MB, скачан: 189 раз
Список изменений
2018.05.10
Поддержка спецификаций форматов данных при генерации кода h.next.
Поддержка отправок сообщений через переменные (не конструированием).
2018.05.06
Оптимизация машин состояний, компрессия секции переходов.
Сборка 20180424
Скачать сборку 20180424
Скачать
7.60MB, скачан: 186 раз
Список изменений
2018.04.24
Расширено число поддерживаемых функций h.next.
Генерация условных отправок в h.next.
Сборка 20180330
Скачать сборку 20180330
Скачать
7.58MB, скачан: 191 раз
Список изменений
2018.03.30
Улучшение генератора кода h.next.
2018.03.11
Рефакторинг в функциях преобразования декларативного кода.
2018.03.07
Связывание декларативного кода с функциями h.next.
2018.03.06
Связывание декларативного кода с функциями системной библиотеки.
Сборка 20180305
Скачать сборку 20180305
Скачать
7.56MB, скачан: 194 раз
Список изменений
2018.03.05
Поддержка компиляции модулей h.next.
2018.03.03
Улучшен механизм распределения регистров виртуальной машины.
Унифицированные реакции.
2018.02.23
Поддержка компиляции в байт-код h.next.
Сборка 20180215
Скачать сборку 20180215
Скачать
96.32kB, скачан: 183 раз
Список изменений
2018.02.15
Анализ потоков исполнения для оптимизации назначения регистров.
2018.02.14
Улучшение алгоритма назначения имен локальным переменным.
2018.02.09
Расширение числа случаев размещения параметров активатора в регистрах.
Алгоритм экономного расхода регистров под локальные переменные.
2018.02.07
Внедрение трансформаций в вычислимые выражения (формы).
2018.02.06
Расширение случаев автоматического внедрения в генерируемый код отображений (вставка нескольких трансформаций по не обходимости).
2018.02.04
Кэширование дублируемых вычислений.
2018.02.03
Автоматическое написание и внедрение спецификаций форматов данных (DFS) - встраивание трансформации для сворачивания Verify в Send/Raise.
Сборка 20180128
Скачать сборку 20180128
Скачать
88.17kB, скачан: 180 раз
Список изменений
2018.01.28
Поддержка параметров в генерируемых DSL-выражениях.
2018.01.24
Поддержка интерполированных строк в процедурах.
Поддержка мета-переменной $Machine (строковое имя модуля).
Сборка 20180122
Скачать сборку 20180122
Скачать
87.84kB, скачан: 174 раз
Список изменений
2018.01.22
Ограниченная поддержка интерполяции строк.
Улучшение стабильности механизма слияния ключей.
Сборка 20171219
Скачать сборку 20171219
Скачать
86.33kB, скачан: 175 раз
Список изменений
2017.12.19
Исправление ошибки разворачивания конструкции Call следом за DSL-выражением.
Сборка 20171214
Скачать сборку 20171214
Скачать
N/A, скачан: 0 раз
Список изменений
2017.12.14
Улучшение механизмов слияния конструкций H, выводимых из DSL-выражений.
Сборка 20171126
Скачать сборку 20171126
Скачать
82.30kB, скачан: 172 раз
Список изменений
2017.11.26
Поддержка операторов в DSL.
Сборка 20171018
Скачать сборку 20171018
Скачать
81.89kB, скачан: 193 раз
Список изменений
2017.10.18
Исправление в генерируемом коде неэффективных фрагментов (большее число локальных переменных размещается в регистрах).
Сборка 20171011
Скачать сборку 20171011
Скачать
81.77kB, скачан: 172 раз
Список изменений
2017.10.11
Оптимизация компилятора.
2017.08.18
Маркировка оптимизированных потоков для Raise, Raise/Store.
Сборка 20170815
Скачать сборку 20170815
Скачать
79.21kB, скачан: 173 раз
Список изменений
2017.08.15
Критические исправления кода разворачивания .Length.
Сборка 20170810
Скачать сборку 20170810
Скачать
79.80kB, скачан: 189 раз
Список изменений
2017.08.10
Улучшение генерации кода при использовании конструкции Continue.
2017.08.08
Замена конструкций .Length на sizeof.
Компрессия проверок в условных конструкциях.
Вырезание недостижимых секций из Verify.
Сборка 20170807
Скачать сборку 20170807
Скачать
78.57kB, скачан: 174 раз
Список изменений
2017.08.07
Исправление проблемы повреждения Await конструкций при разворачивании DSL.
Сборка 20170731
Скачать сборку 20170731
Скачать
78.52kB, скачан: 172 раз
Список изменений
2017.07.31
Компрессия условных секций в Verify.
Поддержка длинных путей.
2017.07.30
Улучшение алгоритма сжатия трансформаторов.
Улучшение алгоритма именования локальных переменных.
2017.07.29
Улучшение кода транслятора.
2017.07.28
Улучшение правил разбивки обработчиков по Receive - секциям.
Улучшение механизма генерации машин состояний. Выделение и вырезание общих фрагментов во всех путях исполнения обработчика в отдельный обработчик.
Сборка 20170724
Скачать сборку 20170724
Скачать
76.27kB, скачан: 171 раз
Список изменений
2017.07.24
Оптимизация транслятора.
Критические обновления механизма именования локальных переменных в генерируемом коде.
Сборка 20170714
Скачать сборку 20170714
Скачать
75.08kB, скачан: 183 раз
Список изменений
2017.07.14
Компрессия трансформаторов.
2017.07.12
Улучшенный алгоритм размещения переменных в регистрах виртуальной машины.
Сокращение числа секций Set.
Сборка 20170710
Скачать сборку 20170710
Скачать
73.71kB, скачан: 178 раз
Список изменений
2017.07.10
Упрощение условных секций в Verify.
2017.07.09
Оптимизация вычисления переменной Self.
Расширение числа поддерживаемых регистров.
Улучшенный алгоритм вычисления ?activator.SourceId.
2017.07.08
Расширение списка оптимизированных потоков.
Сборка 20170707
Скачать сборку 20170707
Скачать
73.04kB, скачан: 171 раз
Список изменений
2017.07.07
Использование регистра $A для хранения адреса источника сообщения-активатора.
2017.07.05
Оптимизация Verify - вырезание бессмысленных проверок (финальных секций без реакций).
Сборка 20170704
Скачать сборку 20170704
Скачать
72.31kB, скачан: 192 раз
Список изменений
2017.07.04
Исправлена ошибка разворачивания DSL перед мультисекционным Send.
2017.07.03
Определение и маркирование инструкций Verify, которые могут быть обработаны оптимизированным потоком.
Разрезание несбалансированных обработчиков.
Статическое вычисление и инструментирование результата GetBytes на этапе компиляции.
Статическое вычисление и инструментирование результата MakeByteVector на этапе компиляции.
2017.07.02
Автоматическое упрощение составных обрабочиков по линии Receive.
2017.07.01
Автоматическое устранение конструкции Default из Verify по машине состояний.
Улучшение механизма разворачивания DSL выражений.
Алгоритм упрощения условий в рамках секций Verify.
Автоматическое слияние секций Verify с одинаковой реакции.
2017.06.30
Простановка флага 'optimized flow' для коротких инструкций Send.
2017.05.25
Новые виды DSL конструкций.
2017.05.23
Автоматическое сворачивание конфликтующих Send-секций в мультисекционную конструкцию.
2017.03.06
Увеличение пула доступных локальных регистров для C++ кода.
2016.11.04
Использование механизма правил трансформации Megalith.Ai.
Поддержка коротких инструкций Raise.
Ускорение конверсии.
2016.10.17
Починка проблем с разворачиванием On.
Поддержка Create в секции Links.
2016.10.15
Подключение в единую инфраструктуру проекта Megalith.
Сборка 20160707
Скачать сборку 20160707
Скачать
39.78kB, скачан: 177 раз
Список изменений
2016.07.07
Улучшение возможностей параметризации DSL-выражений. Конструкция … может использоваться не только в конце выражения, но и в произвольном месте.
Поддержка конструкции $.
Поддержка нового типа DSL выражений — операторов.
Сборка 20160706
Скачать сборку 20160706
Скачать
39.04kB, скачан: 181 раз
Список изменений
2016.07.06
Поддержка загрузки шаблонов DSL из папки references/dsl.
Сборка 20160704
Скачать сборку 20160704
Скачать
39.02kB, скачан: 165 раз
Список изменений
2016.07.04
Оптимизация компилятора.
2016.06.12
Сокращенный синтаксис Answer с автодополнением.
Срезание ненужных Lambda-выражений типа concat с одним аргументом.