Diffusion Compressed graph representation 61ee41418867

server: rename graph mapping files
61ee41418867
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

server: rename graph mapping files

'.nodeToSwhMap.csv' -> '.node2pid.csv'
'.swhToNodeMap.csv' -> '.pid2node.csv'
'.nodeToTypesMap' -> '.node2type.map'

Details

Provenance

haltode	Authored on Jul 14 2019, 8:05 PM
haltode	Pushed on Jul 15 2019, 10:04 AM

Differential Revision

D1726: Add node id -> node types bitmap

Event Timeline

haltode committed rDGRPH61ee41418867: server: rename graph mapping files (authored by haltode).Jul 14 2019, 8:05 PM

Commit No Longer Exists

This commit no longer exists in the repository.