Skip to content
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

AndersenLCD implementation "incomplete": documentation and efficiency #6

Closed
dtzWill opened this issue May 11, 2016 · 1 comment
Closed

AndersenLCD implementation "incomplete": documentation and efficiency #6

dtzWill opened this issue May 11, 2016 · 1 comment
Labels
help wanted question

Comments

@dtzWill
Copy link
Contributor

dtzWill commented May 11, 2016

The implementation of lazy cycle detection is described as 'incomplete' in Andersen.h,
is the implemented approach documented somewhere?

If not, could this be documented?

I suppose I'm unsure in what way what's implemented is "lazy cycle detection", is it?
@yuleisui
Copy link
Collaborator

Our default Andersen's analysis uses wave propagation solver "AndersenWaveDiff" which has been extensively tested using our micro-benchmarks and many standard benchmarks CPU2000/2006.

AndersenLCD is very simple implementation of lazy cycle detection algorithm. The implementation may not be well tuned and tested to match the performance proposed in its paper. Feel free to improve it:)

@nix7965 nix7965 mentioned this issue Apr 17, 2017
Closed
@nix7965 nix7965 mentioned this issue Mar 20, 2019
Closed
@p2041 p2041 mentioned this issue Feb 23, 2020
Open
@zyy0721 zyy0721 mentioned this issue May 12, 2020
Open
yuleisui pushed a commit that referenced this issue Apr 9, 2021
@JasonZhongZexin
Merge pull request #6 from SVF-tools/master
7ece00a 
update from upstream
yuleisui added a commit that referenced this issue Jun 11, 2022
@yuleisui
Merge pull request #6 from SVF-tools/master
a1c0a07 
sync with upstream
yuleisui pushed a commit that referenced this issue Jun 14, 2022
@jeffjma @lukekoko @Wren71
SVFG read and write (#6)
20a939f 
* Add SVFG read/write options
Add << override for MRVer

Co-authored-by: Wren_F <wrenfajardo123@gmail.com>

* SVFG read and write functions

Co-authored-by: Wren_F <wrenfajardo123@gmail.com>

* Fix files to pass build

* Fix files to pass build

* Fix ctest error outOfBounds

* outOfBounds Fix2

* Fix merge conflict

* fix merge conflicts

* fix merge conflict

* fix merge conflicts

* fix merge conflicts

* Fix merge conflict

* Revert "fix merge conflicts"

This reverts commit 0628c40.

* Fix build error

* fix build error

* Move read and write to SVFGReadWrite.cpp

* Move read and write to SVFGReadWrite.cpp

Co-authored-by: lukekoko <github@lukekoko.net>
Co-authored-by: Wren_F <wrenfajardo123@gmail.com>
Co-authored-by: root <root@Jeffrey-PC.localdomain>
@TheSilentDawn TheSilentDawn mentioned this issue Dec 15, 2022
Open
@jumormt jumormt mentioned this issue Nov 30, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted question
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dtzWill @yuleisui