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

Jump to bottom

cfl graphbuilder update #1158

Merged

yuleisui merged 6 commits into SVF-tools:master from TalbenXu:master

Jul 27, 2023

Contributor

TalbenXu commented Jul 27, 2023

use builddirection to control the weather build two way or single direction edge in graph
reduce various function needs to choose, but auto select the right building function by suffix
correct some naming issue
integrate and modulize design implementation for graphbuilder

TalbenXu added 6 commits

July 18, 2023 06:12


          Revised Graphbuilder

183808c


          comment out kindMap build

80ea276


          Fix compile error

dd834ab


          Fix cflgraph compiling error

7d09079


           grammarFile

b5d8411


          Move grammar back

c29017c

yuleisui merged commit 6dca909 into SVF-tools:master

3 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment