diff options
| author |  Jason Gross <jagro@google.com> | 2018-07-26 15:55:29 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-07-26 15:56:25 -0400 |
| commit | 104971df80765a905fe9555a229503c07f7be548 (patch) | |
| tree | 7148d1d3ffcd8029f91ed89cad7feb2d5002c09a /AUTHORS | |
| parent | ca2294ffe37c8ec8f4bf027c9afd3337b10c29d5 (diff) | |
Add Wf lemmas about SubstVar
After | File Name | Before || Change | % Change
---------------------------------------------------------------------------------
0m11.74s | Total | 0m10.83s || +0m00.91s | +8.40%
---------------------------------------------------------------------------------
0m10.85s | Experiments/NewPipeline/LanguageWf | 0m10.83s || +0m00.01s | +0.18%
0m00.89s | Experiments/NewPipeline/UnderLetsWf | N/A || +0m00.89s | ∞
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions