/[pdpsoft]
ViewVC logotype

Revision 1224


Jump to revision: Previous Next
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
Directorytrunk/grid-mw-security/ees/include/common/pdl.h modified , text changed
Directorytrunk/grid-mw-security/ees/src/app/main.c modified , text changed
Directorytrunk/grid-mw-security/ees/src/eef/eef_common.c modified , text changed
Directorytrunk/grid-mw-security/ees/src/eval_man/pdl.c modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/inversion.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/negated_recursion.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/normal.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/recursion.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/recursion_2.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/recursion_3.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/reused_state.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/unknown_variable.pdl modified , text changed
Directorytrunk/grid-mw-security/ees/test_configs/unreachable_state.pdl modified , text changed

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