Project

General

Profile

3.2

closed

08/05/2021

100%

37 issues   (37 closed — 0 open)

Issues by
Bug

9/9
Feature

28/28
Related issues
Bug #10677: Users can easily ruin Native Scheduler by removing tasks.json 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 #10839: Can not ssh to OpenStack instances Actions
Bug #10874: klever.core.components.launch_queue_workers does not propagate worker exceptions when fail_tolerant is set to True Actions
Bug #10880: Try to set counterexample.export.allowImpreciseCounterexamples=false 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 #10086: Do not fail on start up during Controller initialization Actions
Feature #10087: Get rid of cheats in Scheduler service 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 #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 #10811: Update CIL to fix issues with line directives Actions
Feature #10837: Update Clade to reduce memory consumption Actions
Feature #10852: Support parallel execution of Weaver Actions
Feature #10854: Develop models for bitmap API Actions
Feature #10855: Develop models for functions working with strings Actions
Feature #10863: Remember location from which users pass using cross references Actions
Feature #10865: Add tests for memset() for CPAchecker SMG Actions
Feature #10883: Support ldv_assert() for memory safety Actions