/
[pdpsoft]
Revision 1224
Jump to revision:
Author:
aramv
Date:
Thu Dec 3 13:51:01 2009 UTC
(13 years, 1 month 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