Diffusion Compressed graph representation 13d53c66452a

server: use double instead of float in timings
13d53c66452a
Actions

Description

server: use double instead of float in timings

Details

Provenance

haltode	Authored on Aug 12 2019, 2:48 PM
haltode	Pushed on Aug 12 2019, 2:48 PM

Parents

rDGRPH22b9258fb2cc: server: archive LinuxLog outdated benchmark

Branches

Unknown

Tags

Unknown

Build Status

Buildable 7233
Build 10216: test-and-build	Jenkins

Event Timeline

haltode committed rDGRPH13d53c66452a: server: use double instead of float in timings (authored by haltode).Aug 12 2019, 2:48 PM

Harbormaster failed to build B7233: rDGRPH13d53c66452a: server: use double instead of float in timings!Aug 12 2019, 2:49 PM

Changes (4)

Path

Size

java/

server/

src/

main/

java/

org/

softwareheritage/

graph/

backend/

benchmark/

utils/

rDGRPH13d53c66452a

View Options

java/server/src/main/java/org/softwareheritage/graph/Endpoint.java

View Options

java/server/src/main/java/org/softwareheritage/graph/backend/Setup.java

View Options

java/server/src/main/java/org/softwareheritage/graph/benchmark/AccessEdge.java

View Options

java/server/src/main/java/org/softwareheritage/graph/utils/Timing.java

server: use double instead of float in timings13d53c66452aActions

Description

Details

Event Timeline

Changes (4)

rDGRPH13d53c66452a

java/server/src/main/java/org/softwareheritage/graph/Endpoint.java

java/server/src/main/java/org/softwareheritage/graph/backend/Setup.java

java/server/src/main/java/org/softwareheritage/graph/benchmark/AccessEdge.java

java/server/src/main/java/org/softwareheritage/graph/utils/Timing.java

server: use double instead of float in timings
13d53c66452a
Actions