Changelog#

0.4.0 - 2022-11-12#

Compare to v0.3.0

Added#

  • Added support for JSON output for integration with other tools

0.3.0 - 2022-10-28#

Compare to v0.2.1

Added#

  • Added rules:

    • simpl-call-cat: Simplify call to cat

    • simpl-call-intrin: Simplify call to intrinsic functor

    • simpl-call-range: Simplify range expression

    • depr-prag-legacy: Remove legacy pragma

    • simpl-con-comp: Simplify trivial comparison constraint

    • style-symb-op: Prefer symbolic operators

    • simpl-union-dup: Simplify union with duplicated type

    • simpl-union-prim: Simplify union with primitive type

    • simpl-con-const: Simplify constant constraint

  • Added --format flag to info

  • Added Contributing

Changed#

  • No longer recommend running the C pre-processor before linting

  • The CI system now publishes crates to crates.io

0.2.1 - 2022-10-24#

Compare to v0.2.0

Fixed#

  • Cargo now builds the manual inside of target/ instead of doc/build.

  • Fixed CI builds of static executables and Debian packages by disabling the man subcommand for releases (see #29).

0.2.0 - 2022-10-24#

Compare to v0.1.2

Added#

  • Online documentation! https://langston-barrett.github.io/souffle-lint/

  • man subcommand to display documentation via man

  • Configuration files may now contain an ignore: key that works like the --ignore flag of lint.

  • Small documentation improvements.

Changed#

  • lint now emits a warning on parse errors

  • Upgraded to souffle-tree-sitter v0.4.0, with substantial changes to the grammar (i.e., query patterns).

0.1.2 - 2022-10-24#

Compare to v0.1.1

Fixed#

  • Fixed CI uploads of releases

0.1.1 - 2022-10-24#

Compare to v0.1.0

Added#

  • Releases now include Debian packages with manpages

Changed#

  • --interactive now properly controls coloration in the info subcommand

  • Minor updates to the README

  • Minor performance improvements

0.1.0 - 2022-10-21#

First release!