From daf9ce83deaee887d749a60488072c4cdce3f1d4 Mon Sep 17 00:00:00 2001
From: Hanna Lachnitt <lachnitt@stanford.edu>
Date: Tue, 28 May 2024 08:43:16 -0700
Subject: [PATCH] document additon of la_mult rules in changelog
---
spec/changelog.tex | 1 +
1 file changed, 1 insertion(+)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index 8ce4b70..6bcdbb1 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -5,6 +5,7 @@ Proof rules:
\item Addition of a section describing bitvector proofs.
\item Bitblasting rules: \proofRule{bitblast_extract}, \proofRule{bitblast_add},
\proofRule{bitblast_ult}.
+ \item Addition of rules \proofRule{la_mult_pos} and \proofRule{la_mult_neg} to describe multiplication with a positive or negative factor.
\end{itemize}
\noindent
--
GitLab