Skip to content

Pull requests: Desbordante/desbordante-core

New pull request New
34 Open 377 Closed
34 Open 377 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update READMEs with ND validation and novel metrics for AFD
#486 opened Oct 21, 2024 by chernishev Loading…
Add PFD verification paper
#482 opened Oct 16, 2024 by nemakin Loading…
WIP: FastADC implementation
#470 opened Oct 5, 2024 by ol-imorozko Loading…
2
Implement set based aod verifier, support aod mining in fastod
#468 opened Sep 30, 2024 by polyntsov Loading…
51
Implement INDVerifier and add an error threshold field to the IND class.
#467 opened Sep 28, 2024 by vs9h Loading…
31
Add GFD mining
#465 opened Sep 25, 2024 by AntonChern Loading…
113
Add PFD verification
#463 opened Sep 16, 2024 by nemakin Loading…
6
[DRAFT] DynFD algorithm (2/4 search strategies)
#462 opened Sep 15, 2024 by Vdaleke • Draft
23
Fix: add support output for ARs
#461 opened Sep 13, 2024 by Petua41 • Draft
Optimize hymd
#456 opened Sep 8, 2024 by BUYT-1 Loading…
31
Add DC verification algorithm
#444 opened Aug 1, 2024 by xJoskiy Loading…
63
Small Split fixes and optimizations
#439 opened Jul 12, 2024 by MichaelS239 Loading…
4
Python bindings cleanup
#425 opened Jun 3, 2024 by BUYT-1 Loading…
Remove parser trimming space symbols at string end
#423 opened Jun 1, 2024 by BUYT-1 Loading…
Implement OD verifier algorithm
#420 opened May 27, 2024 by vano105 Loading…
24
Add Denial Constraint structures that are necessary to implement DC verification
#417 opened May 22, 2024 by ol-imorozko Loading…
22
Implement EulerFD approximate discovering FD algorithm
#414 opened May 11, 2024 by mitya-y Loading…
82
Multi-threaded implementation of HyFD algorithm
#409 opened May 5, 2024 by cone-forest Loading…
3
Add tests for cli
#405 opened May 1, 2024 by DaniilGoncharov Loading…
1
Readme update
#404 opened Apr 28, 2024 by mechanicpanic Loading…
Add script for testing examples
#399 opened Apr 22, 2024 by DaniilGoncharov Loading…
2
Fix TANE-based algorithms
#396 opened Apr 21, 2024 by iliya-b Loading…
[Draft] first version of DynamicAlgorithm class + demo algorithm to demonstrate
#395 opened Apr 21, 2024 by rpuwa Loading…
15
Optimize hymd
#386 opened Apr 2, 2024 by BUYT-1 • Draft
6
Add Statistic ctor with model::TypeId
#381 opened Mar 26, 2024 by xJoskiy Loading…
4
ProTip! no:milestone will show everything without a milestone.