USVM to UtBot adapters without contest hacks#2710

Merged

EgorkaKulikov merged 123 commits intomainfrom

Dec 8, 2023

Commits on Nov 1, 2023

Introduce `Tool.USVM` in `ContestEstimator`, implement `runUsvmGeneration` (#2666)

IlyaMuravjov
authored and
EgorkaKulikov
committed

Commits on Nov 3, 2023

Bump ksmt version to `0.5.13`
IlyaMuravjov
committed

Commits on Nov 7, 2023

Hacks similar to contest 2023 ones (#2676)
EgorkaKulikov
authored

Commits on Nov 9, 2023

Initial implementations of the adapter from JcExecution to UtExecution (#2677)

EgorkaKulikov
and
IlyaMuravjov
authored

Commits on Nov 10, 2023

Commits on Nov 14, 2023

Commits on Nov 16, 2023

Commits on Nov 18, 2023

Commits on Nov 21, 2023

Commits on Nov 22, 2023

Commits on Nov 24, 2023

Commits on Nov 25, 2023

Update usvm version
EgorkaKulikov
committed

Commits on Nov 27, 2023

Commits on Nov 28, 2023

Commits on Nov 29, 2023

Commits on Dec 6, 2023

Commits on Dec 7, 2023

Update tool settings for summary
tepa46
committed
Update gradle properties in yml scripts
EgorkaKulikov
committed
Temporary creds
EgorkaKulikov
committed
Revert temporary creds
EgorkaKulikov
committed
Some todos in TestFrameworkManager
EgorkaKulikov
committed
bissquit: configure debug env
Egor Vasiliev 00665613
committed
Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into usvm
Egor Vasiliev 00665613
committed
add pers token
Egor Vasiliev 00665613
committed
add secret
Egor Vasiliev 00665613
committed
add token to all gradle runs
Egor Vasiliev 00665613
committed
replace ro_token by github_token
Egor Vasiliev 00665613
committed
add permissions
Egor Vasiliev 00665613
committed
change to write permissions
Egor Vasiliev 00665613
committed
return PACKAGES_RO_TOKEN var
Egor Vasiliev 00665613
committed
remove debug
Egor Vasiliev 00665613
committed
Further update of yml scripts
EgorkaKulikov
committed
Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into usvm
EgorkaKulikov
committed

Commits on Dec 8, 2023