Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10361 Deductive Verification Tools for Linux Kernel Feature New High Static initialization of flexible array members is an unsupported GNU extension Evgeny Novikov Mikhail Mandrykin Actions
10471 Deductive Verification Tools for Linux Kernel Feature New Normal Support ARM architecture Evgeny Novikov Mikhail Mandrykin Actions
10364 Deductive Verification Tools for Linux Kernel Bug New Normal Ubuntu19: ERROR while compiling astraver-translator.v20.0 Denis Efremov Mikhail Mandrykin Actions
10019 Deductive Verification Tools for Linux Kernel Bug Open Normal LoopCurrent label support Denis Efremov Mikhail Mandrykin Actions
10027 Deductive Verification Tools for Linux Kernel Bug New Normal jc: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin Actions
10026 Deductive Verification Tools for Linux Kernel Bug New Normal postaction_term: unexpected term: &v_n_1 Denis Efremov Mikhail Mandrykin Actions
10025 Deductive Verification Tools for Linux Kernel Bug New Normal jessie: typing error: This operation on numeric values requires potentially unsafe or ambiguous type conversion that should be explicitly specified (the values' types are `uint64' and `int32') Denis Efremov Mikhail Mandrykin Actions
10024 Deductive Verification Tools for Linux Kernel Bug New Normal jessie: typing error: numeric, boolean or pointer types expected for == and != Denis Efremov Mikhail Mandrykin Actions
10022 Deductive Verification Tools for Linux Kernel Bug New Normal internal error: named literals bug Denis Efremov Mikhail Mandrykin Actions
10021 Deductive Verification Tools for Linux Kernel Bug New Normal jessie: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin Actions
10020 Deductive Verification Tools for Linux Kernel Bug New Normal global names conflict Denis Efremov Mikhail Mandrykin Actions
9709 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: support calls annotation Denis Efremov Mikhail Mandrykin Actions
9708 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: attach#global: called on already dead object Denis Efremov Mikhail Mandrykin Actions
9669 Deductive Verification Tools for Linux Kernel Bug New Normal verker: make sprove-proved, make verify-proved hungs 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
9563 Deductive Verification Tools for Linux Kernel Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin Actions
9526 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin Actions
9284 Deductive Verification Tools for Linux Kernel Bug New Normal jingoo 1.2.18 падает generate.ml Grigoriy Volkov Mikhail Mandrykin Actions
8578 Deductive Verification Tools for Linux Kernel Bug New Normal Моделирование escape char '\e' Denis Efremov Mikhail Mandrykin Actions
8451 Deductive Verification Tools for Linux Kernel Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin Actions
2692 Linux Kernel Safety RuleDB Feature Resolved Normal 100: TTY should not be NULL when it is passed to TTY processing functions Evgeny Novikov Mikhail Mandrykin Actions
2742 Linux Kernel Safety RuleDB Feature Open Normal 106: The gadget driver, char device number, and class device should be unregistered in reverse order of registration Evgeny Novikov Mikhail Mandrykin Actions
3306 Linux Kernel Safety RuleDB Feature Open Normal 132: Usb device reference counting with usb_get_dev/usb_put_dev and interface_to_usbdev Mikhail Mandrykin Mikhail Mandrykin Actions
3313 Linux Kernel Safety RuleDB Feature New Normal 134: Error handling for critical functions in probe() Mikhail Mandrykin Mikhail Mandrykin Actions
(1-25/30) Per page: 25, 50

Also available in: Atom CSV PDF