Eiffel version with manual timing

Can't show this merge request because the source branch eiffel is missing from project dzaragoza/gc-latency-experiment. Close this merge request or update the source branch.