General

Profile

Denis Efremov

Issues

Projects

Activity

01/16/2019

07:08 PM Deductive Verification Tools for Linux Kernel Bug #8452 (Closed): ocamlscript в зависимостях сборки jessie2
07:08 PM Deductive Verification Tools for Linux Kernel Bug #7873 (Closed): Не удалось установить jessie
07:08 PM Deductive Verification Tools for Linux Kernel Bug #8450 (Verified): официальная инструкция сборки устарела

10/08/2018

07:13 PM Дополнительные материалы к монографии Bug #9298: Проверить актуальность ссылок в библиографии
Скрипт для пробивки ссылок на 404...
07:10 PM Дополнительные материалы к монографии Bug #9298: Проверить актуальность ссылок в библиографии
Битые ссылки:...
06:42 PM Дополнительные материалы к монографии Bug #9301: Глава 7. Поправить трансляцию SubjectAccessesType
Сейчас так:...
06:07 PM Дополнительные материалы к монографии Bug #9299: Глава 7. Поправить пример delete_user
Сейчас так:...

10/04/2018

04:28 PM Дополнительные материалы к монографии Bug #9301 (Closed): Глава 7. Поправить трансляцию SubjectAccessesType
В коде python сбито форматирование. Трансляция не совсем корректна.
04:25 PM Дополнительные материалы к монографии Bug #9299 (Closed): Глава 7. Поправить пример delete_user
Убрать из листинга не используемый параментр subject. Поправить как в Event-B, так и в трансляции на python.
04:24 PM Дополнительные материалы к монографии Bug #9298 (New): Проверить актуальность ссылок в библиографии
Некоторые ссылки из библиографии более не актуальны. В них отсутствует информация, изначально там присутствовавшая. П...

Also available in: Atom