chenyu 884592f6c8 pin z3-solver version (#14605) ...

found exact input that crashes z3 4.15.4

2026-02-06 22:49:31 -05:00

..

mlperf_bert

…

mlperf_resnet

…

mlperf_retinanet

…

mlperf_stable_diffusion

…

mlperf_unet3d

…

openpilot

…

process_replay

…

sglang_llama

…

external_benchmark_am.py

…

external_benchmark_bert_matmuls.py

…

external_benchmark_bert_softmax.py

…

external_benchmark_disk_raw.py

…

external_benchmark_hip_compile.py

…

external_benchmark_keccak.py

…

external_benchmark_kernel_launch.py

…

external_benchmark_llama_schedule.py

…

external_benchmark_multitensor_allreduce.py

…

external_benchmark_op_conv.py

…

external_benchmark_pyrender.py

…

external_benchmark_resnet.py

…

external_benchmark_schedule.py

…

external_cl_half_max.py

…

external_fuzz_ampt.py

…

external_fuzz_hcq_mp.py

…

external_fuzz_hcq_signals.py

…

external_fuzz_qcom_cpu_cache.py

…

external_fuzz_tlsf.py

…

external_gpu_fail_osx.py

…

external_jit_failure.py

…

external_llm_eval.py

…

external_metal_compile_fail.py

…

external_model_benchmark.py

…

external_multi_gpu.py

…

external_nhwc_conv.py

…

external_openpilot_image_warp.py

…

external_osx_profiling.py

…

external_test_am_fault_recovery.py

…

external_test_am.py

…

external_test_amd.py

…

external_test_datasets.py

…

external_test_dev_var.py

…

external_test_example.py

…

external_test_gpu_crash.py

…

external_test_hcq_open.py

…

external_test_hcq.py

…

external_test_hip_compile.py

…

external_test_image.py

…

external_test_jit_on_models.py

…

external_test_keccak.py

…

external_test_llama3_ff.py

…

external_test_lm_head.py

…

external_test_losses.py

…

external_test_mamba.py

…

external_test_metrics.py

…

external_test_mnist_data_select.py

…

external_test_onnx_backend.py

…

external_test_onnx_ops.py

…

external_test_onnx_runner.py

…

external_test_opt.py

…

external_test_optim.py

…

external_test_process_count.py

…

external_test_simple_tokenizer.py

…

external_test_speed_llama.py

…

external_test_speed_theoretical.py

…

external_test_tlsf.py

…

external_test_usb_asm24.py

…

external_test_whisper_librispeech.py

…

external_test_yolov8.py

…

external_uop_gc.py

…

fuzz_fast_idiv.py

…

fuzz_graph.py

…

fuzz_kfd.py

…

fuzz_shape_ops.py

…

fuzz_symbolic_symbolic_div.py

…

fuzz_symbolic.py

pin z3-solver version (#14605)

2026-02-06 22:49:31 -05:00

speed_v_theoretical.py

…