/[pdpsoft]

Revision 1224

Jump to revision:
Author:	aramv
Date:	Thu Dec 3 13:51:01 2009 UTC (11 years, 11 months ago)
Changed paths:	13
Log Message:	Fixed cleanup of unreachable states. Added a test config file. Added comments to test config files

Changed paths

Path	Details
trunk/grid-mw-security/ees/include/common/pdl.h	modified , text changed
trunk/grid-mw-security/ees/src/app/main.c	modified , text changed
trunk/grid-mw-security/ees/src/eef/eef_common.c	modified , text changed
trunk/grid-mw-security/ees/src/eval_man/pdl.c	modified , text changed
trunk/grid-mw-security/ees/test_configs/inversion.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/negated_recursion.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/normal.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/recursion.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/recursion_2.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/recursion_3.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/reused_state.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/unknown_variable.pdl	modified , text changed
trunk/grid-mw-security/ees/test_configs/unreachable_state.pdl	modified , text changed

grid.support@nikhef.nl	ViewVC Help
Powered by ViewVC 1.1.28