Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9548 VerKer - Verification of Linux Kernel Library Functions Bug New Normal Добавить loop assigns во все примеры Denis Efremov Denis Efremov
9547 VerKer - Verification of Linux Kernel Library Functions Bug New Normal Сломались тесты Denis Efremov Denis Efremov
9529 Deductive Verification Tools for Linux Kernel Bug Closed Normal Jessie2: добавить нормальную опцию по выбору имени для output файлов Denis Efremov Denis Efremov
9528 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: Sprove: позволять указывать стратегии аргументом командной строки Denis Efremov Denis Efremov
9527 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: Sprove: улучшить вывод информации о запуске стратегий Denis Efremov Denis Efremov
9526 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin
9525 Deductive Verification Tools for Linux Kernel Bug New Normal Установка Coq Denis Efremov Mikhail Mandrykin
9524 Deductive Verification Tools for Linux Kernel Bug New Normal Переименование плагина Jessie Denis Efremov Mikhail Mandrykin
9523 Deductive Verification Tools for Linux Kernel Bug New Normal ACSL-By-Example: this kind of memory access is not currently supported: *\result Denis Efremov Mikhail Mandrykin
9522 Deductive Verification Tools for Linux Kernel Bug New High ACSL-By-Example: This application creates an illegal alias Denis Efremov Mikhail Mandrykin
9301 Дополнительные материалы к монографии Bug Closed Normal Глава 7. Поправить трансляцию SubjectAccessesType Denis Efremov Denis Efremov
9299 Дополнительные материалы к монографии Bug Closed Normal Глава 7. Поправить пример delete_user Denis Efremov Denis Efremov
9298 Дополнительные материалы к монографии Bug New Normal Проверить актуальность ссылок в библиографии Denis Efremov Ilya Shchepetkov
8578 Deductive Verification Tools for Linux Kernel Bug New Normal Моделирование escape char '\e' Denis Efremov Mikhail Mandrykin
8452 Deductive Verification Tools for Linux Kernel Bug Closed Normal ocamlscript в зависимостях сборки jessie2 Denis Efremov
8451 Deductive Verification Tools for Linux Kernel Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin
8450 Deductive Verification Tools for Linux Kernel Bug Verified Normal официальная инструкция сборки устарела Denis Efremov
8311 Deductive Verification Tools for Linux Kernel Bug Closed Normal Why3: failure in package uninstall script (cannot find install-sh) Denis Efremov Mikhail Mandrykin
8207 Deductive Verification Tools for Linux Kernel Bug Closed Normal jessie fails to install with coq coqide Denis Efremov Mikhail Mandrykin
8030 Verification Tool Supports Bug Closed Normal dismember: отсутствие спецификация для библиотечной функции get_cred Denis Efremov
8029 Verification Tool Supports Bug Closed Normal dismember: неправильное разрешение циклов для функций Denis Efremov
7985 Deductive Verification Tools for Linux Kernel Bug Closed Normal opam: репозиторий недоступен из-за просроченного сертификата Denis Efremov
7818 Verification Tool Supports Bug New Low graph: web: vis.js и viz.js Denis Efremov Denis Efremov
7817 Verification Tool Supports Feature New Low dismember: рефакторинг кода Denis Efremov Denis Efremov
7816 Verification Tool Supports Feature Closed Low исходные коды полного модуля Denis Efremov Denis Efremov
(1-25/44) Per page: 25, 50

Also available in: Atom CSV PDF