3.3 open Due in 13 days (09/30/2021) 59% 41 issues (24 closed — 17 open) Related issues Bug #10691: Fix uploading large job archives Actions Bug #10826: Klever uploads witnesses very slow Actions Bug #10838: Properly show completely non-covered files of verificatioin tasks Actions Bug #10896: Replace WRITE_ONCE macro to avoid CPAchecker hangings Actions Bug #10911: Do not return anything from void functions Actions Bug #10912: EMG does not generate separate threads for manually specified functions Actions Bug #10919: Fail if the input specification has as a recursive unused subprocess action Actions Bug #10930: Fix memory allocation via $ALLOC in EMG specifications Actions Feature #9795: Highlight all occurrences of pointed identifiers Actions Feature #10484: Improve and develop filesystem environment model specifications Actions Feature #10486: Develop environment model specification for inode_operations Actions Feature #10695: Add OpenSUSE support Actions Feature #10752: Add shortcut/button to open eyes Actions Feature #10753: Allow to show/hide comments of particular levels Actions Feature #10805: Suggest to save non-saved file and proceed Actions Feature #10827: Describe entities and actions on them Actions Feature #10828: Suggest new access scheme Actions Feature #10829: Implement new access scheme Actions Feature #10840: Develop unit tests for OpenStack deployment Actions Feature #10872: Update CPALockator Actions Feature #10879: Support an option (environment variable) to provide specific places for build bases Actions Feature #10891: Try to get rid of setting compiler specific directory for searching headers Actions Feature #10898: Try to enable LDV_C_BACKEND_OMIT_TYPE_QUALS by default Actions Feature #10899: Specify meaningful reasons for job termination Actions Feature #10900: Investigate considerable memory consumption when collecting code coverage for models Actions Feature #10901: Add preset unknown marks for invalid verification targets Actions Feature #10904: Forbid empty aspects Actions Feature #10910: Finalize support for verification of Harmony OS Actions Feature #10918: Restrict lenght of attribute names and values Actions Feature #10921: Describe development of common API models Actions Feature #10922: Describe user environment model and how to develop it Actions Feature #10923: Do not discard changes and reload job page during changing job version name Actions Feature #10924: Update Clade to do not filter out options enabling error messages about implicit function declarations Actions Feature #10925: Allow to create job directories with the same name in different job subtrees Actions Feature #10926: Try to enable "-Wextra -Werror" at processing of all kinds of models Actions Feature #10933: Add configuration for CPAchecker SMG to disable uncertain environment behavior Actions Feature #10940: Always specify specifications set in job.json Actions Feature #10941: Simplify the work with declarations and definitions at environment models decomposition Actions Feature #10942: It is tedious to describe callbacks wrappers manually Actions Feature #10943: Add ability to use current job decision configuration by default Actions Feature #10944: Allocate external data for platform_device.dev.platform_data Actions
3.4 open Due in about 2 months (11/30/2021) 0% 9 issues (0 closed — 9 open) Related issues Bug #10920: Reschedule verification tasks resulting to OOM Actions Bug #10931: Fix entity names in intermediate environment model and EMG configuration Actions Feature #10929: Do not invoke callbacks infinitely and allow to configure the number of iterations Actions Feature #10932: Output intermediate environment models in a more user-friendly way Actions Feature #10934: Test and fix if necessary deployment of Klever on Debian 10/11, Ubuntu 20.04, Fedora 33/34 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 #10945: Allow to add savepoints for the main process Actions Feature #10946: Provide users with graphical representation of environment models Actions