Project

General

Profile

Actions
Summary

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Author Assignee Target version
6356 Bug Open Normal CSD fails with OutOfMemoryError for linux-4.3-rc1 Vadim Mutilin Vadim Mutilin Actions
6195 Bug New Normal CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable Anton Volkov Ilja Zakharov Actions
5905 Bug New Normal Ldv-upload does not updates RI fails of type "truth_orif_expr" Vitaly Mordan Actions
5808 Task New Low Слишком большой драйвер btrfs Pavel Andrianov Actions
5714 Bug New Normal deg2: incorrect initialization for structure types Vadim Mutilin Ilja Zakharov Actions
5712 Bug New Normal ldv-upload-2: Improve diagnostic message for 'MySQL server has gone away' Vadim Mutilin Vitaly Mordan Actions
5693 Bug Resolved Normal Current version of LDV sometimes terminates durung interaction with CPAcloud Ilja Zakharov Ilja Zakharov Actions
5562 Bug Resolved Normal Fix ignorance of additional CPAchecker options in CPAcloud Ilja Zakharov Ilja Zakharov Actions
5523 Bug New Normal Investigate unknowns caused by case ranges Vadim Mutilin Vadim Mutilin Actions
5488 Feature New Normal LDV Uploader should allow to forcibly update already uploaded results Evgeny Novikov Vitaly Mordan Actions
5469 Bug New Normal Removing header "slab.h" from rule models leads to BLAST exception Vitaly Mordan Vadim Mutilin Actions
5452 Bug New Normal Removing header "module.h" from rule models leads to BLAST exception Vitaly Mordan Vadim Mutilin Actions
5449 Feature Open Normal Improvement of kb-recalc script Vitaly Mordan Evgeny Novikov Actions
5444 Bug Open Normal 'Launches' pages always contain links to error traces Evgeny Novikov Evgeny Novikov Actions
5415 Feature New Normal Make unstable tests more predictable Evgeny Novikov Vadim Mutilin Actions
5405 Bug New Normal CPAchecker is not installed properly Evgeny Novikov Vadim Mutilin Actions
5397 Bug New Normal BLAST error trace converter misses the last line of the error trace Vadim Mutilin Actions
5387 Bug New Normal CIL may work too long if ldv_common_model.i file was not processed with CIF Vitaly Mordan Actions
5353 Task Resolved Normal доступ к git репозиторию Alexey Demakov Actions
5347 Bug New Low Cannot upload pax archive with results obtained with deg-2 Ilja Zakharov Ilja Zakharov Actions
5307 Feature New Normal Current problem recalculation is too slow Ilja Zakharov Vitaly Mordan Actions
5306 Bug New Normal LDV Uploader does not fail properly if there is not a pax archieve specified Evgeny Novikov Vitaly Mordan Actions
5298 Feature New High Develop a new tool that can suggest module renaming Evgeny Novikov Actions
5297 Feature New Normal Develop a new tool that lists C files for Linux kernel modules and the kernel Evgeny Novikov Actions
5295 Feature New Normal Use "word-wrap: break-word" rather than "white-space: pre" in the comment field of the KB interface Evgeny Novikov Actions
5294 Feature New Normal Add lang="en" to the comment field the KB interface Evgeny Novikov Actions
5291 Feature New Normal KB interface should simplify and restrict using of tags Evgeny Novikov Actions
5284 Feature New Normal Visualize list of tasks Evgeny Novikov Evgeny Novikov Actions
5281 Feature New Normal ldv-upload-2 should upload all pax archives passed as parameters into a single task Vadim Mutilin Vitaly Mordan Actions
5223 Feature New Normal KB Recalc shouldn't require update-delete access to the KB-results cache Evgeny Novikov Evgeny Novikov Actions
5215 Feature New Normal MySQL should terminate request if a caller has gone Evgeny Novikov Evgeny Novikov Actions
5102 Bug New Normal sd_start handler not extracted for gspca_benq.ko, gspca_konica.ko Vadim Mutilin Ilja Zakharov Actions
5012 Bug New Normal CIL adds const for the function parameter which is changed Vadim Mutilin Actions
4798 Bug New Normal Duplicated global temps for array of structures initialization Vadim Mutilin Actions
4706 Bug Resolved Normal Unsupported error traces for the new version of CPAchecker (rev. 10561) Vadim Mutilin Vitaly Mordan Actions
4631 Bug Open High QA doesn't have swap account Evgeny Novikov Evgeny Novikov Actions
4601 Bug Open Normal ETV incorrectly replaces reserved HTML characters Evgeny Novikov Evgeny Novikov Actions
4556 Feature Open High LDV Tools definitely needs configure Evgeny Novikov Evgeny Novikov Actions
4545 Feature New Normal Resource Manager system settings Evgeny Novikov Actions
4475 Bug New High LDV fails with gcc 4.7.3 Vadim Mutilin Ilja Zakharov Actions
4450 Bug New High DB provides too small size for tool problem descriptions Evgeny Novikov Vitaly Mordan Actions
4442 Feature New High Environment model should provide "triggers" for rule models Evgeny Novikov Ilja Zakharov Actions
4437 Bug New Normal Make clean in cvc3 Pavel Andrianov Vadim Mutilin Actions
4435 Feature Open Normal Make LDV Analytics Center projector safe Evgeny Novikov Evgeny Novikov Actions
4413 Bug New Normal Timeout script works incorrectly Evgeny Novikov Vitaly Mordan Actions
4381 Feature New High Add RCV interface for CBMC Evgeny Novikov Vitaly Mordan Actions
3931 Bug New Normal ETV doesn't render indirect function call properly Mikhail Mandrykin Evgeny Novikov Actions
3840 Feature New Normal Move reference launches database somewhere from the root partition Evgeny Novikov Vadim Mutilin Actions
3834 Bug New Normal SMT sovler answer is strange: Error: Invalid top level command. wenrui meng Actions
3803 Feature Open Normal Take rerouter errors into account Evgeny Novikov Evgeny Novikov Actions
(1-50/210) Per page: 50, 100, 250

Also available in: Atom CSV PDF