Skip to content

Impement advanced CFL reachability algorithm and optimization matrix #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
homka122 wants to merge 161 commits into
base: stable
Choose a base branch
from
Open

Impement advanced CFL reachability algorithm and optimization matrix #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
161 commits
Select commit Hold shift + click to select a range
ade1e99
Feat: intial commit with draft version of CFL algorithm with
homka122 May 5, 2025
8b16e59
Feat: add algorithm with optimization to header
homka122 May 5, 2025
2cdcee7
Feat: add measure time macro
homka122 May 5, 2025
9548c1e
Feat: add null check to mxm
homka122 May 10, 2025
4660261
Refactor: replace apply to ewiseAdd
homka122 May 10, 2025
6bd45f2
Feat: replace apply to dup method
homka122 May 10, 2025
76bc80a
Fix: type in printf while iteration
homka122 May 11, 2025
4115a05
Refactor: apply mask now seperate function
homka122 May 11, 2025
838ad5b
Refactor: now bench information output only with flag
homka122 May 12, 2025
7d113dd
Feat: add ISO check to rsub
homka122 May 12, 2025
0433361
Refactor: iteration info now print if flag set
homka122 May 12, 2025
155e609
Feat: add null check in first mxm
homka122 May 12, 2025
8dc7d1d
Feat: now empty optimization is seperate
homka122 May 12, 2025
08ab76c
Feat: add rsub, wise and dup with format optimization
homka122 May 12, 2025
4668c88
Feat: add mxm format optimization
homka122 May 14, 2025
45aaf82
Refactor: delete unused comments
homka122 May 14, 2025
fe16527
Fix: change NULL to GrB_NULL
homka122 May 14, 2025
b198dd3
Fix: change dup method according to format optimization
homka122 May 14, 2025
54ba2b8
Feat: add clear methods with optimization
homka122 May 14, 2025
9c7c923
Feat: add change format methods
homka122 May 14, 2025
067fb3a
Feat: process result of matrix_mxm
homka122 May 14, 2025
ba335af
Fix: now all methods in empty wise use format methods
homka122 May 14, 2025
8877469
Refactor: change rsub method with format optim
homka122 May 14, 2025
a5b9f0e
Refactor: change wise method with format optimization
homka122 May 14, 2025
0a59d20
Fix: fix wrong type in for cycle
homka122 May 14, 2025
0bc599f
Fix: change GrB clear method to mine
homka122 May 14, 2025
135ba92
Feat: add rmxm method
homka122 May 14, 2025
e85a7c1
Fix: incompitible type of for cycle
homka122 May 14, 2025
e95dbad
Refactor: delete unused variables
homka122 May 14, 2025
3756ed9
Feat: delete unused sync format method
homka122 May 14, 2025
539260d
Feat: use more optimize methods in wise method
homka122 May 14, 2025
007c6b7
Feat: manually choose format in wise and dup method
homka122 May 14, 2025
36ffc72
Fix: wrong type in for cycle
homka122 May 14, 2025
a180624
Feat: now update Matrix object in place
homka122 May 14, 2025
cf89d6a
Feat: delete seperate rmxm method
homka122 May 14, 2025
901323d
Refactor: matrix mxm with swap operation
homka122 May 14, 2025
61f90aa
Feat: add lazy optimization
homka122 May 14, 2025
fd2502e
Fix: change < to <=
homka122 May 15, 2025
7b0a5e1
Feat: use lazy optimization
homka122 May 15, 2025
935baef
Feat: add flags for turn on optimizations on runtime
homka122 May 15, 2025
aa0dd4a
Feat: matrix_print_lazy now accepts pointer
homka122 May 15, 2025
7184953
Feat: add naming for matrices in methods
homka122 May 15, 2025
66d55a8
Feat: lazy optimizations now works
homka122 May 15, 2025
6d97d82
Fix: erase matrix when accum true in mxm
homka122 May 15, 2025
146d58c
Feat: add sort and combine function to lazy optimization
homka122 May 16, 2025
bd2c142
Fix: some memory leaks
homka122 May 17, 2025
c0eae50
Feat: now matrix has not just mxm size
homka122 May 17, 2025
bc0af0d
Feat: Add fields to Matrix object for block matrices
homka122 May 21, 2025
eb313af
Feat: change rule parsing
homka122 May 21, 2025
9be8a15
Feat: implement block mxm operation
homka122 May 22, 2025
cc23b24
Fix: first mxm need accum operator for correct result
homka122 May 22, 2025
e6a77bf
Feat: implement wise block operation
homka122 May 23, 2025
8249fc1
Feat: add create and free methods for Matrix structure
homka122 May 23, 2025
6225f49
Feat: implement rsub block operation
homka122 May 23, 2025
3595a8f
Feat: add block hyper rotate method
homka122 May 23, 2025
c0adbab
Feat: add block matrix to diag method
homka122 May 23, 2025
caddbf1
Feat: add block matrix reduce method
homka122 May 23, 2025
b7e68b8
Fix: wrong type input
homka122 May 23, 2025
3359d61
Feat: add method matrix -> block vector
homka122 May 23, 2025
c79861f
Fix: fix bug when dublicate adj matrices
homka122 May 23, 2025
5f96e31
Fix: compiler warnings
homka122 May 23, 2025
6b25fa4
Fix: copy graph matrix from ajd
homka122 May 23, 2025
c030cca
Feat: add block optimization choice
homka122 May 23, 2025
3aea853
Feat: now implicitly declare that graph matrices are lazy
homka122 May 23, 2025
68301f9
Fix: is lazy check in rsub function
homka122 May 23, 2025
d734683
Fix: update base matrix nnz before calc in lazy matrix
homka122 May 25, 2025
7c17e47
Refactor: algorithm now accepth symbol count
homka122 May 25, 2025
8440287
Feat: sort matrices before find acc
homka122 May 25, 2025
9cf80c2
Feat: new way checking changing graph
homka122 May 25, 2025
b99cc1b
Refactor: make more useful matrix printing
homka122 May 25, 2025
ee4ffa4
Feat: add simple rules adding to matrices
homka122 May 25, 2025
e166fc1
Refactor: move custom methods definition
homka122 May 25, 2025
5b73708
Feat: now delta matrices dublicates from adj matrices
homka122 May 25, 2025
5502c89
Refactor: rework print lazy method
homka122 May 25, 2025
6ce43b0
Fix: check is lazy status in mxm lazy method
homka122 May 25, 2025
b0d3f53
Feat: add iadd interpration to wise methods
homka122 May 25, 2025
5100773
Fix: problems with sorting in mxm lazy
homka122 May 25, 2025
2e63e5f
Fix: update matrix after combine base matrices
homka122 May 25, 2025
08a19c9
Refactor: now use TRY macro
homka122 May 25, 2025
df5cdea
Fix: return from block mxm is both matrices are cell
homka122 May 25, 2025
8a1b404
Fix: use lazy matrices with lazy optimization and higher
homka122 May 25, 2025
88f25bd
Fix: wise_block
homka122 May 25, 2025
c05d6c0
Fix: forget update matrix after changing
homka122 May 25, 2025
e0841c0
Fix: now if symbol is indexed matrix is block
homka122 May 25, 2025
61ada93
Feat: add print_graph_info function
homka122 May 30, 2025
22e4c4c
Fix: add method for dup block matrices
homka122 May 30, 2025
8c85e4e
Fix: bug that lazy matrix didn't create
homka122 May 30, 2025
6b59c0f
Fix: matrix mxm now can multiply not only square matrices
homka122 May 30, 2025
46608e1
Feat: create temp matrix in mxm block
homka122 May 30, 2025
513aeca
Refactor: matrix dup now uses a different method
homka122 May 30, 2025
f49a6b2
Fix: hyper rotate method
homka122 May 30, 2025
697d23c
Feat: add aditional check in matrix update
homka122 May 30, 2025
6865893
Fix: assert condition in rsub block
homka122 Jun 7, 2025
3bf3ba4
Feat: check result of rsub methods
homka122 Jun 7, 2025
595a2cb
Fix: fix order of flags
homka122 Oct 13, 2025
af498f8
Refactor: delete unused T matrix from prev algo
homka122 Oct 13, 2025
2b8337b
Refactor: delete whitespaces after if statement
homka122 Oct 15, 2025
8f57591
Feat: move functions with optimized matrices in seperate file
homka122 Oct 15, 2025
b87cead
Refactor: move optimizations methods to seperate file
homka122 Oct 15, 2025
2334b27
Refactor: delete unused code and fix types of structures
homka122 Oct 15, 2025
c7ba5c0
test: add tests for adv algorithm
homka122 Oct 16, 2025
9941af1
Fix: delete files with algorithm
homka122 Oct 16, 2025
28c6696
Fix: delete unused files
homka122 Oct 17, 2025
94aecfb
fix: update nvals before reading it
spisladqo Oct 31, 2025
89756bf
test: add tests for optimized matrix
homka122 Oct 22, 2025
aa2d64a
Test: add tests for matrix_opt: wise, rsub, format optimization
homka122 Nov 3, 2025
ae1daff
Test: add tests for matrix_opt: empty optimization
homka122 Nov 3, 2025
39bf9da
Refactor: now matrix_to_base don't modify input matrix
homka122 Nov 3, 2025
9608e2b
Feat: add dup_lazy
homka122 Nov 3, 2025
f1b4a5c
Fix: delete unused sort of matrices
homka122 Nov 3, 2025
098bc8c
Fix: delete unreacheable block of code in rsub
homka122 Nov 3, 2025
a6e0148
Test: add tests for lazy optimization
homka122 Nov 3, 2025
15bdb6b
Refactor: reformat matrix_opt file
homka122 Nov 4, 2025
eb151f3
Refactor: comment print debug functions
homka122 Nov 4, 2025
d13785c
Test: add block tests for matrix_opt
homka122 Nov 4, 2025
29bfba9
Test: refactor tests for matrix_opt for coverage
homka122 Nov 4, 2025
cd90d5e
Fix: memory leaks in matrix_opt and in tests for opts
homka122 Nov 4, 2025
92f5cbd
Feat: change API with opt methods
homka122 Mar 7, 2026
793ed1e
Fix: algorithm change input adj_matrices
homka122 Oct 22, 2025
d3623c6
Refactor: apply clang-format to code
homka122 Nov 1, 2025
d5ffb75
Fix: change matrix_to_base function
homka122 Nov 4, 2025
37df68c
Fix: add adv algorithm signature to LAGraphX.h
homka122 Nov 4, 2025
e948f0d
Test: add tests for adv CFL reachability algorithm
homka122 Nov 4, 2025
4c65734
Feature: add LAGraph_rule_EWCNF
homka122 Dec 23, 2025
1b58a08
Feat: now adv algorithm can process EWCNF rules
homka122 Jan 29, 2026
4dd5617
Fix: fix adv algo tests with EWCNF rules
homka122 Jan 29, 2026
edefac4
Feat: add to print_matrix utility func optimization flag
homka122 Jan 29, 2026
ebb46aa
Fix: fix memory leaks in adv algorithm
homka122 Jan 29, 2026
2b9eee3
Fix: fix memory leak with symbols
homka122 Feb 2, 2026
d1c8b6c
Fix: fix dimension dismatch to output part of algorithm
homka122 Feb 2, 2026
7936f15
Fix: rewrite opt operaions for memory leaks fix
homka122 Feb 2, 2026
dd9fc51
Fix: bug with unupdate matrix
homka122 Feb 3, 2026
d6cdc3e
Feat: add TRY_I macros
homka122 Mar 7, 2026
c79a9c4
Feat: add BENCH_CFL_REACHBILITY macro for debug purpose
homka122 Mar 7, 2026
e2fa0b7
Refactor: now use TRY macro for every GrB\LG call
homka122 Mar 7, 2026
84a32c8
Refactor: change calls to opt methods because of changing API
homka122 Mar 7, 2026
6996a34
Test: add new grammars for indexed rules
homka122 Mar 7, 2026
b78137a
Test: add two new graphs for tests
homka122 Mar 7, 2026
cf51642
Test: add new indexed tests for adv CFL algo
homka122 Mar 7, 2026
682a23c
Fix: fix matrix_update call with new API
homka122 Mar 7, 2026
4162dd8
Fix: fix wrong free symbols in LG_FREE_WORK
homka122 Mar 7, 2026
8c8f7e4
Test: fix memory leaks and heap overflow in tests
homka122 Mar 7, 2026
1cc6cef
Refactor: delete unuserd debug prints
homka122 Mar 7, 2026
101421b
Refactor: use new CFL_create functions
homka122 Mar 7, 2026
812fd21
Refactor: simplify getting outputs matrices
homka122 Mar 7, 2026
945e98f
Refactor: add documentations of inner functions in adv CFL algo
homka122 Mar 7, 2026
04cbe89
Refactor: add TRY_INNER macro for helper functions
homka122 Mar 7, 2026
1c832d5
Feat: add CFL matrix split method
homka122 Mar 7, 2026
f388754
Docs: adjust description of adv CFL reachability algorithm
homka122 Mar 7, 2026
b7c047a
Fix: change initial capacity for dynamic arrays
homka122 Mar 7, 2026
adde8fd
Test: add new indexed test
homka122 Mar 7, 2026
1c4072e
Fix: revert CMakeLists.txt changes
homka122 Mar 7, 2026
bb634eb
Refactor: now making new symbols is seperate function
homka122 Mar 7, 2026
ff5b8fa
Refactor: now making new adj matrices in seperate function
homka122 Mar 7, 2026
f1cdd8b
Refactor: now making new rules in seperate function
homka122 Mar 7, 2026
ddd29f5
Refactor: move CFL methods to seperate header file
homka122 Mar 8, 2026
20e27c9
Refactor: fix TODO in matrix opt methods
homka122 Mar 8, 2026
3b8afe5
Refactor: refactor LG_FREE_ALL macro in adv CFL algo
homka122 Mar 8, 2026
3b3c7c7
Refactor: comment unused code in matrix opt
homka122 Mar 8, 2026
1c90854
Tests: add tests for block format hyper rotate
homka122 Mar 8, 2026
e050117
Tests: fix test and add new for adv algo
homka122 Mar 8, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading