From 384414b10c8b2ac85e9448b72715d39051a42956 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 10 Jun 2026 15:06:12 -0700 Subject: [PATCH] Update seq_regex_bisim.h --- src/ast/rewriter/seq_regex_bisim.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ast/rewriter/seq_regex_bisim.h b/src/ast/rewriter/seq_regex_bisim.h index 561088270..d158cc379 100644 --- a/src/ast/rewriter/seq_regex_bisim.h +++ b/src/ast/rewriter/seq_regex_bisim.h @@ -11,7 +11,8 @@ Abstract: equivalence, based on the construction described in: "Symbolic Extended Regular Expression Equivalence" - Veanes, Bjorner et al., CAV'26 (see \git\ere\cav26\paper.tex) + Ian, Kathi, Margus + The algorithm decides equivalence of two regexes p, q by performing a bisimulation search on the symbolic derivative of p XOR q. A