093ff71e71
PR bootstrap/15627 * engine/flowrow-sort.c (update_upper_bound): Converted comment to C-style. (flowrow_inclusion): Likewise. (flowrow_extract_field): Unnest field_eq. * engine/setif-sort.c (search_ubs): Unnest search_ubs_aux. (search_lbs): Unnest search_lbs_aux. (setif_inclusion): Unnest collapse_cycle_lower, collapse_cycle_upper, update_lower_bound, update_upper_bound. From-SVN: r83730 |
||
---|---|---|
.. | ||
engine | ||
libcompat | ||
points-to | ||
.cvsignore | ||
aclocal.m4 | ||
AUTHORS | ||
ChangeLog | ||
config.h.in | ||
configure | ||
configure.ac | ||
COPYING | ||
COPYRIGHT | ||
INSTALL | ||
Makefile.am | ||
Makefile.in | ||
NEWS | ||
README |
This is banshee, a toolkit for constructing constraint-based program analyses. See the user manual in docs/banshee.ps for a complete description of banshee. This is a beta release of banshee. Although banshee has been designed to solve many kinds of constraints, it has only been extensively tested on Andersen's-style points-to analysis. banshee is distributed under the BSD license. See the COPYRIGHT file for more details. Send bug reports to jkodumal@cs.berkeley.edu.