| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix deadlock in the new thread scheduler |  BarryBo | 2016-08-12 |
| | | | | | | | | | Fix deadlock where a Boogie task schedules a task and waits on it. The .NET threadpool creates more threads than cores, up to a limit, which hides the issue. The new policy did not account for recursion and caused the newly-created tasks to wait forever for the earlier ones to complete. | ||
| * | Run Boogie code on threads with large stacks | BarryBo | 2016-07-22 |
| Replace TaskScheduler.Default by a custom TaskScheduler. The .Default uses threadpool threads whose stack size is controlled by the host EXE header. The new ThreadTaskScheduler give Boogie control over the stack size, and defaults to 16mb. | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |