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