Transform lambdas correctly and enhance the GPMC API shape#545

Open

ndkoval wants to merge 24 commits intodevelopfrom gpmc-api-playground

+614-246

Commits on Feb 27, 2025

Lambdas are transformed

ndkoval
authored and
eupp
committed
Lambdas are transformed

ndkoval
authored and
eupp
committed
Lambdas are transformed

ndkoval
authored and
eupp
committed
Lambdas are transformed

ndkoval
authored and
eupp
committed
Lambdas are transformed

ndkoval
authored and
eupp
committed
wip

ndkoval
authored and
eupp
committed
wip

ndkoval
authored and
eupp
committed
wip

ndkoval
authored and
eupp
committed
wip

ndkoval
authored and
eupp
committed
Change API

ndkoval
authored and
eupp
committed
cleanup Kotlin and Java APIs tests
eupp
committed
rollback unnecessary changes
eupp
committed
repair extractLambdaCallOfGeneralPurposeModelChecking
eupp
committed
minor
eupp
committed
repair JDK-17 representation tests
eupp
committed
roll back unnecessary changes in UnsafeHolder and add logging there
eupp
committed
change the logging level to DEBUG in UnsafeHolder
eupp
committed
minor clean-up
eupp
committed
rewrite isInternalLincheckBug check
eupp
committed
ensure IllegalThreadStateException is thrown if the thread is double-started
eupp
committed
minor
eupp
committed

Commits on Mar 5, 2025