From c803c842112e8e6f44c0b5640c95bb58fc66c565 Mon Sep 17 00:00:00 2001 From: Daniil Iaitskov Date: Thu, 20 Nov 2025 11:29:28 +0300 Subject: [PATCH] custom-stan-warnings align stan config with project style --- .stan.toml | 5 +++++ copilot-bluespec/.stan.toml | 1 + copilot-c99/.stan.toml | 1 + copilot-core/.stan.toml | 1 + copilot-interpreter/.stan.toml | 1 + copilot-language/.stan.toml | 1 + copilot-libraries/.stan.toml | 1 + copilot-prettyprinter/.stan.toml | 1 + copilot-theorem/.stan.toml | 1 + copilot-verifier/.stan.toml | 1 + copilot-visualizer/.stan.toml | 1 + copilot/.stan.toml | 1 + 12 files changed, 16 insertions(+) create mode 100644 .stan.toml create mode 120000 copilot-bluespec/.stan.toml create mode 120000 copilot-c99/.stan.toml create mode 120000 copilot-core/.stan.toml create mode 120000 copilot-interpreter/.stan.toml create mode 120000 copilot-language/.stan.toml create mode 120000 copilot-libraries/.stan.toml create mode 120000 copilot-prettyprinter/.stan.toml create mode 120000 copilot-theorem/.stan.toml create mode 120000 copilot-verifier/.stan.toml create mode 120000 copilot-visualizer/.stan.toml create mode 120000 copilot/.stan.toml diff --git a/.stan.toml b/.stan.toml new file mode 100644 index 00000000..ef69aa26 --- /dev/null +++ b/.stan.toml @@ -0,0 +1,5 @@ +# pattern matching on _ +[[check]] +type = "Exclude" +id = "STAN-0213" +scope = "all" diff --git a/copilot-bluespec/.stan.toml b/copilot-bluespec/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-bluespec/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-c99/.stan.toml b/copilot-c99/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-c99/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-core/.stan.toml b/copilot-core/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-core/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-interpreter/.stan.toml b/copilot-interpreter/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-interpreter/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-language/.stan.toml b/copilot-language/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-language/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-libraries/.stan.toml b/copilot-libraries/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-libraries/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-prettyprinter/.stan.toml b/copilot-prettyprinter/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-prettyprinter/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-theorem/.stan.toml b/copilot-theorem/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-theorem/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-verifier/.stan.toml b/copilot-verifier/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-verifier/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot-visualizer/.stan.toml b/copilot-visualizer/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot-visualizer/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file diff --git a/copilot/.stan.toml b/copilot/.stan.toml new file mode 120000 index 00000000..1c256a05 --- /dev/null +++ b/copilot/.stan.toml @@ -0,0 +1 @@ +../.stan.toml \ No newline at end of file