From b7b561343dbc4d8661b8619d25f105b3c0d16245 Mon Sep 17 00:00:00 2001
From: Julien Freche
Date: Wed, 12 Aug 2020 11:46:25 -0700
Subject: c2: make the global state API configurable for externally defined
 get/set functions

---
 etc/default_config.json | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/default_config.json b/etc/default_config.json
index 79f166af..945aa19c 100644
--- a/etc/default_config.json
+++ b/etc/default_config.json
@@ -25,6 +25,11 @@
         // The sail_state struct will be passed to the following array
         // of primops, which are specified via the "foo" string from
         // val id = "foo" : ... in Sail.
-        "state_primops": []
+        "state_primops": [],
+        // Control which sail_state variables accessors will be implemented
+        // by the consumer of the library. This is a list of regular expressions,
+        // if one of those regular expression matches the name of a sail_state variable,
+        // only the declaration of the accessors will be generated.
+        "external_state_api" : []
     }
 }
-- 
cgit v1.2.3