| Login: wilbur23 Fullname: wilbur23 Revisions: 3 Lines of Code: 33 Added Lines of Code: 37 Lines of Code per Change: 11.0 |
| Date | Author | File/Message |
|---|---|---|
| 8/19/03 12:50 PM | wilbur23 | Changes to .cvsignore for CSPA output files.
(1 Files changed,
6 Lines changed) .cvsignore 1.2
(+6
-0)
|
| 8/18/03 2:11 PM | wilbur23 | Added clunky command line option (--nukefiles)
to CSPA to automatically delete existing
output files before running the analysis. Currently,
this only affects the handling of callgraph.
(1 Files changed,
15 Lines changed) joeq/Compiler/Analysis/IPA/CSPA.java 1.8
(+15
-1)
|
| 8/15/03 1:19 PM | wilbur23 | "list" CSPAResults command now displays list
of domains before the list itself.
(1 Files changed,
16 Lines changed) joeq/Compiler/Analysis/IPA/CSPAResults.java 1.6
(+16
-3)
|
