pips - Revision 23662: /trunk/src/Libs/semantics

• ..
• Makefile
• Makefile.am
• README
• TODO
• dbm_interface.c
• expression.c
• initial.c
• interprocedural.c
• loop.c
• mappings.c
• misc.c
• path_transformer.c
• points_to.c
• postcondition.c
• prettyprint.c
• ri_to_preconditions.c
• ri_to_total_preconditions.c
• ri_to_transformer_lists.c
• ri_to_transformers.c
• semantics-local.h
• type.c
• unstructured.c
• utils.c