Project

General

Profile

3.0

closed

12/31/2020

100%

178 issues   (178 closed — 0 open)

Issues by
Bug

47/47
Feature

131/131
Related issues
Bug #6629: Used CIL is outdated Actions
Bug #7160: Refined view doesn't operate faster than the default one Actions
Bug #8196: Set the last provided with a line directory file instead of setting a default one at witness visualization Actions
Bug #8403: Table with validation results is overlapped by a table with components reports in the Chrome browser Actions
Bug #8500: Environment model simplifications can break error traces Actions
Bug #8628: Properly restrict job name length Actions
Bug #8962: Bridge says that components finish in statistics while they are in progress Actions
Bug #8977: Can not specify zero rows for tables Actions
Bug #9081: Uploading unsafe marks fail with unknown error Actions
Bug #9339: Incorrect progress report Actions
Bug #9345: Do not compare verification objects for unknown marks by default Actions
Bug #9366: How to commit files after editing Actions
Bug #9367: Misleading message in the error description Actions
Bug #9368: Warning during deployment to openstack cloud Actions
Bug #9369: Update production silently ignores wrong directory name Actions
Bug #9378: Wrong assume for ERR_PTR and PTR_ERR Actions
Bug #9382: Button "Reports->Clear verification files" does nothing Actions
Bug #9393: Problem with memleak visualization on absent return from void function Actions
Bug #9531: Environment models for void functions should not return any values Actions
Bug #9581: Fix population of preset jobs in production mode Actions
Bug #9589: Fix obtaining compiler options for building models Actions
Bug #9796: Deployment of Klever itself from directory is broken Actions
Bug #9820: Nondeterministic environment model Actions
Bug #9847: Klever incorrectly shows coverage in libraries at visualization of error traces Actions
Bug #10117: Fix the most crucial EMG-related fails on Linux 3.14 Actions
Bug #10120: Do not include stddef.h for kernel space Actions
Bug #10127: Declare ldv_inline_asm() before usage Actions
Bug #10159: Unclear usage of colours in the reports comparison table Actions
Bug #10160: Bridge does not apply some unknown marks Actions
Bug #10163: Bridge does not show total coverage Actions
Bug #10271: Bridge can not upload large job archives Actions
Bug #10420: Incorrect upload of versions of the same job Actions
Bug #10426: Bridge prints tags as a plain list instead of a tree Actions
Bug #10431: Missing verifier input files for lightweight verification results Actions
Bug #10464: Missing assumptions when converting violation witnesses to error traces Actions
Bug #10468: Improve environment models for runtime power management callbacks Actions
Bug #10476: Distinguish models by their absolute paths rather than their contents Actions
Bug #10477: Do not fail with errors "Archive ... was not attached" Actions
Bug #10490: Fix messages and their translation Actions
Bug #10525: Consider program fragment and requiremens specification as attribute for comparison Actions
Bug #10578: Native Scheduler reserves memory but does not use it completely Actions
Bug #10579: Do not reuse requests session between Core components (separate processes) Actions
Bug #10587: Check result properly in all Scheduler requests Actions
Bug #10596: Use of unitialized CPU cores number Actions
Bug #10609: Installing of Klever Python package with dependencies for openstack is broken with new versions of pip Actions
Bug #10623: Results processor fails with an exception Actions
Bug #10628: Catch and fix VTG-VRP hang ups Actions
Feature #6712: Specify Django version Actions
Feature #6950: Download and upload archives with several jobs and marks at once Actions
Feature #7108: Users can't understand when a job is uploaded Actions
Feature #7188: Arrange consumed resources to table Actions
Feature #7458: Automatically update changed JavaScripts Actions
Feature #8116: Inherit properties of parent jobs when copying them Actions
Feature #8119: Develop preset tags Actions
Feature #8335: Similarity management Actions
Feature #8338: Add ability to specify similarity threshold Actions
Feature #8424: Show spinning indicator when associating unknown marks Actions
Feature #8494: Process extended format of violation witnesses Actions
Feature #8568: Optimize weaving Actions
Feature #8597: Remember history of opened files with coverage Actions
Feature #8599: Specify parent directories when uploading new files Actions
Feature #8635: Do not ask if superfluous questions Actions
Feature #8732: Allow to edit verification job meta information during their solution Actions
Feature #8757: Keep job titles in history Actions
Feature #8888: Allow to edit last job decision configuration Actions
Feature #8889: Support verification job formats properly Actions
Feature #8989: Allow to populate just jobs/marks/tags Actions
Feature #9002: Switch to systemd scripts from init.d ones Actions
Feature #9034: Allow to clear comparison cache Actions
Feature #9037: Do not show all (sub)components for unmatched results in comparison Actions
Feature #9042: Enable automatic start ups of Klever services Actions
Feature #9044: Do not include attributes without true "is_compare" when downloading marks in preset format Actions
Feature #9045: Remove attributes without true "is_compare" in preset marks Actions
Feature #9052: Allow mark status just for verdict "bug" Actions
Feature #9053: Remove redundant statuses for preset marks Actions
Feature #9077: Automatically change uploaded job titles if they already exist Actions
Feature #9186: Get rid of VTG plugin callbacks Actions
Feature #9313: Introduce top level configuration options for processing verification results Actions
Feature #9347: Notify schedulers about changes in jobs and tasks Actions
Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications Actions
Feature #9355: Suggest more user friendly configuration for program fragments and requirements Actions
Feature #9356: Do not deploy the same build bases Actions
Feature #9381: Return back program fragment sizes Actions
Feature #9396: Allow creating tags with the same names at different branches Actions
Feature #9406: Ignore an another one useless warning from BenchExec (flawed measurement) Actions
Feature #9412: Support more advanced calculation of total verdicts and similarity Actions
Feature #9413: Set total verdict and total similarity more precisely on base of automatic marks association Actions
Feature #9414: Reuse archive with source files between different error traces on report uploading Actions
Feature #9444: Support cross referencing Actions
Feature #9445: Support build bases provided in form of archives and placed at standard locations Actions
Feature #9449: Make lightweight verification results more lightweight Actions
Feature #9453: Generate code coverage in a new format Actions
Feature #9454: Visualize code coverage in a new format Actions
Feature #9458: Visualize a new format of error traces Actions
Feature #9459: Generate error traces in a new format Actions
Feature #9460: Support new reports with sources Actions
Feature #9461: Generate new reports with sources Actions
Feature #9499: Switch to new Clade API Actions
Feature #9500: Finish support of MySQL/MariaDB Actions
Feature #9506: Support VerifierCloud installations without authentication Actions
Feature #9507: Update VerifierCloud scheduler to the recent API Actions
Feature #9518: Change the color scheme for coverage from red to green Actions
Feature #9532: Update CPAchecker Actions
Feature #9535: Increase memory limit for Frama-C (CIL) Actions
Feature #9536: Update CIF Actions
Feature #9545: Increase automatic update period for job pages Actions
Feature #9558: Install entities properly Actions
Feature #9567: Update BenchExec Actions
Feature #9573: Include deployment of build base intended for preset verification job Linux 3.14 Actions
Feature #9578: Add a new rule for BusyBox to check file descriptors correct usage Actions
Feature #9579: Allow describing scenarios for environment models manually Actions
Feature #9580: Develop detailed EMG specifications for Serial drivers Actions
Feature #9583: Update CPAchecker Actions
Feature #9609: Avoid recursion in simple tests Actions
Feature #9610: Show actual Frama-C (CIL) failures Actions
Feature #9648: Update CPAchecker one more time Actions
Feature #9698: Move to a new typedef interface collection provided by Clade Actions
Feature #9703: Update BenchExec Actions
Feature #9768: Use built-in means for checking Clade directory Actions
Feature #9824: Get rid of auxiliary functions and their removing Actions
Feature #9825: Get rid of temporary variables and their removing Actions
Feature #9831: Do not indent internal JSON files in production mode Actions
Feature #9836: Collapse migrations Actions
Feature #9850: Specify exact versions for Python and its packages Actions
Feature #9857: Rearrange verification jobs within presets Actions
Feature #9858: Support new verification jobs base Actions
Feature #9866: Show warning when users will reach source files without code coverage Actions
Feature #9873: Move creation of initial abstract tasks to PFG Actions
Feature #9897: Develop tutorial Actions
Feature #9900: Support includes for requirements base Actions
Feature #9905: Allow to select code coverage kind when launching verification job solutions Actions
Feature #9906: Update CIL Actions
Feature #9926: Do not wait for ~10 seconds before finishing job solution Actions
Feature #9927: Allow to check for preset verification job changes Actions
Feature #9931: Introduce specific comments and error trace actions to distinguish important environment models Actions
Feature #9934: Specify concrete settings for fragmentation Actions
Feature #9973: Visualize data reports according to top-level configuration attributes Actions
Feature #9988: Name environment model functions in a more user friendly way Actions
Feature #9989: Distinguish important environment models Actions
Feature #10042: Simplify the job tree Actions
Feature #10043: Update CPAchecker Actions
Feature #10079: Do not make absolute paths for line directives Actions
Feature #10080: Do not preprocess source code outputted by CIF Actions
Feature #10126: Rearrange requirement specifications Actions
Feature #10138: Develop environment model specifications for Linux 5.5 Actions
Feature #10153: There is no specification set attribute Actions
Feature #10156: Introduce environment model test sets for Linux 4.15, 4.17 versions Actions
Feature #10182: Update Clade to 3.2.6 Actions
Feature #10318: Support BusyBox in Klever 3.0 Actions
Feature #10418: Download archives immediately to OpenStack instances Actions
Feature #10453: Use device identifiers from the driver tables Actions
Feature #10458: Update CPALockator Actions
Feature #10460: Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns Actions
Feature #10461: Support verification of Linux kernel modules on the ARM architecture Actions
Feature #10465: Update Klever tutorial Actions
Feature #10472: Support lightweight configuration of verification tools for target architecture Actions
Feature #10481: Update CPALockator to support rcu analysis Actions
Feature #10488: Develop models for devm memory allocating functions Actions
Feature #10489: Fix order of child jobs at the job page Actions
Feature #10491: Avoid numerous warnings about missed sources and code coverage Actions
Feature #10493: Clean up directories when deploying new instances of Bridge Actions
Feature #10496: Speed up loading of source files and related data Actions
Feature #10498: Develop model for v4l2_i2c_subdev_init() Actions
Feature #10516: Filter CC options passed to CIF using Clade Actions
Feature #10517: Use Command-S to save file in the online editor on macOS Actions
Feature #10526: Do not specify "associate" for unknown reports of VRP Actions
Feature #10530: Improve representation of leaf reports and enhance capabilities for providing their attributes Actions
Feature #10531: Report attributes and their flags according to the new scheme Actions
Feature #10546: Cause Weaver to output preprocessed source files and models Actions
Feature #10549: Develop preset tags for CPAchecker SMG Actions
Feature #10550: Develop preset tags for CPAchecker BAM Actions
Feature #10551: Develop preset tags for CPALockator Actions
Feature #10554: Visualize declarations and advanced notes Actions
Feature #10561: Klever Python package is not updated when updating Klever instances locally Actions
Feature #10570: Support generating multiple environment models per a EMG run Actions
Feature #10577: Place all addon archives to forge.ispras.ru Actions
Feature #10622: Develop preset tags for EMG Actions
Feature #10630: Improve auto-search of tags Actions