Project

General

Profile

3.1

closed

03/31/2021

100%

37 issues   (37 closed — 0 open)

Issues by
Bug

11/11
Feature

26/26
Related issues
Bug #10670: Invalid CIF is used for getting cross references Actions
Bug #10674: Fix ARM support Actions
Bug #10675: Define architecture specific macro when generating build bases for testing and validation Actions
Bug #10688: Do not hide small blocks of global declarations Actions
Bug #10689: Fix statistics filter Actions
Bug #10703: get() returned more than one UnsafeConvertionCache Actions
Bug #10708: EMG misses deregistration of pm_ops in remove Actions
Bug #10712: Do not define functions in aspect file describing memory allocating functions Actions
Bug #10713: Include working source trees as header search directories for models Actions
Bug #10735: Could not update development OpenStack instances Actions
Bug #10755: Double free for environment models Actions
Feature #9584: Handle one more warning from BenchExec Actions
Feature #10592: Try to get rid of ZIP error workaround Actions
Feature #10633: Use more robust identifier for Clade build bases Actions
Feature #10635: Adapt and document KLEVER for usage in CI Actions
Feature #10658: Suggest working source trees automatically Actions
Feature #10659: Show Klever version in Bridge Actions
Feature #10669: Forbid actions with irrelevant types of Klever deployments Actions
Feature #10671: Create ARM based sample job for verification of Linux loadable kernel modules Actions
Feature #10672: Include ARM based sample job into CI tests Actions
Feature #10673: Update Clade to 3.4 Actions
Feature #10680: Describe development of requirement specifications Actions
Feature #10690: Speed up switching of source files for large error traces Actions
Feature #10692: Update to Frama-C 20.0 Actions
Feature #10704: Improve documentation describing development deployments Actions
Feature #10706: Automatically populate preset jobs in development mode Actions
Feature #10710: Support new ISP RAS OpenStack cloud Actions
Feature #10714: Get model compiler input file from job.json optionally Actions
Feature #10716: Allow excluding common models in job.json Actions
Feature #10732: Support tokens of type "Token.Name.Class" Actions
Feature #10737: Update Frama-C (CIL) to overcome some failures on ARM Actions
Feature #10741: Develop means to deal with Bridge hang ups Actions
Feature #10742: Allow to weave in models with their aspects Actions
Feature #10744: Develop model for "current" Actions
Feature #10746: Develop models for vmalloc()/vfree() Actions
Feature #10748: Update CPALockator Actions
Feature #10750: Update CPAchecker (SMG) Actions