summaryrefslogtreecommitdiff
path: root/doc/ale-supported-languages-and-tools.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ale-supported-languages-and-tools.txt')
-rw-r--r--doc/ale-supported-languages-and-tools.txt6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt
index d06508c5..c3ab3690 100644
--- a/doc/ale-supported-languages-and-tools.txt
+++ b/doc/ale-supported-languages-and-tools.txt
@@ -117,6 +117,7 @@ Notes:
* Dafny
* `dafny`!!
* Dart
+ * `analysis_server`
* `dartanalyzer`!!
* `dartfmt`!!
* `language_server`
@@ -323,6 +324,10 @@ Notes:
* `ocamlformat`
* `ocp-indent`
* `ols`
+* OpenApi
+ * `ibm_validator`
+ * `prettier`
+ * `yamllint`
* Pawn
* `uncrustify`
* Perl
@@ -502,6 +507,7 @@ Notes:
* `typecheck`
* VALA
* `uncrustify`
+ * `vala_lint`!!
* Verilog
* `hdl-checker`
* `iverilog`