All pull requests

Pull requests

• Approximate DD mining algorithm

  #850·veronikasblv opened Oct 3, 2026·

  ·
  13

• Cmake presets

  #849·polyntsov opened Oct 3, 2026Collaborator·

  ·
  16

  

• Add SD miner

  #846·kamenkremen opened Sep 30, 2026Contributor·

  ·

• Add more AFD measures to MetricCalc and Tane

  #843·Sneper-Breeze opened Sep 28, 2026Collaborator·

  ·

• Make Pyro report AFD error values

  #842·Sneper-Breeze opened Sep 28, 2026Collaborator·

  ·

• Add CFDMiner algorithm implementation.

  #840·artem-smola opened Sep 26, 2026Collaborator·

  ·

• Rewrite TANE

  #833·wildsor opened Sep 13, 2026Collaborator·

  ·
  3

• CTANE

  #832·Dmitry909 opened Sep 13, 2026·

  ·

• Optimize custom metrics by using a type holder

  #826·p-senichenkov opened Aug 30, 2026Collaborator·

  ·
  1

• Allow running multiple sanitizers on a single build

  #819·p-senichenkov opened Aug 7, 2026Collaborator·

  ·

• Rewrite build.sh into Python

  #817·p-senichenkov opened Aug 6, 2026Collaborator·

  ·
  19

• Remove Vertical and Column use in Pyro and DFD

  #813·wildsor opened Aug 2, 2026Collaborator·

  ·

• Optimize TypedColumnData

  #779·MichaelS239 opened Jun 16, 2026Collaborator·

  ·
  4

• Improve kBool type

  #778·MichaelS239 opened Jun 14, 2026Collaborator·

  ·
  4

• Add WCOJ backend, pattern grouping and parallel execution to GDD verification

  #775·pppppptttttt opened Jun 4, 2026Collaborator·

  ·
  19

• Add exact denial constraint discovery algorithm

  #770·ol-imorozko opened May 26, 2026Collaborator·

  ·
  12

• Implement FastDD algorithm

  #767·MichaelS239 opened May 24, 2026Collaborator·

  ·

• Add GA-RFD

  #750·VinogradovDmitri opened May 5, 2026Collaborator·

  ·
  186

• Add dynamic DC verification

  #749·xJoskiy opened May 3, 2026Collaborator·

  ·
  19

• Add CM-SPADE paper

  #741·lubimoemestechko opened Apr 27, 2026·

  ·

• UCC PAC verifier

  #738·p-senichenkov opened Apr 26, 2026Collaborator·

  ·
  30

• Add correlations (Pearson, Spearman, Kendall, Cramer)

  #733·berezikowa opened Apr 24, 2026Contributor·

  ·
  30

• Add CIND Cure Algorithm with Example and Tests

  #729·ALanovaya opened Apr 21, 2026Contributor·

  ·
  36

• Implemented class ADDVerifier

  #728·unfadingDawn opened Apr 20, 2026Contributor·

  ·
  13

• Add TKS algorithm

  #724·BatuchenkoAndrey opened Apr 14, 2026·

  ·