Enable InferAndVerify to schedule tasks on the scheduler of the caller, enabling verifying different Boogie programs in parallel using one ThreadPool#1

Draft

keyboardDrummer wants to merge 34 commits intoremoveAllCommandLineOptionsClofrom

returnVerificationResultTasks

Commits on Feb 21, 2022

Reduce references to `CoreOptions.Clo` from 204 to 92 (#508)
keyboardDrummer
authored

Commits on Feb 26, 2022

Remove all references to CoreOptions.Clo (#510)
keyboardDrummer
authored

Commits on Feb 28, 2022

Commits on Mar 1, 2022

Support XML generation with /vcsCores (#515)
atomb
authored

Commits on Mar 3, 2022

Separate help header from help body in CommandLineOptions.cs (#498)
cpitclaudel
authored

Commits on Mar 7, 2022

Refactor solver process handling to allow non-interactive mode (#512)
atomb
authored

Commits on Mar 8, 2022

Commits on Mar 10, 2022

Commits on Mar 13, 2022

fixed bug in the injection of preconditions for yielding procedures instrumentation (#532)
shazqadeer
authored

Commits on Mar 14, 2022

Add backwards compatibility methods
keyboardDrummer
committed

Commits on Mar 15, 2022

Merge branch 'master' into returnVerificationResultTasks
keyboardDrummer
authored