3.4 open Due in 19 days (12/24/2021) 45% 35 issues (16 closed — 19 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 Bug #10952: Get rid of redundant parts in graphical representation of environment model processes Actions Bug #10993: Experts can not copy job versions of other users Actions Bug #10994: Ignore missed CIF auxiliary files Actions Bug #11010: Take into account aspects when caching models Actions Bug #11016: On cancelling solutions of verification jobs scheduler does not terminate verification tasks Actions Bug #11019: Can't create new tags with 3d nesting level 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 #10899: Specify meaningful reasons for job termination 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 #10940: Always specify specifications set in job.json Actions Feature #10945: Allow to add savepoints for the main process Actions Feature #10946: Provide users with graphical representation of environment models Actions Feature #10948: Add means to add headers and declarations globally in EMG specifications Actions Feature #10953: Visualize savepoints in graphic representation of environment models Actions Feature #10954: Allow setting action dependencies of savepoints Actions Feature #10955: Describe program decomposition Actions Feature #10956: Allow uploading images and captions for Core components Actions Feature #10957: Develop models for kmem_cache_create/aloc/destroy() Actions Feature #10958: Check translator restrictions and raise exceptions if necessary Actions Feature #10974: Parse and merge debug data presented by CPAchecker Actions Feature #10990: Describe configuration of verification tools Actions Feature #10997: Update CPALockator Actions Feature #10998: Update CPAchecker SMG Actions Feature #11002: Try to switch on LDV_PRINT_SIGNATURE_OF_MATCHED_BY_NAME in the development mode Actions Feature #11007: Support more SMG-friendly select of nondeterministic values from integer range Actions Feature #11012: Set up VS Code and describe how to use it Actions Feature #11015: Describe new abilities in development of environment model specifications Actions
3.5 open Due in about 3 months (02/28/2022) 0% 5 issues (0 closed — 5 open) Related issues Bug #10826: Klever uploads witnesses very slow Actions Bug #10911: Do not return anything from void functions Actions Bug #10912: EMG does not generate separate threads for manually specified functions Actions Feature #10910: Finalize support for verification of Harmony OS Actions Feature #11014: Avoid infinite loops in environment models Actions