Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9610 Klever Feature New Urgent Show actual Frama-C (CIL) failures Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9609 Klever Feature Resolved Urgent Avoid recursion in simple tests Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9604 Klever Feature Open Urgent Develop new test suite for CPAchecker on base of Klever integration tests Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9599 Klever Feature New Urgent Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9597 Klever Feature New High Evaluate how much space on disk is necessary at most for verification of all Linux 3.14 kernel loadable modules against 3 requirements Evgeny Novikov Actions
9589 Klever Bug New Urgent Fix obtaining compiler options for building models Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9584 Klever Feature New High Handle one more warning from BenchExec Evgeny Novikov Ilja Zakharov Actions
9583 Klever Feature New Urgent Update CPAchecker Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9581 Klever Bug Closed Immediate Fix population of preset jobs in production mode Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9577 C Instrumentation Framework Feature New Urgent Disable C++ support Evgeny Novikov Evgeny Novikov Actions
9573 Klever Feature Closed Urgent Include deployment of build base intended for preset verification job Linux 3.14 Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9567 Klever Feature Closed Urgent Update BenchExec Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9563 Deductive Verification Tools for Linux Kernel Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin Actions
9561 C Instrumentation Framework Feature Closed Urgent C back-end should support __floatn type specifiers Evgeny Novikov Evgeny Novikov Actions
9560 Deductive Verification Tools for Linux Kernel Bug Closed Urgent Frama-C (CIL) does not support initialization of wide character arrays with wide character literals like GCC Evgeny Novikov Mikhail Mandrykin Actions
9559 C Instrumentation Framework Bug Closed Urgent C back-end incorrectly prints wide character strings Evgeny Novikov Evgeny Novikov Actions
9558 Klever Feature Closed Urgent Install entities properly Evgeny Novikov Evgeny Novikov Klever - 3.0 Actions
9550 C Instrumentation Framework Bug Rejected Urgent Invalid signatures for functions with function pointers as arguments Evgeny Novikov Actions
9549 C Instrumentation Framework Bug Rejected Urgent C back-end provides invalid function prototypes Evgeny Novikov Actions
9546 Deductive Verification Tools for Linux Kernel Bug Closed Urgent Frama-C (CIL) for GCC does not behave like GCC when casting ternary operators Evgeny Novikov Mikhail Mandrykin Actions
9545 Klever Feature New Urgent Increase automatic update period for job pages Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
9544 Deductive Verification Tools for Linux Kernel Bug Closed Urgent Better support of fields declared using flexible array members Evgeny Novikov Mikhail Mandrykin Actions
9543 Deductive Verification Tools for Linux Kernel Bug Closed Urgent Frama-C (CIL) dislikes large enumerators Evgeny Novikov Mikhail Mandrykin Actions
9539 C Instrumentation Framework Feature Closed Urgent Print stub for inline Assembler Evgeny Novikov Evgeny Novikov Actions
9538 Deductive Verification Tools for Linux Kernel Feature Closed High Reduce memory consumption by Frama-C (CIL) Evgeny Novikov Mikhail Mandrykin Actions
(1-25/1202) Per page: 25, 50, 100

Also available in: Atom CSV PDF