3.1 Due in 11 days (03/19/2021) 87% 31 issues (27 closed — 4 open) 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 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
3.2 Due in about 3 months (05/31/2021) 0% 8 issues (0 closed — 8 open) Related issues Bug #10677: Users can easily ruin Native Scheduler by removing tasks.json Actions Bug #10691: Fix uploading large job archives Actions Feature #7356: Create additional validation set Actions Feature #8286: Clarify what resource limits are exceeded Actions Feature #9394: Support verification of built-in Linux kernel modules Actions Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests Actions Feature #10086: Do not fail on start up during Controller initialization Actions Feature #10087: Get rid of cheats in Scheduler service Actions