Bug findings with Type-aware mutation

========= CVC4 =========

Soundness Bugs

Refutation Soundness

https://github.com/CVC4/CVC4/issues/4486 Confirmed
https://github.com/CVC4/CVC4/issues/4469 Fixed
https://github.com/CVC4/CVC4/issues/4437 Fixed
https://github.com/CVC4/CVC4/issues/4179 Confirmed
https://github.com/CVC4/CVC4/issues/4105 Fixed
https://github.com/CVC4/CVC4/issues/3839 Fixed
https://github.com/CVC4/CVC4/issues/3564 Fixed
https://github.com/CVC4/CVC4/issues/3538 Fixed
https://github.com/CVC4/CVC4/issues/3514 Fixed
https://github.com/CVC4/CVC4/issues/3475 Fixed
https://github.com/CVC4/CVC4/issues/3413 Duplicate
https://github.com/CVC4/CVC4/issues/3497 Fixed
https://github.com/CVC4/CVC4/issues/3498 Fixed

Solution Soundness

https://github.com/CVC4/CVC4/issues/4503 Reported
https://github.com/CVC4/CVC4/issues/4501 Reported
https://github.com/CVC4/CVC4/issues/4484 Reported
https://github.com/CVC4/CVC4/issues/4482 Fixed
https://github.com/CVC4/CVC4/issues/4481 Confirmed
https://github.com/CVC4/CVC4/issues/4396 Reported
https://github.com/CVC4/CVC4/issues/4391 Fixed
https://github.com/CVC4/CVC4/issues/3587 Fixed

Others

