Project

General

Profile

Actions
Summary

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Author Assignee Target version
10364 Bug New Normal Ubuntu19: ERROR while compiling astraver-translator.v20.0 Denis Efremov Mikhail Mandrykin Actions
10361 Feature New High Static initialization of flexible array members is an unsupported GNU extension Evgeny Novikov Mikhail Mandrykin Actions
10027 Bug New Normal jc: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin Actions
10026 Bug New Normal postaction_term: unexpected term: &v_n_1 Denis Efremov Mikhail Mandrykin Actions
10025 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 Bug New Normal jessie: typing error: numeric, boolean or pointer types expected for == and != Denis Efremov Mikhail Mandrykin Actions
10022 Bug New Normal internal error: named literals bug Denis Efremov Mikhail Mandrykin Actions
10021 Bug New Normal jessie: typing error: Unsupported range in term, sorry Denis Efremov Mikhail Mandrykin Actions
10020 Bug New Normal global names conflict Denis Efremov Mikhail Mandrykin Actions
10019 Bug Open Normal LoopCurrent label support Denis Efremov Mikhail Mandrykin Actions
9959 Bug New Normal Frama-C (CIL) сannot assign to non-modifiable lval Ilja Zakharov Actions
9709 Bug New Normal astraver: support calls annotation Denis Efremov Mikhail Mandrykin Actions
9708 Bug New Normal astraver: attach#global: called on already dead object Denis Efremov Mikhail Mandrykin Actions
9669 Bug New Normal verker: make sprove-proved, make verify-proved hungs Denis Efremov Mikhail Mandrykin Actions
9600 Bug New Normal Why3Ide: "Fastest" button broken Denis Efremov Mikhail Mandrykin Actions
9598 Feature New Normal coq: driver: rewrite && to -> in inductive defitions; use let Denis Efremov Mikhail Mandrykin Actions
9563 Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin Actions
9526 Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin Actions
9284 Bug New Normal jingoo 1.2.18 падает generate.ml Grigoriy Volkov Mikhail Mandrykin Actions
8578 Bug New Normal Моделирование escape char '\e' Denis Efremov Mikhail Mandrykin Actions
8451 Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin Actions
8031 Bug New Normal Why3IDE не запускается из-за неверной темы Eugene Kornykhin Actions
    (1-22/22)

    Also available in: Atom CSV PDF