Code

Add interprocedural dataset support#69

Code

Merged

khatchad merged 10 commits intomasterponder-lab/ML:masterfrom iterable_def_not_foundponder-lab/ML:iterable_def_not_foundCopy head branch name to clipboardJan 4, 2024

+87-15

Commits

Commits on Jan 3, 2024

• Warn if we can't find the iterable definition.

  khatchad

  committed
  1040161

  Copy full SHA for 1040161

• Fix comment.

  khatchad

  committed
  c791b0e

  Copy full SHA for c791b0e

• Actually check parameters.

  khatchad

  committed
  bfa8fc4

  Copy full SHA for bfa8fc4

• Add interprocedural dataset test.

  khatchad

  committed
  4616a1b

  Copy full SHA for 4616a1b

• Merge branch 'master' into iterable_def_not_found

  khatchad

  committed
  76b082b

  Copy full SHA for 76b082b

Commits on Jan 4, 2024

• Fallback to interprocedal analysis for datasets.

  Show description for 3e9c038
  khatchad

  committed
  3e9c038

  Copy full SHA for 3e9c038

• Apply spotless.

  khatchad

  committed
  dcce6f7

  Copy full SHA for dcce6f7

• Add a hybrid dataset test case.

  khatchad

  committed
  fec590e

  Copy full SHA for fec590e

• Actually check the parameter value numbers.

  khatchad

  committed
  f550f4e

  Copy full SHA for f550f4e

• Apply spotless.

  khatchad

  committed
  d266608

  Copy full SHA for d266608