Red-Panda64

Dubious code duplication in `destabilize_vs`

9

The destabilize_vs function is an almost verbatim copy of destabilize_normal, except that it is supposed to determine whether any called or start variables were destabilized. This is needed for the...

Widening gas

8

# Description This PR adds widening gas to the td3 solver. Widening gas permits an unknown to grow N times and still be combined with the regular join. Only once...

Parallel vkCreateComputePipelines calls are extremely slow with shader instrumentation

1

**Environment:** - GPU and driver version: NVIDIA RTX A4000 w/ 535.230 - OS: RHEL8 - build version: `270dbea039c2b485e33330be58a3e0ebcaef485f` - Options enabled: `printf_enable` or `gpuav_enable` **Describe the Issue** The GPUAV validations...