Project

General

Profile

3.5

closed

05/27/2022

100%

24 issues   (24 closed — 0 open)

Issues by
Bug

3/3
Feature

21/21
Related issues
Bug #11477: Repair source code highlighting Actions
Bug #11586: Operator cannot modify job files Actions
Bug #11599: Update Clade to avoid hangups Actions
Feature #10934: Test and fix if necessary deployment of Klever on Debian 10/11, Ubuntu 20.04 and openSUSE 15.3 Actions
Feature #10935: Try to use Debian 10 (11) as a base Linux distribution for Klever OpenStack instances Actions
Feature #10937: Migrate Klever to Python 3.10 Actions
Feature #11014: Avoid infinite loops in environment models Actions
Feature #11444: Update CPAchecker SMG Actions
Feature #11450: Forbid creating job directories for users without permissions Actions
Feature #11458: Improve support for Linux 5.10 Actions
Feature #11459: Improve support for Linux 5.17 Actions
Feature #11460: Update Django from 3.0.6 to 4.0.3 Actions
Feature #11461: Update BenchExec to 3.11 Actions
Feature #11462: Update CPALockator Actions
Feature #11463: Update Python packages used by Klever Actions
Feature #11465: Update CIF Actions
Feature #11486: Update Consul Actions
Feature #11487: Update OpenJDK Actions
Feature #11506: Update CIL Actions
Feature #11513: Add pattern search to error traces comparison functions Actions
Feature #11514: Describe how to support new functions for unsafe marks Actions
Feature #11517: Switch Klever Tutorial to Linux 5.5 Actions
Feature #11527: Support generating build bases for test suite on Debian 9 Actions
Feature #11601: Add new translations and fix existing ones Actions