General

Profile

Denis Efremov

Issues

Projects

Activity

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): Проверить актуальность ссылок в библиографии
Некоторые ссылки из библиографии более не актуальны. В них отсутствует информация, изначально там присутствовавшая. П...

08/01/2018

04:02 PM Verification Tool Supports Bug #7818: graph: web: vis.js и viz.js
https://github.com/dagrejs/dagre/wiki
https://github.com/dagrejs/dagre-d3/wiki
http://js.cytoscape.org/

07/07/2018

04:40 PM VerKer - Verification of Linux Kernel Library Functions Revision 95aa586b (verker): protocols: verification protocols update
01:46 PM VerKer - Verification of Linux Kernel Library Functions Revision ed84d09c (verker): travis: wget - don't download solvers if they are in cache

Also available in: Atom