Code

Filter out candidate properties #19

Code

Merged

daniel-larraz merged 3 commits intokind2-mc:mainkind2-mc/vscode-kind2:mainfrom lorchrob:filter-ai-propslorchrob/vscode-kind2:filter-ai-propsCopy head branch name to clipboardMay 8, 2024

+4

Commits

Commits on May 1, 2024

• Filter out props generated by abstract interpretation

  lorchrob

  committed
  907f516

Commits on May 6, 2024

• Filter out only candidate properties

  lorchrob

  committed
  6bb39ab

Commits on May 8, 2024

• Merge branch 'main' into filter-ai-props

  lorchrob

  committed
  2eadd13