Multi-DAR analysis and support for jar download

• Analyze a whole project in one run: allow passing any number of DARs or directories and get one merged report.html
• DARs with the same file name from different folders get distinct output names, e.g., c_same.json for c/same.dar
• Download the JAR and .sha256 from the release. Requires Java 21+

Full Changelog: v0.1.3...v0.1.4

Generate HTML report and some CLI cleanup

Highlights

• Self-contained HTML report: run with -o out/ and open out/foo.html.
• Aggregated batch reports: dpm certora-analyze dars-dir/ -o out/ also generates out/report.html which aggregates the results for all DARs.
• Cleaner CLI: default format is -f all (json + dot + html) when -o is set. Also includes some cleanup of string usages.

How to install / upgrade

Add to your daml.yaml:

components:
  - oci://ghcr.io/certora/daml-analyzer:0.1.3

Then dpm install package and dpm certora-analyze foo.dar -o out/

v0.1.1

First tagged release. In the future, every released version will have a matching git tag and release page.

Install

Add to your daml.yaml:

components:
  - oci://ghcr.io/certora/daml-analyzer:0.1.1

Then dpm install package && dpm certora-analyze foo.dar -o out/.

Note: this requires DPM 3.5+.