https://github.com/CVC4/CVC4/issues/4500 Reported
https://github.com/CVC4/CVC4/issues/4490 Reported
https://github.com/CVC4/CVC4/issues/4483 Reported
https://github.com/CVC4/CVC4/issues/4479 Confirmed
https://github.com/CVC4/CVC4/issues/4478 Fixed
https://github.com/CVC4/CVC4/issues/4477 Confirmed
https://github.com/CVC4/CVC4/issues/4476 Confirmed
https://github.com/CVC4/CVC4/issues/4475 Fixed
https://github.com/CVC4/CVC4/issues/4474 Fixed
https://github.com/CVC4/CVC4/issues/4471 Fixed
https://github.com/CVC4/CVC4/issues/4470 Fixed
https://github.com/CVC4/CVC4/issues/4461 Reported
https://github.com/CVC4/CVC4/issues/4460 Fixed
https://github.com/CVC4/CVC4/issues/4459 Confirmed
https://github.com/CVC4/CVC4/issues/4458 Fixed
https://github.com/CVC4/CVC4/issues/4453 Duplicate
https://github.com/CVC4/CVC4/issues/4449 Reported
https://github.com/CVC4/CVC4/issues/4448 Fixed
https://github.com/CVC4/CVC4/issues/4446 Reported
https://github.com/CVC4/CVC4/issues/4436 Confirmed
https://github.com/CVC4/CVC4/issues/4434 Confirmed
https://github.com/CVC4/CVC4/issues/4433 Confirmed
https://github.com/CVC4/CVC4/issues/4431 Confirmed
https://github.com/CVC4/CVC4/issues/4428 Reported
https://github.com/CVC4/CVC4/issues/4427 Confirmed
https://github.com/CVC4/CVC4/issues/4426 Confirmed
https://github.com/CVC4/CVC4/issues/4425 Confirmed
https://github.com/CVC4/CVC4/issues/4414 Reported
https://github.com/CVC4/CVC4/issues/4412 Confirmed
https://github.com/CVC4/CVC4/issues/4405 Reported
https://github.com/CVC4/CVC4/issues/4401 Confirmed
https://github.com/CVC4/CVC4/issues/4400 Reported
https://github.com/CVC4/CVC4/issues/4398 Reported
https://github.com/CVC4/CVC4/issues/4395 Reported
https://github.com/CVC4/CVC4/issues/4393 Confirmed
https://github.com/CVC4/CVC4/issues/4386 Fixed
https://github.com/CVC4/CVC4/issues/4385 Fixed
https://github.com/CVC4/CVC4/issues/4369 Reported
https://github.com/CVC4/CVC4/issues/4366 Reported
https://github.com/CVC4/CVC4/issues/4328 Reported
https://github.com/CVC4/CVC4/issues/4327 Reported
https://github.com/CVC4/CVC4/issues/4325 Reported
https://github.com/CVC4/CVC4/issues/4321 Confirmed
https://github.com/CVC4/CVC4/issues/4320 Reported
https://github.com/CVC4/CVC4/issues/4318 Reported
https://github.com/CVC4/CVC4/issues/4314 Confirmed
https://github.com/CVC4/CVC4/issues/4308 Confirmed
https://github.com/CVC4/CVC4/issues/4307 Confirmed
https://github.com/CVC4/CVC4/issues/4302 Reported
https://github.com/CVC4/CVC4/issues/4300 Reported
https://github.com/CVC4/CVC4/issues/4293 Fixed
https://github.com/CVC4/CVC4/issues/4289 Fixed
https://github.com/CVC4/CVC4/issues/4288 Fixed
https://github.com/CVC4/CVC4/issues/4287 Confirmed
https://github.com/CVC4/CVC4/issues/4286 Confirmed
https://github.com/CVC4/CVC4/issues/4285 Confirmed
https://github.com/CVC4/CVC4/issues/4283 Fixed
https://github.com/CVC4/CVC4/issues/4282 Fixed
https://github.com/CVC4/CVC4/issues/4281 Confirmed
https://github.com/CVC4/CVC4/issues/4277 Confirmed
https://github.com/CVC4/CVC4/issues/4269 Fixed
https://github.com/CVC4/CVC4/issues/4268 Confirmed
https://github.com/CVC4/CVC4/issues/4262 Confirmed
https://github.com/CVC4/CVC4/issues/4259 Confirmed
https://github.com/CVC4/CVC4/issues/4254 Fixed
https://github.com/CVC4/CVC4/issues/4250 Fixed
https://github.com/CVC4/CVC4/issues/4236 Confirmed
https://github.com/CVC4/CVC4/issues/4229 Confirmed
https://github.com/CVC4/CVC4/issues/4228 Fixed
https://github.com/CVC4/CVC4/issues/4225 Confirmed
https://github.com/CVC4/CVC4/issues/4224 Confirmed
https://github.com/CVC4/CVC4/issues/4216 Confirmed
https://github.com/CVC4/CVC4/issues/4199 Confirmed
https://github.com/CVC4/CVC4/issues/4184 Confirmed
https://github.com/CVC4/CVC4/issues/4183 Confirmed
https://github.com/CVC4/CVC4/issues/4182 Confirmed
https://github.com/CVC4/CVC4/issues/4180 Fixed
https://github.com/CVC4/CVC4/issues/4170 Fixed
https://github.com/CVC4/CVC4/issues/4143 Fixed
https://github.com/CVC4/CVC4/issues/4134 Fixed
https://github.com/CVC4/CVC4/issues/4133 Confirmed
https://github.com/CVC4/CVC4/issues/4132 Confirmed
https://github.com/CVC4/CVC4/issues/4130 Confirmed
https://github.com/CVC4/CVC4/issues/4124 Confirmed
https://github.com/CVC4/CVC4/issues/4112 Fixed
https://github.com/CVC4/CVC4/issues/4106 Fixed
https://github.com/CVC4/CVC4/issues/4104 Fixed
https://github.com/CVC4/CVC4/issues/4101 Fixed
https://github.com/CVC4/CVC4/issues/4098 Duplicate
https://github.com/CVC4/CVC4/issues/4097 Fixed
https://github.com/CVC4/CVC4/issues/4096 Fixed
https://github.com/CVC4/CVC4/issues/4095 Duplicate
https://github.com/CVC4/CVC4/issues/4094 Fixed
https://github.com/CVC4/CVC4/issues/4092 Fixed
https://github.com/CVC4/CVC4/issues/4091 Duplicate
https://github.com/CVC4/CVC4/issues/4089 Fixed
https://github.com/CVC4/CVC4/issues/4088 Fixed
https://github.com/CVC4/CVC4/issues/4087 Confirmed
https://github.com/CVC4/CVC4/issues/4086 Fixed
https://github.com/CVC4/CVC4/issues/4085 Fixed
https://github.com/CVC4/CVC4/issues/4084 Fixed
https://github.com/CVC4/CVC4/issues/4083 Fixed
https://github.com/CVC4/CVC4/issues/4082 Confirmed
https://github.com/CVC4/CVC4/issues/4076 Confirmed
https://github.com/CVC4/CVC4/issues/4075 Confirmed
https://github.com/CVC4/CVC4/issues/4070 Fixed
https://github.com/CVC4/CVC4/issues/4064 Fixed
https://github.com/CVC4/CVC4/issues/4061 Fixed
https://github.com/CVC4/CVC4/issues/4055 Confirmed
https://github.com/CVC4/CVC4/issues/4053 Confirmed
https://github.com/CVC4/CVC4/issues/4050 Fixed
https://github.com/CVC4/CVC4/issues/4047 Confirmed
https://github.com/CVC4/CVC4/issues/4025 Fixed
https://github.com/CVC4/CVC4/issues/4022 Fixed
https://github.com/CVC4/CVC4/issues/4021 Fixed
https://github.com/CVC4/CVC4/issues/4019 Fixed
https://github.com/CVC4/CVC4/issues/4018 Duplicate
https://github.com/CVC4/CVC4/issues/4015 Fixed
https://github.com/CVC4/CVC4/issues/4010 Fixed
https://github.com/CVC4/CVC4/issues/4009 Fixed
https://github.com/CVC4/CVC4/issues/4008 Confirmed
https://github.com/CVC4/CVC4/issues/4007 Fixed
https://github.com/CVC4/CVC4/issues/3996 Duplicate
https://github.com/CVC4/CVC4/issues/3995 Fixed
https://github.com/CVC4/CVC4/issues/3994 Confirmed
https://github.com/CVC4/CVC4/issues/3992 Duplicate
https://github.com/CVC4/CVC4/issues/3948 Fixed
https://github.com/CVC4/CVC4/issues/3947 Fixed
https://github.com/CVC4/CVC4/issues/3944 Fixed
https://github.com/CVC4/CVC4/issues/3935 Confirmed
https://github.com/CVC4/CVC4/issues/3931 Fixed
https://github.com/CVC4/CVC4/issues/3849 Fixed
https://github.com/CVC4/CVC4/issues/3824 Confirmed
https://github.com/CVC4/CVC4/issues/3814 Fixed
https://github.com/CVC4/CVC4/issues/3813 Fixed
https://github.com/CVC4/CVC4/issues/3803 Fixed
https://github.com/CVC4/CVC4/issues/3783 Fixed
https://github.com/CVC4/CVC4/issues/3776 Fixed
https://github.com/CVC4/CVC4/issues/3744 Fixed
https://github.com/CVC4/CVC4/issues/3737 Fixed
https://github.com/CVC4/CVC4/issues/3735 Fixed
https://github.com/CVC4/CVC4/issues/3729 Fixed
https://github.com/CVC4/CVC4/issues/3725 Fixed
https://github.com/CVC4/CVC4/issues/3724 Fixed
https://github.com/CVC4/CVC4/issues/3720 Fixed
https://github.com/CVC4/CVC4/issues/3719 Fixed
https://github.com/CVC4/CVC4/issues/3718 Fixed
https://github.com/CVC4/CVC4/issues/3695 Confirmed
https://github.com/CVC4/CVC4/issues/3696 Confirmed
https://github.com/CVC4/CVC4/issues/3694 Confirmed
https://github.com/CVC4/CVC4/issues/3692 Confirmed
https://github.com/CVC4/CVC4/issues/3689 Fixed
https://github.com/CVC4/CVC4/issues/3687 Fixed
https://github.com/CVC4/CVC4/issues/3683 Fixed
https://github.com/CVC4/CVC4/issues/3664 Fixed
https://github.com/CVC4/CVC4/issues/3662 Fixed
https://github.com/CVC4/CVC4/issues/3661 Fixed
https://github.com/CVC4/CVC4/issues/3656 Fixed
https://github.com/CVC4/CVC4/issues/3655 Fixed
https://github.com/CVC4/CVC4/issues/3654 Fixed
https://github.com/CVC4/CVC4/issues/3653 Fixed
https://github.com/CVC4/CVC4/issues/3652 Fixed
https://github.com/CVC4/CVC4/issues/3651 Confirmed
https://github.com/CVC4/CVC4/issues/3648 Confirmed
https://github.com/CVC4/CVC4/issues/3647 Reported
https://github.com/CVC4/CVC4/issues/3646 Confirmed
https://github.com/CVC4/CVC4/issues/3645 Fixed
https://github.com/CVC4/CVC4/issues/3644 Fixed
https://github.com/CVC4/CVC4/issues/3636 Confirmed
https://github.com/CVC4/CVC4/issues/3635 Fixed
https://github.com/CVC4/CVC4/issues/3634 Fixed
https://github.com/CVC4/CVC4/issues/3633 Fixed
https://github.com/CVC4/CVC4/issues/3628 Fixed
https://github.com/CVC4/CVC4/issues/3626 Fixed
https://github.com/CVC4/CVC4/issues/3625 Confirmed
https://github.com/CVC4/CVC4/issues/3623 Fixed
https://github.com/CVC4/CVC4/issues/3622 Duplicate
https://github.com/CVC4/CVC4/issues/3621 Fixed
https://github.com/CVC4/CVC4/issues/3620 Duplicate
https://github.com/CVC4/CVC4/issues/3619 Reported
https://github.com/CVC4/CVC4/issues/3618 Reported
https://github.com/CVC4/CVC4/issues/3617 Fixed
https://github.com/CVC4/CVC4/issues/3615 Fixed
https://github.com/CVC4/CVC4/issues/3614 Fixed
https://github.com/CVC4/CVC4/issues/3537 Fixed
https://github.com/CVC4/CVC4/issues/3536 Fixed
https://github.com/CVC4/CVC4/issues/3533 Duplicate
https://github.com/CVC4/CVC4/issues/3527 Fixed
https://github.com/CVC4/CVC4/issues/3513 Duplicate
https://github.com/CVC4/CVC4/issues/3507 Fixed
https://github.com/CVC4/CVC4/issues/3506 Fixed
https://github.com/CVC4/CVC4/issues/3505 Confirmed
https://github.com/CVC4/CVC4/issues/3411 Duplicate
https://github.com/CVC4/CVC4/issues/3407 Fixed
https://github.com/CVC4/CVC4/issues/3247 Fixed
https://github.com/CVC4/CVC4/issues/3248 Fixed
https://github.com/CVC4/CVC4/issues/3249 Fixed
https://github.com/CVC4/CVC4/issues/3414 Duplicate
https://github.com/CVC4/CVC4/issues/3425 Duplicate
https://github.com/CVC4/CVC4/issues/3429 Duplicate
https://github.com/CVC4/CVC4/issues/3307 Fixed
https://github.com/CVC4/CVC4/issues/3474 Confirmed
https://github.com/CVC4/CVC4/issues/3480 Fixed

