Branches performance
Pull requests
last run
18 hours ago
Re-introduce integer reasoning when checking reasons in debug mode
This reintroduces functionality removed in 73f966b671f56da6a4787388768c8998f43c5629. The
problematic behaviour that changes of search order between debug and release builds is resolved by
ensuring the propagation queue remains unchanged while checking the reasons.
18 hours ago
303c4d4
Dekker1:fix/reason_check
0%
last run
20 hours ago
Change PriorityQueue to use queues for each level instead of stacks
2 days ago
02d3bf5
Dekker1:feat/queue
×15
last run
5 days ago
Fix reason checking problem when in a failed state
5 days ago
6e2925d
Dekker1:fix/failed_reason_check
0%
last run
8 days ago
Reorder based on naming
8 days ago
900e2fa
Dekker1:feat/all_different_bounds
-31%