From e3e6559c9fd991a43b0d8e9518545ba06f5edd1f Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Wed, 16 Sep 2026 00:48:27 +0100 Subject: [PATCH] Update README.md --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 45f41fee..6f5ae75c 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,10 @@ View the tutorial here: https://rems-project.github.io/cn-tutorial/ +Note: the current tutorial text is not yet updated for a recent change +in CN (treating C integers as mathematical integers with range constraints). + + ## Acknowledgment of Support and Disclaimer This material is based upon work supported by the Air Force Research Laboratory