Changelog for version 2.4.2

### Instrumentation

  - collectives: fixed a bug where only a subset of warnings were reported in
  the output.

Changelog for version 2.4.1

### General

  - analyses: fixed the BFS loop algorithm to take into account the rare cases
  where a BB could have predecessors both in loop and non loop.

### Instrumentation

  - collectives: fixed a bug where a valid program could be detected as
  problematic because of a bogus collective id.

### Packaging

  - spack: create a spack repository and document its usage.

Changelog for version 2.4.0:

### General

  - cli: `parcoachcc` now supports instrumenting file (ie: passing
  `-instrum-inter` or `-check=rma` will make `parcoachcc` output the
  instrumented object in the original command line output.

### Packaging

  - CMake: PARCOACH analyses and instrumentation libraries can now be found by
  `find_package`. See https://gitlab.inria.fr/parcoach/parcoach-demo for an
  example usage until the documentation is properly update.

Changelog for version 2.3.1:

### Packaging

  - guix: make PARCOACH work through Guix.

Changelog for version 2.3.0:

### General

  - analyses: introduced a JSON export compatible with SonarQube's external
  analyses format. Warnings can be emitted to an analysis database by passing
  the `-analysis-db=somefile.json` option.

Changelog for version 2.2.0:

### General

  - analyses: integrated static and dynamic analyses for MPI-RMA.
  They are available by using the `-check=rma` flag.
  - cli: introduced `parcoachcc`, a wrapper that can be used as a prefix on
  compilation lines to run PARCOACH in addition to running the original
  compilation line. Checkout the README and wiki articles for the usage and
  integration with Autotools/CMake.

Changelog for version 2.1.0:

### General:

  - cli: introduced the `-check=...` to select the paradigm, instead of using 4
  different options (`-check-mpi` etc).
  - output: IR output is disabled by default, the information emitted by
  PARCOACH are also shorter.
  - Fixed memory leaks in some analysis, and added a test in the CI checking
  that PARCOACH doesn't leak.
  - Users can now use `-time-trace` to do some profiling on PARCOACH.

### Packaging:

  - RHEL: created an RPM based on RHEL 8.6.
  - Release: release and packages are automatically created when creating a tag.

This is a major release changing a lot the internal structure of the tool, improving the command line interface, and improving the tests and code coverage.
Check the changelog for the detailed list of changes.

As far as features are concerned, there should be no change: the tests base was improved before the internal changes, and there has been no regressions.

PARCOACH version 1.3, based on LLVM 15 and the new pass manager.

version 1.2