Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9669 Deductive Verification Tools for Linux Kernel Bug New Normal verker: make sprove-proved, make verify-proved hungs Denis Efremov Mikhail Mandrykin Actions
9668 Deductive Verification Tools for Linux Kernel Bug New Normal astraver-translator: add opam dependency for Frama-C Denis Efremov Mikhail Mandrykin Actions
9600 Deductive Verification Tools for Linux Kernel Bug New Normal Why3Ide: "Fastest" button broken Denis Efremov Mikhail Mandrykin Actions
9598 Deductive Verification Tools for Linux Kernel Feature New Normal coq: driver: rewrite && to -> in inductive defitions; use let Denis Efremov Mikhail Mandrykin Actions
9548 VerKer - Verification of Linux Kernel Library Functions Bug Closed Normal Добавить loop assigns во все примеры Denis Efremov Denis Efremov Actions
9547 VerKer - Verification of Linux Kernel Library Functions Bug Closed Normal Сломались тесты Denis Efremov Denis Efremov Actions
9529 Deductive Verification Tools for Linux Kernel Bug Closed Normal Jessie2: добавить нормальную опцию по выбору имени для output файлов Denis Efremov Denis Efremov Actions
9528 Deductive Verification Tools for Linux Kernel Bug Closed Normal Why3: Sprove: позволять указывать стратегии аргументом командной строки Denis Efremov Denis Efremov Actions
9527 Deductive Verification Tools for Linux Kernel Bug Closed Normal Why3: Sprove: улучшить вывод информации о запуске стратегий Denis Efremov Denis Efremov Actions
9526 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin Actions
9525 Deductive Verification Tools for Linux Kernel Bug Closed Normal Установка Coq Denis Efremov Mikhail Mandrykin Actions
9524 Deductive Verification Tools for Linux Kernel Bug Closed Normal Переименование плагина Jessie Denis Efremov Mikhail Mandrykin Actions
9523 Deductive Verification Tools for Linux Kernel Bug Closed Normal ACSL-By-Example: this kind of memory access is not currently supported: *\result Denis Efremov Mikhail Mandrykin Actions
9522 Deductive Verification Tools for Linux Kernel Bug Closed High ACSL-By-Example: This application creates an illegal alias Denis Efremov Mikhail Mandrykin Actions
9301 Дополнительные материалы к монографии Bug Closed Normal Глава 7. Поправить трансляцию SubjectAccessesType Denis Efremov Denis Efremov Actions
9299 Дополнительные материалы к монографии Bug Closed Normal Глава 7. Поправить пример delete_user Denis Efremov Denis Efremov Actions
9298 Дополнительные материалы к монографии Bug Closed Normal Проверить актуальность ссылок в библиографии Denis Efremov Ilya Shchepetkov Actions
8578 Deductive Verification Tools for Linux Kernel Bug New Normal Моделирование escape char '\e' Denis Efremov Mikhail Mandrykin Actions
8452 Deductive Verification Tools for Linux Kernel Bug Closed Normal ocamlscript в зависимостях сборки jessie2 Denis Efremov Actions
8451 Deductive Verification Tools for Linux Kernel Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin Actions
8450 Deductive Verification Tools for Linux Kernel Bug Closed Normal официальная инструкция сборки устарела Denis Efremov Actions
8311 Deductive Verification Tools for Linux Kernel Bug Closed Normal Why3: failure in package uninstall script (cannot find install-sh) Denis Efremov Mikhail Mandrykin Actions
8207 Deductive Verification Tools for Linux Kernel Bug Closed Normal jessie fails to install with coq coqide Denis Efremov Mikhail Mandrykin Actions
8030 Verification Tool Supports Bug Closed Normal dismember: отсутствие спецификация для библиотечной функции get_cred Denis Efremov Actions
8029 Verification Tool Supports Bug Closed Normal dismember: неправильное разрешение циклов для функций Denis Efremov Actions
(1-25/48) Per page: 25, 50

Also available in: Atom CSV PDF