Skip to content

Pull requests: UnitTestBot/UTBotJava

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

USVM experimental integration into UnitTestBot
#2732 opened Dec 22, 2023 by EgorkaKulikov Loading…
Introduce object creation using builders for fuzzers comp-fuzzing Issue is related to the fuzzing ctg-enhancement New feature, improvement or change request
#2583 opened Sep 8, 2023 by Markoutte Loading…
4 of 6 tasks
Add --fuzzing-ratio to CLI comp-cli Issue related to CLI comp-fuzzing Issue is related to the fuzzing ctg-enhancement New feature, improvement or change request
#2496 opened Aug 10, 2023 by Markoutte Loading…
3 of 6 tasks
Add branch coverage comp-instrumented-process Issue is related to Instrumented process ctg-enhancement New feature, improvement or change request
#2486 opened Aug 8, 2023 by egiptipavel Draft
5 of 6 tasks
Add way to get instrumentation result comp-instrumented-process Issue is related to Instrumented process ctg-enhancement New feature, improvement or change request
#2457 opened Jul 28, 2023 by egiptipavel Loading…
3 of 6 tasks
Process clinit in enums concretely for Spring projects comp-symbolic-engine Issue is related to the symbolic execution engine ctg-enhancement New feature, improvement or change request
#2441 opened Jul 24, 2023 by Damtev Draft
4 of 6 tasks
Add default taint configuration file comp-taint-analysis ctg-documentation Improvements or additions to documentation
#2280 opened Jun 12, 2023 by mmvpm Loading…
6 tasks done
Add the documentation about the detecting bugs in Codeforces solutions ctg-documentation Improvements or additions to documentation
#2278 opened Jun 10, 2023 by mmvpm Loading…
4 of 6 tasks
[Draft] Set up Go CLI image autopublication
#2253 opened Jun 1, 2023 by viktoriia-fomina Loading…
6 tasks
update java for cli images #2201 comp-github-action GitHub action, gradle plugin or maven plugin comp-infrastructure Infrastructure issues ctg-enhancement New feature, improvement or change request
#2203 opened May 12, 2023 by bissquit Loading…
6 tasks done
Add new import/export system for JavaScript comp-codegen Issue is related to code generator ctg-enhancement New feature, improvement or change request lang-javascript Issue is related to JavaScript support
#2188 opened Apr 26, 2023 by rudolf101 Loading…
4 of 6 tasks
Add concrete execution specification comp-instrumented-process Issue is related to Instrumented process ctg-bug-fix PR is fixing a bug ctg-enhancement New feature, improvement or change request
#1722 opened Jan 19, 2023 by SBOne-Kenobi Loading…
5 of 7 tasks
2
Contest 2023
#1713 opened Jan 19, 2023 by Markoutte Draft
Enable Java 8 for contest estimator comp-contest-estimator Issue is related to contest estimator ctg-enhancement New feature, improvement or change request
#1711 opened Jan 18, 2023 by denis-fokin Loading…
4 of 7 tasks
Dependency versions unification ctg-refactoring Issue related to refactoring process
#1368 opened Nov 14, 2022 by tamarinvs19 Draft
5 tasks done
Greybox fuzzer
#1344 opened Nov 9, 2022 by DaniilStepanov Loading…
Damtev/symbolic tests fixes comp-symbolic-engine Issue is related to the symbolic execution engine
#1253 opened Oct 28, 2022 by Damtev Draft
3 tasks done
Rethrow CancellationException to ensure stop by timeout
#1144 opened Oct 12, 2022 by dtim Draft
4 of 7 tasks
Сonstraint model synthesis
#1030 opened Sep 29, 2022 by AbdullinAM Loading…
7 tasks done
No upper bound ide version
#1012 opened Sep 26, 2022 by denis-fokin Draft
Fix wrapper concrete types
#964 opened Sep 19, 2022 by SBOne-Kenobi Draft
5 of 7 tasks
ProTip! Filter pull requests by the default branch with base:main.