Use large threads for processing Boogie programs#710

Merged

keyboardDrummer merged 10 commits intoboogie-org:masterfrom keyboardDrummer:largeThreads

Mar 31, 2023

+152-22

Commits on Mar 30, 2023

Commits on Mar 31, 2023

Use AsyncQueue instead of SemaphoreSlim and ConcurrentQueue
keyboardDrummer
committed
Limit amount of large threads to configured amount
keyboardDrummer
committed