BDD/RelPrev/Renaming (Preliminary Work)#676

Merged

SSoelvsten merged 30 commits intomainfrom bdd/relprev/renaming_prework

Jun 22, 2024

+2,971-1,944

Commits on Jun 21, 2024

Add missing tests and remove duplicated inputs for tests for 'node_stream'
SSoelvsten
committed
Add TODO for better responsibility/performance
SSoelvsten
committed
Fill and Extend comments in <adiar/internal/io/...>
SSoelvsten
committed
Extend comments in <adiar/internal/dd_func.h> to column 100
SSoelvsten
committed
Clean-up of code to auto-detect 'replace_type'
SSoelvsten
committed
Swap order of member functions
SSoelvsten
committed
Clean up 'level_merger' and add missing unit tests
SSoelvsten
committed
Clean up interface of 'comparison_check'
SSoelvsten
committed
Clean up tests for 'bdd_apply'
SSoelvsten
committed
Clean up of 'bdd_ite' implementation
SSoelvsten
committed
Fix conversion of negated BDD terminal into ZDD throws exception
SSoelvsten
committed
Fix descriptions for convert algorithm groups
SSoelvsten
committed
Add missing unit tests for on-the-fly negation
SSoelvsten
committed
Keep Assembler output for 'playground' target to investigate low-level code
SSoelvsten
committed
Make 'shift_replace(const ptr_uint64&)' branchless (Thanks, Lasse!)
SSoelvsten
committed
Move befriending of 'essential(...)' into a more reasonable place
SSoelvsten
committed
Add 'cnot(const ptr_uint64&, bool)' for a more branch-less on-the-fly negation
SSoelvsten
committed
Clean up in tests for 'node' class
SSoelvsten
committed
Add 'cnot(const node&, bool)' for more branch-less on-the-fly negation
SSoelvsten
committed
Extend 'file_stream<>' documentation comments to 100
SSoelvsten
committed
Move on-the-fly negation into 'node_stream' and 'node_random_access'
SSoelvsten
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

BDD/RelPrev/Renaming (Preliminary Work)#676

Commits on Jun 18, 2024

Add missing '_' prefix to '__dd' and 'dd' class member variables and extend comments to column 100

Use public member functions rather than being friends of 'dd' class

Add 'shift_replace' for 'ptr_uint64'

Add 'shift_replace' for 'node'

Debug 'level_info' and add 'shift_replace(...)'

Fix incorrect name of type in 'level_info_stream' according to style guide

Update 'level_info_stream' to code style

Add missing unit tests for 'level_info_stream'

Fix incorrect type name according to style guide

Commits on Jun 21, 2024

Add missing tests and remove duplicated inputs for tests for 'node_stream'

Add TODO for better responsibility/performance

Fill and Extend comments in <adiar/internal/io/...>

Extend comments in <adiar/internal/dd_func.h> to column 100

Clean-up of code to auto-detect 'replace_type'

Swap order of member functions

Clean up 'level_merger' and add missing unit tests

Clean up interface of 'comparison_check'

Clean up tests for 'bdd_apply'

Clean up of 'bdd_ite' implementation

Fix conversion of negated BDD terminal into ZDD throws exception

Fix descriptions for convert algorithm groups

Add missing unit tests for on-the-fly negation

Keep Assembler output for 'playground' target to investigate low-level code

Make 'shift_replace(const ptr_uint64&)' branchless (Thanks, Lasse!)

Move befriending of 'essential(...)' into a more reasonable place

Add 'cnot(const ptr_uint64&, bool)' for a more branch-less on-the-fly negation

Clean up in tests for 'node' class

Add 'cnot(const node&, bool)' for more branch-less on-the-fly negation

Extend 'file_stream<>' documentation comments to 100

Move on-the-fly negation into 'node_stream' and 'node_random_access'