3.2 open Due in 17 days (06/30/2021) 55% 36 issues (19 closed — 17 open) Related issues Bug #10677: Users can easily ruin Native Scheduler by removing tasks.json Actions Bug #10691: Fix uploading large job archives Actions Bug #10773: Do not break field access within assumptions Actions Bug #10777: Unescape HTML special characters when editing mark descriptions Actions Bug #10784: Klever fails with "identifier: Ensure this field has no more than 255 characters." Actions Bug #10793: Do not recreate users when updating Bridge Actions Bug #10824: Producer can not get the status of solving job Actions Bug #10838: Properly show completely non-covered files of verificatioin tasks Actions Bug #10839: Can not ssh to OpenStack instances Actions Feature #7356: Create additional validation set Actions Feature #8131: Do not introduce notes when assertions are satisfied Actions Feature #8286: Clarify what resource limits are exceeded Actions Feature #9795: Highlight all occurrences of pointed identifiers Actions Feature #10086: Do not fail on start up during Controller initialization Actions Feature #10087: Get rid of cheats in Scheduler service Actions Feature #10486: Develop environment model specification for inode_operations Actions Feature #10749: Collapse simple calls of functions which return values are stored to variables Actions Feature #10751: Add comments of level 2 for rather important places and actions within environment models Actions Feature #10752: Add shortcut/button to open eyes Actions Feature #10753: Allow to show/hide comments of particular levels Actions Feature #10754: Update CPAchecker (SMG) Actions Feature #10759: Support describing various classes of interaction scenarios within different environment models Actions Feature #10763: Allow to configure resource limits for executed commands Actions Feature #10767: Allow to resize instances Actions Feature #10768: Keep important data on volumes within OpenStack cloud Actions Feature #10774: Properly handle failures during processing incorrect models Actions Feature #10782: Generating link for job comparison Actions Feature #10785: Allow to keep addons during uninstall Actions Feature #10786: Describe analysis of code coverage Actions Feature #10788: Launch klever-cgroup.service after klever-native-scheduler.service Actions Feature #10791: Try to exclude "linux/user_namespace.h" from additional headers of EMG for checking memory safety Actions Feature #10792: Allow to navigate through covered lines of code Actions Feature #10794: Add notes from CPAchecker SMG to code coverage Actions Feature #10804: Try to disable guessing allocated memory size Actions Feature #10811: Update CIL to fix issues with line directives Actions Feature #10837: Update Clade to reduce memory consumption Actions
3.3 open Due in about 3 months (08/31/2021) 0% 5 issues (0 closed — 5 open) Related issues Bug #10826: Klever uploads witnesses very slow 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 #10852: Support parallel execution of Weaver Actions