infer v0.12.0 Release Notes
-
- introduces subcommands and man pages for all subcommands
- This release introduces AL, a language for writing linters against the clang AST. AL lets you check syntactic properties of source code by traversing the AST of the program. Using the included domain-specific language (DSL), you can write your own set of checks.