search

ProvideQ / toolbox-server

Resources for the server that hosts the toolbox (Backend)
https://provideq.kit.edu
MIT License
1 stars 1 forks source link

Generics Cleanup #34

Closed Elscrux closed 1 year ago

Elscrux commented 1 year ago

Attempt to fix most of the issues with raw generics. SubRoutinePool still has issues with casting to the right ProblemControllerProvider. If you have an idea how to fix that, let me know @schweikart.

schweikart commented 1 year ago

Can you rebase onto develop?

Elscrux commented 1 year ago

@schweikart I rebased the branch