From 15dc62a61c8e18131507d0df07adab394c519a26 Mon Sep 17 00:00:00 2001 From: Anthony Roy Date: Mon, 21 Oct 2024 14:58:28 -0700 Subject: [PATCH] Update the README to dissuade external dependencies for now. PiperOrigin-RevId: 688283487 --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index f058f78..f41cf6d 100644 --- a/README.md +++ b/README.md @@ -17,7 +17,9 @@ tutorial. Note: We expect that this NetKAT implementation may diverge from NetKAT as described [in the literature](#academic-publications-on-netkat) over time, as we -take liberty to optimize and adjust the language for industrial use. +take liberty to optimize and adjust the language for industrial use. Build +rules/targets will also be kept restricted for the time being to discourage any +active external dependents. ## Disclaimer