========= Z3 =========

Soundness Bugs

Refutation Soundness

https://github.com/Z3Prover/z3/issues/4461 Reported
https://github.com/Z3Prover/z3/issues/4455 Reported
https://github.com/Z3Prover/z3/issues/4453 Reported
https://github.com/Z3Prover/z3/issues/4422 Reported
https://github.com/Z3Prover/z3/issues/4408 Reported
https://github.com/Z3Prover/z3/issues/4378 Reported
https://github.com/Z3Prover/z3/issues/4377 Reported
https://github.com/Z3Prover/z3/issues/4376 Reported
https://github.com/Z3Prover/z3/issues/4374 Reported
https://github.com/Z3Prover/z3/issues/4340 Reported
https://github.com/Z3Prover/z3/issues/4339 Reported
https://github.com/Z3Prover/z3/issues/4338 Reported
https://github.com/Z3Prover/z3/issues/4337 Reported
https://github.com/Z3Prover/z3/issues/4314 Confirmed
https://github.com/Z3Prover/z3/issues/4311 Confirmed
https://github.com/Z3Prover/z3/issues/4300 Duplicate
https://github.com/Z3Prover/z3/issues/4299 Duplicate
https://github.com/Z3Prover/z3/issues/4280 Reported
https://github.com/Z3Prover/z3/issues/4273 Fixed
https://github.com/Z3Prover/z3/issues/4272 Fixed
https://github.com/Z3Prover/z3/issues/4270 Fixed
https://github.com/Z3Prover/z3/issues/4269 Duplicate
https://github.com/Z3Prover/z3/issues/4246 Fixed
https://github.com/Z3Prover/z3/issues/4188 Duplicate
https://github.com/Z3Prover/z3/issues/4175 Confirmed
https://github.com/Z3Prover/z3/issues/4150 Reported
https://github.com/Z3Prover/z3/issues/4122 Fixed
https://github.com/Z3Prover/z3/issues/4104 Reported
https://github.com/Z3Prover/z3/issues/4096 Reported
https://github.com/Z3Prover/z3/issues/4089 Reported
https://github.com/Z3Prover/z3/issues/4069 Reported
https://github.com/Z3Prover/z3/issues/4067 Reported
https://github.com/Z3Prover/z3/issues/4049 Fixed
https://github.com/Z3Prover/z3/issues/4040 Fixed
https://github.com/Z3Prover/z3/issues/4019 Fixed
https://github.com/Z3Prover/z3/issues/4017 Reported
https://github.com/Z3Prover/z3/issues/4015 Reported
https://github.com/Z3Prover/z3/issues/4014 Reported
https://github.com/Z3Prover/z3/issues/4006 Reported
https://github.com/Z3Prover/z3/issues/3972 Reported
https://github.com/Z3Prover/z3/issues/3969 Reported
https://github.com/Z3Prover/z3/issues/3941 Reported
https://github.com/Z3Prover/z3/issues/3935 Fixed
https://github.com/Z3Prover/z3/issues/3922 Duplicate
https://github.com/Z3Prover/z3/issues/3914 Duplicate
https://github.com/Z3Prover/z3/issues/3896 Fixed
https://github.com/Z3Prover/z3/issues/3891 Fixed
https://github.com/Z3Prover/z3/issues/3890 Fixed
https://github.com/Z3Prover/z3/issues/3886 Fixed
https://github.com/Z3Prover/z3/issues/3876 Duplicate
https://github.com/Z3Prover/z3/issues/3872 Fixed
https://github.com/Z3Prover/z3/issues/3858 Fixed
https://github.com/Z3Prover/z3/issues/3820 Fixed
https://github.com/Z3Prover/z3/issues/3819 Fixed
https://github.com/Z3Prover/z3/issues/3710 Duplicate
https://github.com/Z3Prover/z3/issues/3679 Fixed
https://github.com/Z3Prover/z3/issues/3486 Fixed
https://github.com/Z3Prover/z3/issues/3457 Reported
https://github.com/Z3Prover/z3/issues/3455 Fixed
https://github.com/Z3Prover/z3/issues/3451 Fixed
https://github.com/Z3Prover/z3/issues/3442 Reported
https://github.com/Z3Prover/z3/issues/3413 Duplicate
https://github.com/Z3Prover/z3/issues/3395 Fixed
https://github.com/Z3Prover/z3/issues/3395 Reported
https://github.com/Z3Prover/z3/issues/3378 Fixed
https://github.com/Z3Prover/z3/issues/3377 Fixed
https://github.com/Z3Prover/z3/issues/3375 Fixed
https://github.com/Z3Prover/z3/issues/3366 Reported
https://github.com/Z3Prover/z3/issues/3300 Fixed
https://github.com/Z3Prover/z3/issues/3225 Fixed
https://github.com/Z3Prover/z3/issues/3212 Fixed
https://github.com/Z3Prover/z3/issues/3164 Fixed
https://github.com/Z3Prover/z3/issues/3157 Fixed
https://github.com/Z3Prover/z3/issues/3128 Fixed
https://github.com/Z3Prover/z3/issues/3107 Fixed
https://github.com/Z3Prover/z3/issues/3106 Fixed
https://github.com/Z3Prover/z3/issues/3038 Fixed
https://github.com/Z3Prover/z3/issues/3023 Fixed
https://github.com/Z3Prover/z3/issues/2975 Fixed
https://github.com/Z3Prover/z3/issues/2974 Fixed
https://github.com/Z3Prover/z3/issues/2965 Fixed
https://github.com/Z3Prover/z3/issues/2968 Fixed
https://github.com/Z3Prover/z3/issues/2967 Fixed
https://github.com/Z3Prover/z3/issues/2957 Fixed
https://github.com/Z3Prover/z3/issues/2860 Duplicate
https://github.com/Z3Prover/z3/issues/2838 Fixed
https://github.com/Z3Prover/z3/issues/2832 Fixed
https://github.com/Z3Prover/z3/issues/2808 Fixed
https://github.com/Z3Prover/z3/issues/2799 Duplicate
https://github.com/Z3Prover/z3/issues/2796 Fixed
https://github.com/Z3Prover/z3/issues/2777 Fixed
https://github.com/Z3Prover/z3/issues/2768 Fixed
https://github.com/Z3Prover/z3/issues/2752 Fixed
https://github.com/Z3Prover/z3/issues/2699 Confirmed
https://github.com/Z3Prover/z3/issues/2680 Confirmed
https://github.com/Z3Prover/z3/issues/2717 Fixed
https://github.com/Z3Prover/z3/issues/2715 Fixed
https://github.com/Z3Prover/z3/issues/2678 Fixed
https://github.com/Z3Prover/z3/issues/2592 Fixed

Solution Soundness

https://github.com/Z3Prover/z3/issues/4423 Reported
https://github.com/Z3Prover/z3/issues/4421 Reported
https://github.com/Z3Prover/z3/issues/4417 Reported
https://github.com/Z3Prover/z3/issues/4416 Reported
https://github.com/Z3Prover/z3/issues/4410 Reported
https://github.com/Z3Prover/z3/issues/4409 Reported
https://github.com/Z3Prover/z3/issues/4391 Reported
https://github.com/Z3Prover/z3/issues/4351 Reported
https://github.com/Z3Prover/z3/issues/4307 Confirmed
https://github.com/Z3Prover/z3/issues/4306 Confirmed
https://github.com/Z3Prover/z3/issues/4302 Confirmed
https://github.com/Z3Prover/z3/issues/4219 Reported
https://github.com/Z3Prover/z3/issues/4162 Fixed
https://github.com/Z3Prover/z3/issues/4144 Fixed
https://github.com/Z3Prover/z3/issues/4129 Reported
https://github.com/Z3Prover/z3/issues/4123 Fixed
https://github.com/Z3Prover/z3/issues/4102 Fixed
https://github.com/Z3Prover/z3/issues/4100 Fixed
https://github.com/Z3Prover/z3/issues/4071 Reported
https://github.com/Z3Prover/z3/issues/4065 Reported
https://github.com/Z3Prover/z3/issues/4042 Duplicate
https://github.com/Z3Prover/z3/issues/4041 Reported
https://github.com/Z3Prover/z3/issues/4036 Fixed
https://github.com/Z3Prover/z3/issues/4029 Fixed
https://github.com/Z3Prover/z3/issues/4018 Reported
https://github.com/Z3Prover/z3/issues/4008 Reported
https://github.com/Z3Prover/z3/issues/4007 Reported
https://github.com/Z3Prover/z3/issues/3994 Fixed
https://github.com/Z3Prover/z3/issues/3992 Fixed
https://github.com/Z3Prover/z3/issues/3973 Fixed
https://github.com/Z3Prover/z3/issues/3971 Reported
https://github.com/Z3Prover/z3/issues/3970 Fixed
https://github.com/Z3Prover/z3/issues/3960 Fixed
https://github.com/Z3Prover/z3/issues/3942 Duplicate
https://github.com/Z3Prover/z3/issues/3917 Fixed
https://github.com/Z3Prover/z3/issues/3916 Reported
https://github.com/Z3Prover/z3/issues/3913 Fixed
https://github.com/Z3Prover/z3/issues/3911 Fixed
https://github.com/Z3Prover/z3/issues/3850 Fixed
https://github.com/Z3Prover/z3/issues/3816 Fixed
https://github.com/Z3Prover/z3/issues/3811 Fixed
https://github.com/Z3Prover/z3/issues/3792 Fixed
https://github.com/Z3Prover/z3/issues/3778 Fixed
https://github.com/Z3Prover/z3/issues/3732 Duplicate
https://github.com/Z3Prover/z3/issues/3695 Fixed
https://github.com/Z3Prover/z3/issues/3629 Duplicate
https://github.com/Z3Prover/z3/issues/3501 Duplicate
https://github.com/Z3Prover/z3/issues/3497 Duplicate
https://github.com/Z3Prover/z3/issues/3478 Reported
https://github.com/Z3Prover/z3/issues/3447 Fixed
https://github.com/Z3Prover/z3/issues/3415 Fixed
https://github.com/Z3Prover/z3/issues/3359 Duplicate
https://github.com/Z3Prover/z3/issues/3298 Fixed
https://github.com/Z3Prover/z3/issues/3270 Reported
https://github.com/Z3Prover/z3/issues/3263 Fixed
https://github.com/Z3Prover/z3/issues/3210 Fixed
https://github.com/Z3Prover/z3/issues/3197 Duplicate
https://github.com/Z3Prover/z3/issues/3185 Fixed
https://github.com/Z3Prover/z3/issues/3183 Fixed
https://github.com/Z3Prover/z3/issues/3127 Fixed
https://github.com/Z3Prover/z3/issues/3103 Fixed
https://github.com/Z3Prover/z3/issues/3047 Confirmed
https://github.com/Z3Prover/z3/issues/2978 Fixed
https://github.com/Z3Prover/z3/issues/2946 Fixed
https://github.com/Z3Prover/z3/issues/2920 Fixed
https://github.com/Z3Prover/z3/issues/2896 Duplicate
https://github.com/Z3Prover/z3/issues/2894 Reported
https://github.com/Z3Prover/z3/issues/2650 Reported
https://github.com/Z3Prover/z3/issues/2852 Fixed
https://github.com/Z3Prover/z3/issues/2840 Confirmed
https://github.com/Z3Prover/z3/issues/2836 Fixed
https://github.com/Z3Prover/z3/issues/2830 Fixed
https://github.com/Z3Prover/z3/issues/2823 Duplicate
https://github.com/Z3Prover/z3/issues/2787 Fixed
https://github.com/Z3Prover/z3/issues/2783 Reported
https://github.com/Z3Prover/z3/issues/2766 Fixed
https://github.com/Z3Prover/z3/issues/2742 Confirmed
https://github.com/Z3Prover/z3/issues/2736 Confirmed
https://github.com/Z3Prover/z3/issues/2721 Fixed
https://github.com/Z3Prover/z3/issues/2733 Fixed
https://github.com/Z3Prover/z3/issues/2658 Confirmed
https://github.com/Z3Prover/z3/issues/2657 Confirmed
https://github.com/Z3Prover/z3/issues/2608 Confirmed
https://github.com/Z3Prover/z3/issues/2597 Fixed

Others

