diff options
author | Jason Gross <jagro@google.com> | 2018-08-06 10:40:35 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-08-06 11:27:52 -0400 |
commit | aa16eb43be3be1dc23a6690d9ad4ee5a0509a8e4 (patch) | |
tree | 884686ddfe5c9995e5222fc0be116b62eef8b001 /_CoqProject | |
parent | 9b53f37c486777d76fb0670a4a88db46440d82f7 (diff) |
Remove thunking from abstract interpretation
It was a premature optimization
After | File Name | Before || Change | % Change
----------------------------------------------------------------------------------------------------
12m57.07s | Total | 12m59.91s || -0m02.84s | -0.36%
----------------------------------------------------------------------------------------------------
5m49.37s | Experiments/NewPipeline/SlowPrimeSynthesisExamples | 5m49.86s || -0m00.49s | -0.14%
4m31.64s | Experiments/NewPipeline/Toplevel1 | 4m32.60s || -0m00.96s | -0.35%
1m33.27s | Experiments/NewPipeline/Toplevel2 | 1m33.94s || -0m00.66s | -0.71%
0m44.30s | Experiments/NewPipeline/AbstractInterpretationProofs | 0m44.73s || -0m00.42s | -0.96%
0m12.60s | Experiments/NewPipeline/CStringification | 0m12.60s || +0m00.00s | +0.00%
0m01.38s | Experiments/NewPipeline/CLI | 0m01.37s || +0m00.00s | +0.72%
0m01.24s | Experiments/NewPipeline/StandaloneHaskellMain | 0m01.39s || -0m00.14s | -10.79%
0m01.12s | Experiments/NewPipeline/StandaloneOCamlMain | 0m01.22s || -0m00.09s | -8.19%
0m01.11s | Experiments/NewPipeline/AbstractInterpretation | 0m01.14s || -0m00.02s | -2.63%
0m01.04s | Experiments/NewPipeline/CompilersTestCases | 0m01.07s || -0m00.03s | -2.80%
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions