changelog

jsinglet · jsinglet · commit 7e3dc0b9ff56 · 2023-03-06T17:25:39.000-05:00
diff --git a/change_notes/2023-03-06-better-modeling-of-stdatomic.md b/change_notes/2023-03-06-better-modeling-of-stdatomic.md
@@ -0,0 +1,6 @@
+ - `CON41-C`: Refactored to address compiler compatibility issues. More accurate
+   modeling of cases where macros are modeled against other macros such as
+   `atomic_compare_exchange_weak` and `atomic_store`.
+ - `CON40-C`: Refactored to address compiler compatibility issues. More accurate
+   modeling of cases where macros are modeled against other macros such as
+   `atomic_compare_exchange_weak` and `atomic_store`.
