Project

General

Profile

3.4

closed

02/24/2022

100%

27 issues   (27 closed — 0 open)

Issues by
Bug

7/7
Feature

20/20
Related issues
Bug #10920: Reschedule verification tasks resulting to OOM 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 #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 #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 #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 #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
Feature #11186: Update CIF Actions