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
wants to merge 122 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
122 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
2e48806
Fix: algorithm change input adj_matrices
homka122 Oct 22, 2025
91e83ac
Refactor: apply clang-format to code
homka122 Nov 1, 2025
5abeb72
Fix: change matrix_to_base function
homka122 Nov 4, 2025
56d0fa2
Fix: add adv algorithm signature to LAGraphX.h
homka122 Nov 4, 2025
b13a244
Test: add tests for adv CFL reachability algorithm
homka122 Nov 4, 2025
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