https://github.com/Z3Prover/z3/issues/4450 Reported
https://github.com/Z3Prover/z3/issues/4448 Reported
https://github.com/Z3Prover/z3/issues/4447 Reported
https://github.com/Z3Prover/z3/issues/4446 Reported
https://github.com/Z3Prover/z3/issues/4437 Reported
https://github.com/Z3Prover/z3/issues/4432 Reported
https://github.com/Z3Prover/z3/issues/4429 Reported
https://github.com/Z3Prover/z3/issues/4428 Reported
https://github.com/Z3Prover/z3/issues/4424 Reported
https://github.com/Z3Prover/z3/issues/4419 Reported
https://github.com/Z3Prover/z3/issues/4418 Reported
https://github.com/Z3Prover/z3/issues/4412 Reported
https://github.com/Z3Prover/z3/issues/4406 Reported
https://github.com/Z3Prover/z3/issues/4396 Reported
https://github.com/Z3Prover/z3/issues/4395 Reported
https://github.com/Z3Prover/z3/issues/4393 Reported
https://github.com/Z3Prover/z3/issues/4392 Reported
https://github.com/Z3Prover/z3/issues/4388 Reported
https://github.com/Z3Prover/z3/issues/4387 Reported
https://github.com/Z3Prover/z3/issues/4373 Reported
https://github.com/Z3Prover/z3/issues/4371 Reported
https://github.com/Z3Prover/z3/issues/4357 Reported
https://github.com/Z3Prover/z3/issues/4355 Reported
https://github.com/Z3Prover/z3/issues/4354 Reported
https://github.com/Z3Prover/z3/issues/4353 Reported
https://github.com/Z3Prover/z3/issues/4352 Reported
https://github.com/Z3Prover/z3/issues/4350 Reported
https://github.com/Z3Prover/z3/issues/4349 Reported
https://github.com/Z3Prover/z3/issues/4344 Reported
https://github.com/Z3Prover/z3/issues/4343 Reported
https://github.com/Z3Prover/z3/issues/4336 Reported
https://github.com/Z3Prover/z3/issues/4315 Reported
https://github.com/Z3Prover/z3/issues/4310 Confirmed
https://github.com/Z3Prover/z3/issues/4309 Fixed
https://github.com/Z3Prover/z3/issues/4308 Reported
https://github.com/Z3Prover/z3/issues/4305 Reported
https://github.com/Z3Prover/z3/issues/4304 Fixed
https://github.com/Z3Prover/z3/issues/4303 Fixed
https://github.com/Z3Prover/z3/issues/4301 Duplicate
https://github.com/Z3Prover/z3/issues/4297 Reported
https://github.com/Z3Prover/z3/issues/4296 Reported
https://github.com/Z3Prover/z3/issues/4295 Fixed
https://github.com/Z3Prover/z3/issues/4279 Fixed
https://github.com/Z3Prover/z3/issues/4275 Confirmed
https://github.com/Z3Prover/z3/issues/4266 Fixed
https://github.com/Z3Prover/z3/issues/4262 Fixed
https://github.com/Z3Prover/z3/issues/4259 Fixed
https://github.com/Z3Prover/z3/issues/4258 Confirmed
https://github.com/Z3Prover/z3/issues/4251 Fixed
https://github.com/Z3Prover/z3/issues/4250 Fixed
https://github.com/Z3Prover/z3/issues/4225 Fixed
https://github.com/Z3Prover/z3/issues/4217 Duplicate
https://github.com/Z3Prover/z3/issues/4213 Duplicate
https://github.com/Z3Prover/z3/issues/4211 Confirmed
https://github.com/Z3Prover/z3/issues/4200 Fixed
https://github.com/Z3Prover/z3/issues/4189 Reported
https://github.com/Z3Prover/z3/issues/4187 Fixed
https://github.com/Z3Prover/z3/issues/4180 Fixed
https://github.com/Z3Prover/z3/issues/4177 Reported
https://github.com/Z3Prover/z3/issues/4171 Fixed
https://github.com/Z3Prover/z3/issues/4169 Fixed
https://github.com/Z3Prover/z3/issues/4166 Fixed
https://github.com/Z3Prover/z3/issues/4165 Fixed
https://github.com/Z3Prover/z3/issues/4163 Fixed
https://github.com/Z3Prover/z3/issues/4156 Fixed
https://github.com/Z3Prover/z3/issues/4155 Fixed
https://github.com/Z3Prover/z3/issues/4154 Fixed
https://github.com/Z3Prover/z3/issues/4149 Fixed
https://github.com/Z3Prover/z3/issues/4146 Reported
https://github.com/Z3Prover/z3/issues/4145 Reported
https://github.com/Z3Prover/z3/issues/4128 Fixed
https://github.com/Z3Prover/z3/issues/4127 Fixed
https://github.com/Z3Prover/z3/issues/4126 Reported
https://github.com/Z3Prover/z3/issues/4125 Fixed
https://github.com/Z3Prover/z3/issues/4124 Reported
https://github.com/Z3Prover/z3/issues/4120 Fixed
https://github.com/Z3Prover/z3/issues/4119 Reported
https://github.com/Z3Prover/z3/issues/4114 Fixed
https://github.com/Z3Prover/z3/issues/4113 Fixed
https://github.com/Z3Prover/z3/issues/4112 Fixed
https://github.com/Z3Prover/z3/issues/4108 Fixed
https://github.com/Z3Prover/z3/issues/4106 Fixed
https://github.com/Z3Prover/z3/issues/4099 Fixed
https://github.com/Z3Prover/z3/issues/4098 Fixed
https://github.com/Z3Prover/z3/issues/4097 Fixed
https://github.com/Z3Prover/z3/issues/4091 Reported
https://github.com/Z3Prover/z3/issues/4090 Fixed
https://github.com/Z3Prover/z3/issues/4088 Fixed
https://github.com/Z3Prover/z3/issues/4087 Duplicate
https://github.com/Z3Prover/z3/issues/4084 Reported
https://github.com/Z3Prover/z3/issues/4083 Reported
https://github.com/Z3Prover/z3/issues/4082 Reported
https://github.com/Z3Prover/z3/issues/4081 Fixed
https://github.com/Z3Prover/z3/issues/4073 Fixed
https://github.com/Z3Prover/z3/issues/4060 Reported
https://github.com/Z3Prover/z3/issues/4053 Reported
https://github.com/Z3Prover/z3/issues/4050 Reported
https://github.com/Z3Prover/z3/issues/4044 Reported
https://github.com/Z3Prover/z3/issues/4031 Reported
https://github.com/Z3Prover/z3/issues/4030 Reported
https://github.com/Z3Prover/z3/issues/4027 Reported
https://github.com/Z3Prover/z3/issues/4026 Reported
https://github.com/Z3Prover/z3/issues/4023 Reported
https://github.com/Z3Prover/z3/issues/4022 Reported
https://github.com/Z3Prover/z3/issues/4021 Reported
https://github.com/Z3Prover/z3/issues/4020 Fixed
https://github.com/Z3Prover/z3/issues/4016 Reported
https://github.com/Z3Prover/z3/issues/4013 Reported
https://github.com/Z3Prover/z3/issues/4010 Fixed
https://github.com/Z3Prover/z3/issues/4009 Reported
https://github.com/Z3Prover/z3/issues/3999 Fixed
https://github.com/Z3Prover/z3/issues/3991 Fixed
https://github.com/Z3Prover/z3/issues/3984 Fixed
https://github.com/Z3Prover/z3/issues/3977 Reported
https://github.com/Z3Prover/z3/issues/3976 Reported
https://github.com/Z3Prover/z3/issues/3975 Fixed
https://github.com/Z3Prover/z3/issues/3961 Reported
https://github.com/Z3Prover/z3/issues/3959 Fixed
https://github.com/Z3Prover/z3/issues/3958 Fixed
https://github.com/Z3Prover/z3/issues/3957 Fixed
https://github.com/Z3Prover/z3/issues/3955 Fixed
https://github.com/Z3Prover/z3/issues/3943 Reported
https://github.com/Z3Prover/z3/issues/3937 Reported
https://github.com/Z3Prover/z3/issues/3936 Fixed
https://github.com/Z3Prover/z3/issues/3929 Fixed
https://github.com/Z3Prover/z3/issues/3928 Fixed
https://github.com/Z3Prover/z3/issues/3919 Fixed
https://github.com/Z3Prover/z3/issues/3909 Fixed
https://github.com/Z3Prover/z3/issues/3903 Fixed
https://github.com/Z3Prover/z3/issues/3899 Fixed
https://github.com/Z3Prover/z3/issues/3898 Fixed
https://github.com/Z3Prover/z3/issues/3897 Fixed
https://github.com/Z3Prover/z3/issues/3895 Reported
https://github.com/Z3Prover/z3/issues/3894 Reported
https://github.com/Z3Prover/z3/issues/3892 Reported
https://github.com/Z3Prover/z3/issues/3889 Fixed
https://github.com/Z3Prover/z3/issues/3888 Fixed
https://github.com/Z3Prover/z3/issues/3887 Fixed
https://github.com/Z3Prover/z3/issues/3877 Fixed
https://github.com/Z3Prover/z3/issues/3874 Fixed
https://github.com/Z3Prover/z3/issues/3871 Fixed
https://github.com/Z3Prover/z3/issues/3870 Fixed
https://github.com/Z3Prover/z3/issues/3869 Fixed
https://github.com/Z3Prover/z3/issues/3863 Fixed
https://github.com/Z3Prover/z3/issues/3862 Duplicate
https://github.com/Z3Prover/z3/issues/3861 Fixed
https://github.com/Z3Prover/z3/issues/3857 Fixed
https://github.com/Z3Prover/z3/issues/3849 Fixed
https://github.com/Z3Prover/z3/issues/3846 Fixed
https://github.com/Z3Prover/z3/issues/3843 Fixed
https://github.com/Z3Prover/z3/issues/3836 Fixed
https://github.com/Z3Prover/z3/issues/3833 Fixed
https://github.com/Z3Prover/z3/issues/3832 Fixed
https://github.com/Z3Prover/z3/issues/3829 Fixed
https://github.com/Z3Prover/z3/issues/3827 Fixed
https://github.com/Z3Prover/z3/issues/3826 Fixed
https://github.com/Z3Prover/z3/issues/3815 Fixed
https://github.com/Z3Prover/z3/issues/3813 Duplicate
https://github.com/Z3Prover/z3/issues/3807 Reported
https://github.com/Z3Prover/z3/issues/3794 Reported
https://github.com/Z3Prover/z3/issues/3793 Reported
https://github.com/Z3Prover/z3/issues/3791 Fixed
https://github.com/Z3Prover/z3/issues/3790 Fixed
https://github.com/Z3Prover/z3/issues/3777 Fixed
https://github.com/Z3Prover/z3/issues/3776 Reported
https://github.com/Z3Prover/z3/issues/3775 Fixed
https://github.com/Z3Prover/z3/issues/3774 Fixed
https://github.com/Z3Prover/z3/issues/3773 Confirmed
https://github.com/Z3Prover/z3/issues/3772 Confirmed
https://github.com/Z3Prover/z3/issues/3771 Confirmed
https://github.com/Z3Prover/z3/issues/3770 Confirmed
https://github.com/Z3Prover/z3/issues/3758 Fixed
https://github.com/Z3Prover/z3/issues/3754 Fixed
https://github.com/Z3Prover/z3/issues/3750 Fixed
https://github.com/Z3Prover/z3/issues/3749 Fixed
https://github.com/Z3Prover/z3/issues/3748 Fixed
https://github.com/Z3Prover/z3/issues/3747 Fixed
https://github.com/Z3Prover/z3/issues/3744 Fixed
https://github.com/Z3Prover/z3/issues/3743 Fixed
https://github.com/Z3Prover/z3/issues/3739 Fixed
https://github.com/Z3Prover/z3/issues/3735 Fixed
https://github.com/Z3Prover/z3/issues/3734 Fixed
https://github.com/Z3Prover/z3/issues/3733 Fixed
https://github.com/Z3Prover/z3/issues/3722 Reported
https://github.com/Z3Prover/z3/issues/3720 Duplicate
https://github.com/Z3Prover/z3/issues/3718 Fixed
https://github.com/Z3Prover/z3/issues/3705 Fixed
https://github.com/Z3Prover/z3/issues/3704 Fixed
https://github.com/Z3Prover/z3/issues/3700 Fixed
https://github.com/Z3Prover/z3/issues/3699 Fixed
https://github.com/Z3Prover/z3/issues/3689 Fixed
https://github.com/Z3Prover/z3/issues/3688 Fixed
https://github.com/Z3Prover/z3/issues/3686 Fixed
https://github.com/Z3Prover/z3/issues/3685 Fixed
https://github.com/Z3Prover/z3/issues/3683 Fixed
https://github.com/Z3Prover/z3/issues/3682 Reported
https://github.com/Z3Prover/z3/issues/3680 Fixed
https://github.com/Z3Prover/z3/issues/3676 Duplicate
https://github.com/Z3Prover/z3/issues/3675 Fixed
https://github.com/Z3Prover/z3/issues/3670 Fixed
https://github.com/Z3Prover/z3/issues/3669 Fixed
https://github.com/Z3Prover/z3/issues/3663 Fixed
https://github.com/Z3Prover/z3/issues/3660 Fixed
https://github.com/Z3Prover/z3/issues/3657 Fixed
https://github.com/Z3Prover/z3/issues/3654 Fixed
https://github.com/Z3Prover/z3/issues/3652 Duplicate
https://github.com/Z3Prover/z3/issues/3648 Fixed
https://github.com/Z3Prover/z3/issues/3627 Duplicate
https://github.com/Z3Prover/z3/issues/3625 Fixed
https://github.com/Z3Prover/z3/issues/3618 Fixed
https://github.com/Z3Prover/z3/issues/3597 Duplicate
https://github.com/Z3Prover/z3/issues/3594 Fixed
https://github.com/Z3Prover/z3/issues/3592 Duplicate
https://github.com/Z3Prover/z3/issues/3589 Duplicate
https://github.com/Z3Prover/z3/issues/3587 Fixed
https://github.com/Z3Prover/z3/issues/3584 Fixed
https://github.com/Z3Prover/z3/issues/3582 Duplicate
https://github.com/Z3Prover/z3/issues/3576 Fixed
https://github.com/Z3Prover/z3/issues/3575 Fixed
https://github.com/Z3Prover/z3/issues/3574 Duplicate
https://github.com/Z3Prover/z3/issues/3572 Fixed
https://github.com/Z3Prover/z3/issues/3557 Fixed
https://github.com/Z3Prover/z3/issues/3555 Fixed
https://github.com/Z3Prover/z3/issues/3554 Fixed
https://github.com/Z3Prover/z3/issues/3551 Duplicate
https://github.com/Z3Prover/z3/issues/3550 Fixed
https://github.com/Z3Prover/z3/issues/3549 Duplicate
https://github.com/Z3Prover/z3/issues/3548 Fixed
https://github.com/Z3Prover/z3/issues/3538 Fixed
https://github.com/Z3Prover/z3/issues/3523 Fixed
https://github.com/Z3Prover/z3/issues/3522 Fixed
https://github.com/Z3Prover/z3/issues/3519 Fixed
https://github.com/Z3Prover/z3/issues/3516 Fixed
https://github.com/Z3Prover/z3/issues/3514 Fixed
https://github.com/Z3Prover/z3/issues/3500 Fixed
https://github.com/Z3Prover/z3/issues/3496 Reported
https://github.com/Z3Prover/z3/issues/3495 Fixed
https://github.com/Z3Prover/z3/issues/3482 Fixed
https://github.com/Z3Prover/z3/issues/3481 Duplicate
https://github.com/Z3Prover/z3/issues/3468 Duplicate
https://github.com/Z3Prover/z3/issues/3462 Reported
https://github.com/Z3Prover/z3/issues/3459 Fixed
https://github.com/Z3Prover/z3/issues/3458 Fixed
https://github.com/Z3Prover/z3/issues/3453 Duplicate
https://github.com/Z3Prover/z3/issues/3448 Duplicate
https://github.com/Z3Prover/z3/issues/3441 Reported
https://github.com/Z3Prover/z3/issues/3435 Fixed
https://github.com/Z3Prover/z3/issues/3434 Fixed
https://github.com/Z3Prover/z3/issues/3433 Fixed
https://github.com/Z3Prover/z3/issues/3430 Fixed
https://github.com/Z3Prover/z3/issues/3416 Fixed
https://github.com/Z3Prover/z3/issues/3403 Fixed
https://github.com/Z3Prover/z3/issues/3393 Fixed
https://github.com/Z3Prover/z3/issues/3389 Fixed
https://github.com/Z3Prover/z3/issues/3381 Duplicate
https://github.com/Z3Prover/z3/issues/3380 Duplicate
https://github.com/Z3Prover/z3/issues/3367 Duplicate
https://github.com/Z3Prover/z3/issues/3340 Duplicate
https://github.com/Z3Prover/z3/issues/3338 Fixed
https://github.com/Z3Prover/z3/issues/3334 Fixed
https://github.com/Z3Prover/z3/issues/3331 Fixed
https://github.com/Z3Prover/z3/issues/3322 Reported
https://github.com/Z3Prover/z3/issues/3320 Fixed
https://github.com/Z3Prover/z3/issues/3314 Fixed
https://github.com/Z3Prover/z3/issues/3313 Duplicate
https://github.com/Z3Prover/z3/issues/3312 Fixed
https://github.com/Z3Prover/z3/issues/3311 Fixed
https://github.com/Z3Prover/z3/issues/3301 Fixed
https://github.com/Z3Prover/z3/issues/3299 Fixed
https://github.com/Z3Prover/z3/issues/3297 Fixed
https://github.com/Z3Prover/z3/issues/3294 Fixed
https://github.com/Z3Prover/z3/issues/3287 Duplicate
https://github.com/Z3Prover/z3/issues/3286 Fixed
https://github.com/Z3Prover/z3/issues/3285 Duplicate
https://github.com/Z3Prover/z3/issues/3273 Fixed
https://github.com/Z3Prover/z3/issues/3269 Fixed
https://github.com/Z3Prover/z3/issues/3268 Fixed
https://github.com/Z3Prover/z3/issues/3261 Fixed
https://github.com/Z3Prover/z3/issues/3254 Reported
https://github.com/Z3Prover/z3/issues/3238 Reported
https://github.com/Z3Prover/z3/issues/3233 Fixed
https://github.com/Z3Prover/z3/issues/3230 Fixed
https://github.com/Z3Prover/z3/issues/3229 Duplicate
https://github.com/Z3Prover/z3/issues/3226 Fixed
https://github.com/Z3Prover/z3/issues/3224 Fixed
https://github.com/Z3Prover/z3/issues/3223 Fixed
https://github.com/Z3Prover/z3/issues/3221 Fixed
https://github.com/Z3Prover/z3/issues/3220 Fixed
https://github.com/Z3Prover/z3/issues/3219 Fixed
https://github.com/Z3Prover/z3/issues/3205 Fixed
https://github.com/Z3Prover/z3/issues/3204 Fixed
https://github.com/Z3Prover/z3/issues/3203 Fixed
https://github.com/Z3Prover/z3/issues/3199 Fixed
https://github.com/Z3Prover/z3/issues/3188 Fixed
https://github.com/Z3Prover/z3/issues/3187 Fixed
https://github.com/Z3Prover/z3/issues/3186 Fixed
https://github.com/Z3Prover/z3/issues/3183 Fixed
https://github.com/Z3Prover/z3/issues/3177 Fixed
https://github.com/Z3Prover/z3/issues/3172 Fixed
https://github.com/Z3Prover/z3/issues/3163 Fixed
https://github.com/Z3Prover/z3/issues/3156 Fixed
https://github.com/Z3Prover/z3/issues/3136 Duplicate
https://github.com/Z3Prover/z3/issues/3135 Duplicate
https://github.com/Z3Prover/z3/issues/3123 Fixed
https://github.com/Z3Prover/z3/issues/3118 Fixed
https://github.com/Z3Prover/z3/issues/3116 Fixed
https://github.com/Z3Prover/z3/issues/3115 Fixed
https://github.com/Z3Prover/z3/issues/3111 Fixed
https://github.com/Z3Prover/z3/issues/3110 Fixed
https://github.com/Z3Prover/z3/issues/3108 Fixed
https://github.com/Z3Prover/z3/issues/3105 Fixed
https://github.com/Z3Prover/z3/issues/3104 Fixed
https://github.com/Z3Prover/z3/issues/3101 Fixed
https://github.com/Z3Prover/z3/issues/3099 Fixed
https://github.com/Z3Prover/z3/issues/3089 Fixed
https://github.com/Z3Prover/z3/issues/3088 Confirmed
https://github.com/Z3Prover/z3/issues/3087 Fixed
https://github.com/Z3Prover/z3/issues/3087 Fixed
https://github.com/Z3Prover/z3/issues/3083 Duplicate
https://github.com/Z3Prover/z3/issues/3082 Fixed
https://github.com/Z3Prover/z3/issues/3081 Fixed
https://github.com/Z3Prover/z3/issues/3079 Fixed
https://github.com/Z3Prover/z3/issues/3078 Fixed
https://github.com/Z3Prover/z3/issues/3077 Confirmed
https://github.com/Z3Prover/z3/issues/3076 Fixed
https://github.com/Z3Prover/z3/issues/3075 Fixed
https://github.com/Z3Prover/z3/issues/3069 Reported
https://github.com/Z3Prover/z3/issues/3064 Fixed
https://github.com/Z3Prover/z3/issues/3063 Fixed
https://github.com/Z3Prover/z3/issues/3062 Fixed
https://github.com/Z3Prover/z3/issues/3060 Fixed
https://github.com/Z3Prover/z3/issues/3057 Fixed
https://github.com/Z3Prover/z3/issues/3055 Fixed
https://github.com/Z3Prover/z3/issues/3046 Fixed
https://github.com/Z3Prover/z3/issues/3045 Fixed
https://github.com/Z3Prover/z3/issues/3044 Fixed
https://github.com/Z3Prover/z3/issues/3043 Fixed
https://github.com/Z3Prover/z3/issues/3042 Fixed
https://github.com/Z3Prover/z3/issues/3036 Duplicate
https://github.com/Z3Prover/z3/issues/3035 Fixed
https://github.com/Z3Prover/z3/issues/3034 Fixed
https://github.com/Z3Prover/z3/issues/3033 Fixed
https://github.com/Z3Prover/z3/issues/3041 Fixed
https://github.com/Z3Prover/z3/issues/3039 Fixed
https://github.com/Z3Prover/z3/issues/3029 Fixed
https://github.com/Z3Prover/z3/issues/3028 Fixed
https://github.com/Z3Prover/z3/issues/3027 Fixed
https://github.com/Z3Prover/z3/issues/3026 Fixed
https://github.com/Z3Prover/z3/issues/3025 Duplicate
https://github.com/Z3Prover/z3/issues/3022 Fixed
https://github.com/Z3Prover/z3/issues/3021 Fixed
https://github.com/Z3Prover/z3/issues/3020 Fixed
https://github.com/Z3Prover/z3/issues/3019 Fixed
https://github.com/Z3Prover/z3/issues/3018 Fixed
https://github.com/Z3Prover/z3/issues/3012 Reported
https://github.com/Z3Prover/z3/issues/3011 Fixed
https://github.com/Z3Prover/z3/issues/3010 Fixed
https://github.com/Z3Prover/z3/issues/3009 Fixed
https://github.com/Z3Prover/z3/issues/3006 Fixed
https://github.com/Z3Prover/z3/issues/3004 Fixed
https://github.com/Z3Prover/z3/issues/3003 Fixed
https://github.com/Z3Prover/z3/issues/3001 Fixed
https://github.com/Z3Prover/z3/issues/2996 Fixed
https://github.com/Z3Prover/z3/issues/2991 Fixed
https://github.com/Z3Prover/z3/issues/2990 Fixed
https://github.com/Z3Prover/z3/issues/2989 Fixed
https://github.com/Z3Prover/z3/issues/2982 Fixed
https://github.com/Z3Prover/z3/issues/2981 Fixed
https://github.com/Z3Prover/z3/issues/2980 Fixed
https://github.com/Z3Prover/z3/issues/2979 Fixed
https://github.com/Z3Prover/z3/issues/2977 Confirmed
https://github.com/Z3Prover/z3/issues/2976 Fixed
https://github.com/Z3Prover/z3/issues/2966 Fixed
https://github.com/Z3Prover/z3/issues/2963 Fixed
https://github.com/Z3Prover/z3/issues/2962 Fixed
https://github.com/Z3Prover/z3/issues/2960 Fixed
https://github.com/Z3Prover/z3/issues/2959 Fixed
https://github.com/Z3Prover/z3/issues/2958 Duplicate
https://github.com/Z3Prover/z3/issues/2955 Fixed
https://github.com/Z3Prover/z3/issues/2954 Fixed
https://github.com/Z3Prover/z3/issues/2953 Fixed
https://github.com/Z3Prover/z3/issues/2951 Fixed
https://github.com/Z3Prover/z3/issues/2950 Fixed
https://github.com/Z3Prover/z3/issues/2949 Fixed
https://github.com/Z3Prover/z3/issues/2948 Fixed
https://github.com/Z3Prover/z3/issues/2945 Fixed
https://github.com/Z3Prover/z3/issues/2943 Fixed
https://github.com/Z3Prover/z3/issues/2936#event-3007898972 Fixed
https://github.com/Z3Prover/z3/issues/2913#event-3003067810 Fixed
https://github.com/Z3Prover/z3/issues/2938 Fixed
https://github.com/Z3Prover/z3/issues/2937 Fixed
https://github.com/Z3Prover/z3/issues/2933 Fixed
https://github.com/Z3Prover/z3/issues/2934 Fixed
https://github.com/Z3Prover/z3/issues/2935 Fixed
https://github.com/Z3Prover/z3/issues/2930 Fixed
https://github.com/Z3Prover/z3/issues/2929 Fixed
https://github.com/Z3Prover/z3/issues/2928 Fixed
https://github.com/Z3Prover/z3/issues/2912#event-2999744902 Fixed
https://github.com/Z3Prover/z3/issues/2910#event-2999744901 Fixed
https://github.com/Z3Prover/z3/issues/2921 Fixed
https://github.com/Z3Prover/z3/issues/2919 Fixed
https://github.com/Z3Prover/z3/issues/2918 Fixed
https://github.com/Z3Prover/z3/issues/2914 Duplicate
https://github.com/Z3Prover/z3/issues/2909 Fixed
https://github.com/Z3Prover/z3/issues/2908 Fixed
https://github.com/Z3Prover/z3/issues/2903 Fixed
https://github.com/Z3Prover/z3/issues/2902 Fixed
https://github.com/Z3Prover/z3/issues/2890 Fixed
https://github.com/Z3Prover/z3/issues/2891 Fixed
https://github.com/Z3Prover/z3/issues/2889 Duplicate
https://github.com/Z3Prover/z3/issues/2883 Fixed
https://github.com/Z3Prover/z3/issues/2877 Fixed
https://github.com/Z3Prover/z3/issues/2867 Reported
https://github.com/Z3Prover/z3/issues/2863 Fixed
https://github.com/Z3Prover/z3/issues/2831#event-2912235017 Fixed
https://github.com/Z3Prover/z3/issues/2825 Fixed
https://github.com/Z3Prover/z3/issues/2824 Fixed
https://github.com/Z3Prover/z3/issues/2813 Fixed
https://github.com/Z3Prover/z3/issues/2736 Confirmed
https://github.com/Z3Prover/z3/issues/2811 Fixed
https://github.com/Z3Prover/z3/issues/2797 Fixed
https://github.com/Z3Prover/z3/issues/2795#event-2870057966 Fixed
https://github.com/Z3Prover/z3/issues/2794 Fixed
https://github.com/Z3Prover/z3/issues/2793 Fixed
https://github.com/Z3Prover/z3/issues/2791 Fixed
https://github.com/Z3Prover/z3/issues/2789 Fixed
https://github.com/Z3Prover/z3/issues/2788 Fixed
https://github.com/Z3Prover/z3/issues/2781 Duplicate
https://github.com/Z3Prover/z3/issues/2782 Fixed
https://github.com/Z3Prover/z3/issues/2780 Fixed
https://github.com/Z3Prover/z3/issues/2779 Fixed
https://github.com/Z3Prover/z3/issues/2778 Fixed
https://github.com/Z3Prover/z3/issues/2774 Fixed
https://github.com/Z3Prover/z3/issues/2773 Fixed
https://github.com/Z3Prover/z3/issues/2772 Fixed
https://github.com/Z3Prover/z3/issues/2771 Fixed
https://github.com/Z3Prover/z3/issues/2770 Fixed
https://github.com/Z3Prover/z3/issues/2767 Fixed
https://github.com/Z3Prover/z3/issues/2765 Fixed
https://github.com/Z3Prover/z3/issues/2763 Fixed
https://github.com/Z3Prover/z3/issues/2762 Fixed
https://github.com/Z3Prover/z3/issues/2750 Fixed
https://github.com/Z3Prover/z3/issues/2749 Fixed
https://github.com/Z3Prover/z3/issues/2744 Fixed
https://github.com/Z3Prover/z3/issues/2741 Fixed
https://github.com/Z3Prover/z3/issues/2722 Confirmed
https://github.com/Z3Prover/z3/issues/2713 Fixed
https://github.com/Z3Prover/z3/issues/2693 Duplicate
https://github.com/Z3Prover/z3/issues/2692 Fixed
https://github.com/Z3Prover/z3/issues/2577 Fixed
https://github.com/Z3Prover/z3/issues/2743 Fixed
https://github.com/Z3Prover/z3/issues/2728 Confirmed
https://github.com/Z3Prover/z3/issues/2726 Fixed
https://github.com/Z3Prover/z3/issues/2723 Confirmed
https://github.com/Z3Prover/z3/issues/2718 Fixed
https://github.com/Z3Prover/z3/issues/2714 Fixed
https://github.com/Z3Prover/z3/issues/2706 Fixed
https://github.com/Z3Prover/z3/issues/2679 Duplicate
https://github.com/Z3Prover/z3/issues/2676 Duplicate
https://github.com/Z3Prover/z3/issues/2675 Fixed
https://github.com/Z3Prover/z3/issues/2664 Fixed
https://github.com/Z3Prover/z3/issues/2663 Fixed
https://github.com/Z3Prover/z3/issues/2662 Fixed
https://github.com/Z3Prover/z3/issues/2650 Confirmed
https://github.com/Z3Prover/z3/issues/2630 Fixed
https://github.com/Z3Prover/z3/issues/2629 Fixed
https://github.com/Z3Prover/z3/issues/2623 Fixed
https://github.com/Z3Prover/z3/issues/2610 Fixed
https://github.com/Z3Prover/z3/issues/2609 Fixed
https://github.com/Z3Prover/z3/issues/2603 Fixed
https://github.com/Z3Prover/z3/issues/2595 Fixed
https://github.com/Z3Prover/z3/issues/2593 Fixed
https://github.com/Z3Prover/z3/issues/2590 Fixed
https://github.com/Z3Prover/z3/issues/2586 Fixed
https://github.com/Z3Prover/z3/issues/2585 Fixed
https://github.com/Z3Prover/z3/issues/2581 Fixed