mutilin klever issues - Githubissues

mutilin / klever

Klever Git repository read-only mirror

https://forge.ispras.ru/projects/klever

Apache License 2.0

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Establish parallel task preparation in Klever

#70 vmordan opened 1 year ago
0
Fix a failure of main component on Reporter crash

#69 vmordan opened 1 year ago
0
Fix an issue with main process memory limit

#68 vmordan opened 1 year ago
0
Fix Klever 3.7 for Linux modules verification

#67 vmordan opened 1 year ago
0
Add CI to check deployment

#66 vmordan opened 1 year ago
0
Improve correctness witness visualization

#65 vmordan closed 1 year ago
3
Allow to download full verification reports

#64 vmordan opened 4 years ago
1
Check new django versions

#63 vmordan opened 4 years ago
2
Avoid simultanios requests by adding sleep between requests

#62 Druidos closed 4 years ago
0
Make 'options' decription more readable

#61 PavelAndrianov closed 4 years ago
1
Problem with witnesses without relative paths

#60 PavelAndrianov closed 4 years ago
1
Improve visualization of invariants for correctness witnesses

#59 vmordan opened 4 years ago
0
Improve visualization of conditions for correctness witnesses

#58 vmordan closed 4 years ago
2
Allow to use witnesses processing outside of web-interface

#57 vmordan closed 5 years ago
1
Improve command line interface for uploading repots

#56 vmordan closed 5 years ago
1
Automate deployment of CV web-interface

#55 vmordan closed 5 years ago
1
Improvements in web-launch mode

#54 PavelAndrianov opened 5 years ago
1
Allow to create Unknown marks for any component

#53 vmordan opened 5 years ago
0
Visualize correctness witnesses

#52 vmordan closed 5 years ago
4
Support intersecting threaded error traces in MEA

#51 vmordan opened 5 years ago
2
Reuse benchexec statistics

#50 PavelAndrianov closed 5 years ago
7
Allow to launch arbitrary benchmarks in CV Launcher

#49 vmordan closed 5 years ago
1
Support general witness format from SV-COMP

#48 vmordan closed 5 years ago
1
Fix a Klever bug on removing wrong jobs

#47 vmordan closed 5 years ago
2
Fix Klever failures on uploading reports of type "Unknown error"

#46 vmordan closed 4 years ago
3
Unify error trace source and coverage source

#45 vmordan opened 5 years ago
0
Optimize error trace archives

#44 PavelAndrianov opened 5 years ago
7
Rewrite Klever scheduler&launcher

#43 vmordan closed 5 years ago
1
Restore support for Klever core

#42 vmordan closed 5 years ago
2
Allow to save coverage for standalone usage

#41 vmordan closed 1 year ago
1
Optimize huge files display

#40 vmordan opened 5 years ago
0
Allow to show only one function body

#39 vmordan opened 5 years ago
0
Optimize sources in coverage reports

#38 vmordan closed 5 years ago
1
Fix a bug with sources parser

#37 vmordan closed 5 years ago
2
Show coverage data for the whole verification report

#36 vmordan closed 5 years ago
1
Show coverage for reports

#35 vmordan closed 5 years ago
4
Strange ordering of node jobs on main page

#34 PavelAndrianov closed 5 years ago
1
Possibility to add a job to comparison page

#33 PavelAndrianov closed 5 years ago
1
Specify Unknown transitions in the reports comparison page

#32 vmordan closed 5 years ago
4
Extend note/warning considering

#31 PavelAndrianov closed 5 years ago
3
Mode to display all nested notes

#30 PavelAndrianov closed 5 years ago
1
Direct visualization of witnesses

#29 PavelAndrianov closed 5 years ago
4
Posibility to adjust error trace

#28 PavelAndrianov closed 5 years ago
3
Automatic system for creating backups

#27 vmordan closed 5 years ago
5
Incorrect referrence to "list of all traces"

#26 PavelAndrianov closed 5 years ago
1
Lightweight editing of marks

#25 PavelAndrianov closed 5 years ago
1
Support a convenient way of clearing cache for conversion function application

#24 vmordan closed 5 years ago
1
Option to remove optimizations for all marks

#23 vmordan closed 5 years ago
1
Copying attributes from unsafe page

#22 PavelAndrianov closed 5 years ago
4
Recalculate cache of applied unsafe marks correctly

#21 vmordan closed 5 years ago
2