Project

General

Profile

3.3

closed

10/20/2021

100%

37 issues   (37 closed — 0 open)

Issues by
Bug

10/10
Feature

27/27
Related issues
Bug #10691: Fix uploading large job archives 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 #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
Bug #10950: Fix the deletion of a plain process without choices and jumps Actions
Bug #10951: Report clear error messages for incorrectly provided base block actions Actions
Bug #10964: Fix $ZALLOC memory allocation Actions
Bug #10975: Fix typos in debug messages and exceptions Actions
Bug #10982: Fix typos in 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 #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 #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 #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 #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