Codestin Search App

Thanks to visit codestin.com
Credit goes to github.com

Labels Milestones New issue

[agentics] No-Op Runs

agentic-workflows

#8731

· github-actions opened

on Feb 22, 2026

[tactic-to-simplifier] Convert tactic 'cofactor-term-ite' to a simplifier

tactic-to-simplifier

#8721

· github-actions opened

on Feb 21, 2026

[tactic-to-simplifier] Convert tactic 'factor' to a simplifier

tactic-to-simplifier

#8720

· github-actions opened

on Feb 21, 2026

[tactic-to-simplifier] Expose <code>max-bv-sharing</code> simplifier via ADD_SIMPLIFIER registration

tactic-to-simplifier

#8719

· github-actions opened

on Feb 21, 2026

[tactic-to-simplifier] Convert tactic 'nnf' to a simplifier

tactic-to-simplifier

#8717

· github-actions opened

on Feb 21, 2026

[tactic-to-simplifier] Convert tactic 'der' to a simplifier

tactic-to-simplifier

#8716

· github-actions opened

on Feb 21, 2026

[tactic-to-simplifier] Convert tactic 'bvarray2uf' to a simplifier

tactic-to-simplifier

#8718

· github-actions opened

on Feb 21, 2026

Incorrect model with <code>:produce-proofs true</code> involving String Theory and UF

#8194

· wingsyuyi-satori opened

on Jan 14, 2026

Incorrect model in mixed FP/Real logic triggered by extra string constraint

#8185

· wingsyuyi-satori opened

on Jan 13, 2026

[Refutational Soundness Bug] Incorrect UNSAT in Real-to-FP conversion with RNE/RNA overflow

#8183

· wingsyuyi-satori opened

on Jan 13, 2026

Incorrect model with (_ FloatingPoint 2 24) and <code>fp.to_real</code>

#8169

· wingsyuyi-satori opened

on Jan 12, 2026

Performance degradation in Z3 on QF_SLIA instances with fixed-length strings and prefix/suffix constraints

#8096

· wingsyuyi-satori opened

on Dec 19, 2025