/[pdpsoft]
ViewVC logotype

Revision 1224

Jump to revision: Previous Next
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
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