diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-08-04 20:02:09 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-08-13 13:12:50 -0400 |
| commit | 04080abe3baafd9e139d7d1a609ce9d3fec92d5b (patch) | |
| tree | 3af7bb0bcd6233d617ddc2f892b34e4d8831ea5a /Makefile | |
| parent | fe67ae4b75b17cd3190ec72a7fa1135466ab62e6 (diff) | |
Prove rewrite-rule-independent parts of rewrite Wf
We still need to prove things about the individual rewrite rules
After | File Name | Before || Change | % Change
-----------------------------------------------------------------------------------------------------
23m03.10s | Total | 11m59.51s || +11m03.58s | +92.22%
-----------------------------------------------------------------------------------------------------
10m56.17s | Experiments/NewPipeline/RewriterProofs | 0m01.32s || +10m54.84s | +49609.84%
5m53.88s | Experiments/NewPipeline/SlowPrimeSynthesisExamples | 5m49.62s || +0m04.25s | +1.21%
1m37.55s | Experiments/NewPipeline/Toplevel2 | 1m33.45s || +0m04.09s | +4.38%
4m31.67s | Experiments/NewPipeline/Toplevel1 | 4m31.39s || +0m00.28s | +0.10%
0m01.45s | Experiments/NewPipeline/CLI | 0m01.34s || +0m00.10s | +8.20%
0m01.24s | Experiments/NewPipeline/StandaloneOCamlMain | 0m01.25s || -0m00.01s | -0.80%
0m01.14s | Experiments/NewPipeline/StandaloneHaskellMain | 0m01.15s || -0m00.01s | -0.86%
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions