Code Review / parser.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: dd361d8) | patch
update verigraph 83/41283/5
authorserena.spinoso <serena.spinoso@polito.it>
Thu, 7 Sep 2017 08:22:39 +0000 (10:22 +0200)
committerserena.spinoso <serena.spinoso@polito.it>
Tue, 12 Sep 2017 06:42:03 +0000 (08:42 +0200)
commita42de79292d9541db7865b54e93be2d0b6e6a094
treecc357be8dc0030be4fa965273c4074f0dcb79345tree | snapshot
parentdd361d8d9df7a69a4fc7c004db5b959440a024c2commit | diff
update verigraph

JIRA: PARSER-154

code optimizations about graph manipulation and formula generation.

Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
245 files changed:
docs/developer/design/images/verigraph.png diff | blob | history
docs/developer/design/verigraph.rst diff | blob | history
docs/release/installation/installation.instruction.rst diff | blob | history
docs/release/userguide/feature.userguide.rst diff | blob | history
docs/testing/testusage.rst diff | blob | history
verigraph/LICENSE diff | blob | history
verigraph/README.md [deleted file] blob | history
verigraph/build.xml [new file with mode: 0644] blob
verigraph/buildVeriGraph_gRPC.xml [deleted file] blob | history
verigraph/examples/budapest_sat.json [new file with mode: 0644] blob
verigraph/examples/budapest_unsat.json [new file with mode: 0644] blob
verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json [new file with mode: 0644] blob
verigraph/examples/verigraph-req4-fail.json [new file with mode: 0644] blob
verigraph/examples/verigraph-req4-success.json [new file with mode: 0644] blob
verigraph/gRPC-build.xml [new file with mode: 0644] blob
verigraph/jsonschema/antispam.json [moved from verigraph/src/main/webapp/json/antispam.json with 100% similarity] blob | history
verigraph/jsonschema/cache.json [moved from verigraph/src/main/webapp/json/cache.json with 100% similarity] blob | history
verigraph/jsonschema/database.json [moved from verigraph/src/main/webapp/json/database.json with 100% similarity] blob | history
verigraph/jsonschema/dpi.json [moved from verigraph/src/main/webapp/json/dpi.json with 100% similarity] blob | history
verigraph/jsonschema/endhost.json [moved from verigraph/src/main/webapp/json/endhost.json with 100% similarity] blob | history
verigraph/jsonschema/endpoint.json [moved from verigraph/src/main/webapp/json/endpoint.json with 100% similarity] blob | history
verigraph/jsonschema/fieldmodifier.json [moved from verigraph/src/main/webapp/json/fieldmodifier.json with 100% similarity] blob | history
verigraph/jsonschema/firewall.json [moved from verigraph/src/main/webapp/json/firewall.json with 100% similarity] blob | history
verigraph/jsonschema/mailclient.json [moved from verigraph/src/main/webapp/json/mailclient.json with 100% similarity] blob | history
verigraph/jsonschema/mailserver.json [moved from verigraph/src/main/webapp/json/mailserver.json with 100% similarity] blob | history
verigraph/jsonschema/nat.json [moved from verigraph/src/main/webapp/json/nat.json with 100% similarity] blob | history
verigraph/jsonschema/vpnaccess.json [moved from verigraph/src/main/webapp/json/vpnaccess.json with 100% similarity] blob | history
verigraph/jsonschema/vpnexit.json [moved from verigraph/src/main/webapp/json/vpnexit.json with 100% similarity] blob | history
verigraph/jsonschema/webclient.json [moved from verigraph/src/main/webapp/json/webclient.json with 100% similarity] blob | history
verigraph/jsonschema/webserver.json [moved from verigraph/src/main/webapp/json/webserver.json with 100% similarity] blob | history
verigraph/pom.xml [changed mode: 0644->0755] diff | blob | history
verigraph/schema/xml_components.xsd [new file with mode: 0644] blob
verigraph/server.properties [new file with mode: 0644] blob
verigraph/service/src/mcnet/components/Checker.java [deleted file] blob | history
verigraph/service/src/mcnet/components/Core.java [deleted file] blob | history
verigraph/service/src/mcnet/components/IsolationResult.java [deleted file] blob | history
verigraph/service/src/mcnet/components/NetContext.java [deleted file] blob | history
verigraph/service/src/mcnet/components/Network.java [deleted file] blob | history
verigraph/service/src/mcnet/components/NetworkObject.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/AclFirewall.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/EndHost.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PacketModel.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoAntispam.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoCache.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoEndHost.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoErrFunction.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoFieldModifier.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoIDS.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoMailClient.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoMailServer.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoNF.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoNat.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoVpnAccess.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoVpnExit.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoWebClient.java [deleted file] blob | history
verigraph/service/src/mcnet/netobjs/PolitoWebServer.java [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/README.md [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/__init__.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/batch_generator.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/code_generator.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/config.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/json_generator.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/routing_generator.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/test_class_generator.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/test_generator.py [deleted file] blob | history
verigraph/service/src/tests/j-verigraph-generator/utility.py [deleted file] blob | history
verigraph/src/.flagfile [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/exceptions/DuplicateNodeException.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/exceptions/MyInvalidDirectionException.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/exceptions/MyInvalidIdException.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/exceptions/MyInvalidObjectException.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/exceptions/MyNotFoundException.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/manager/Neo4jDBInteraction.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/manager/Neo4jDBManager.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/manager/Neo4jLibrary.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/translator/GraphToNeo4j.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/translator/Neo4jToGraph.java [new file with mode: 0644] blob
verigraph/src/it/polito/neo4j/translator/package-info.java [moved from verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/package-info.java with 80% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/client/VerifyClient.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/client/VerifyClientException.java [moved from verigraph/src/main/java/it/polito/escape/verify/client/VerifyClientException.java with 73% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/deserializer/ConfigurationCustomDeserializer.java [moved from verigraph/src/main/java/it/polito/escape/verify/deserializer/ConfigurationCustomDeserializer.java with 53% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/deserializer/GraphCustomDeserializer.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/deserializer/NodeCustomDeserializer.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/deserializer/PathsMessageBodyReader.java [moved from verigraph/src/main/java/it/polito/escape/verify/deserializer/PathsMessageBodyReader.java with 53% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/BadRequestException.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/BadRequestException.java with 73% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/BadRequestExceptionMapper.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/BadRequestExceptionMapper.java with 63% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/DataNotFoundException.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/DataNotFoundException.java with 72% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/DataNotFoundExceptionMapper.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/DataNotFoundExceptionMapper.java with 63% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/ForbiddenException.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/ForbiddenException.java with 73% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/ForbiddenExceptionMapper.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/ForbiddenExceptionMapper.java with 63% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/GenericExceptionMapper.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/GenericExceptionMapper.java with 60% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/InternalServerErrorException.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/InternalServerErrorException.java with 72% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/exception/InternalServerErrorExceptionMapper.java [moved from verigraph/src/main/java/it/polito/escape/verify/exception/InternalServerErrorExceptionMapper.java with 63% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/grpc/client/Client.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/grpc/server/GrpcUtils.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/grpc/server/Service.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/grpc/test/GrpcServerTest.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/grpc/test/GrpcTest.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/grpc/test/MultiThreadTest.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/grpc/test/ReachabilityTest.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/Checker.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/Core.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/DataIsolationResult.java [moved from verigraph/service/src/mcnet/components/DataIsolationResult.java with 51% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/mcnet/components/IsolationResult.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/NetContext.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/Network.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/NetworkObject.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/components/Result.java [moved from verigraph/service/src/mcnet/components/Result.java with 73% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/mcnet/components/Tuple.java [moved from verigraph/service/src/mcnet/components/Tuple.java with 62% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/mcnet/netobjs/AclFirewall.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/DumbNode.java [moved from verigraph/service/src/mcnet/netobjs/DumbNode.java with 62% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/mcnet/netobjs/EndHost.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PacketModel.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoAntispam.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoCache.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoEndHost.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoErrFunction.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoFieldModifier.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoIDS.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoMailClient.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoMailServer.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoNF.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoNat.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoVpnAccess.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoVpnExit.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoWebClient.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/mcnet/netobjs/PolitoWebServer.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Configuration.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Entry.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/ErrorMessage.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Graph.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Link.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Neighbour.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Node.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Test.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/model/Verification.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/resources/GraphResource.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/resources/NeighbourResource.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/resources/NodeResource.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/resources/beans/VerificationBean.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/serializer/CustomConfigurationSerializer.java [moved from verigraph/src/main/java/it/polito/escape/verify/serializer/CustomConfigurationSerializer.java with 58% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/serializer/CustomMapSerializer.java [moved from verigraph/src/main/java/it/polito/escape/verify/serializer/CustomMapSerializer.java with 62% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/service/GraphService.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/service/JsonValidationService.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/service/NeighbourService.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/service/NodeService.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/service/ValidationUtils.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/service/VerificationService.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/service/VerigraphLogger.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/solver/GeneratorSolver.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/solver/Scenario.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/test/MultiThreadedTestCase.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/test/Scalability.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/test/TestCase.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/test/TestExecutionException.java [moved from verigraph/src/main/java/it/polito/escape/verify/test/TestExecutionException.java with 71% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/test/Tester.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/validation/DpiValidator.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/validation/EndhostValidator.java [moved from verigraph/src/main/java/it/polito/escape/verify/validation/EndhostValidator.java with 58% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/validation/ValidationInterface.java [moved from verigraph/src/main/java/it/polito/escape/verify/validation/ValidationInterface.java with 59% similarity] diff | blob | history
verigraph/src/it/polito/verigraph/validation/VpnaccessValidator.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/validation/VpnexitValidator.java [new file with mode: 0644] blob
verigraph/src/it/polito/verigraph/validation/exception/ValidationException.java [moved from verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java with 58% similarity] diff | blob | history
verigraph/src/main/java/it/polito/escape/verify/client/Neo4jManagerClient.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/client/VerifyClient.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/database/DatabaseClass.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/deserializer/GraphCustomDeserializer.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/deserializer/NodeCustomDeserializer.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Configuration.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Entry.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/ErrorMessage.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Graph.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Link.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Neighbour.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Node.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Test.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/Verification.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/model/jaxb.properties [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/resources/GraphResource.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/resources/NeighbourResource.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/resources/NodeResource.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/service/GraphService.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/service/JsonValidationService.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/service/NeighbourService.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/service/NodeService.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/service/ValidationUtils.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/service/VerificationService.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/test/MultiThreadedTestCase.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/test/Scalability.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/test/Tester.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/validation/DpiValidator.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/validation/VpnaccessValidator.java [deleted file] blob | history
verigraph/src/main/java/it/polito/escape/verify/validation/VpnexitValidator.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/Client.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/GrpcUtils.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/README.md [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/Service.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/test/GrpcServerTest.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/test/GrpcTest.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/test/MultiThreadTest.java [deleted file] blob | history
verigraph/src/main/java/it/polito/grpc/test/ReachabilityTest.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ActionEnumType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ActionType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ActionsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CiType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CpType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CpointsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CtrlInterfacesType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpCpType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpointsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpsCpsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/FlowrulesType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/HttpMessage.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/MonParamsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NeType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NelementsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NfType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/Nffg.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NffgSet.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NfunctionsType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ObjectFactory.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/Paths.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/PortDirEnumType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/PortType.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/Property.java [deleted file] blob | history
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/SpecType.java [deleted file] blob | history
verigraph/src/main/proto/verigraph.proto diff | blob | history
verigraph/src/main/schema/net_types.xsd [deleted file] blob | history
verigraph/src/main/schema/nffg.xsd [deleted file] blob | history
verigraph/target/m2e-wtp/web-resources/META-INF/MANIFEST.MF [deleted file] blob | history
verigraph/target/m2e-wtp/web-resources/META-INF/maven/it.polito.escape/verify/pom.properties [deleted file] blob | history
verigraph/target/m2e-wtp/web-resources/META-INF/maven/it.polito.escape/verify/pom.xml [deleted file] blob | history
verigraph/tester/README.md [deleted file] blob | history
verigraph/tester/test.py diff | blob | history
verigraph/tester/testcase_schema.json diff | blob | history
verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json diff | blob | history
verigraph/tester/testcases/test_budapest_sap1_webserver_unsat.json diff | blob | history
verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficAllowed.json diff | blob | history
verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficBlocked.json diff | blob | history
verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json [deleted file] blob | history
verigraph/tester/testcases/test_user_nat_vpn_webserver_sat.json [deleted file] blob | history
verigraph/tester/testcases/test_webserver_vpn_nat_user_unsat.json [deleted file] blob | history
verigraph/tomcat-build.xml [new file with mode: 0644] blob
Parse Telecom operators descriptors/records into TOSCA/CAMP templates