diff options
| author |  qadeer <unknown> | 2013-12-08 22:30:52 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-08 22:30:52 -0800 |
| commit | 57f3b0868aa862a718b6703679f26d8ff148eb1f (patch) | |
| tree | a5076a7dd633c63628a7d8da0dc0acd015262302 /Source/BoogieDriver | |
| parent | d598ca752a1f163966f95bc19bf219bc5ae097f5 (diff) | |
The back pred files have been eliminated. The small backpred string is now directly included in ProverInterface.cs.
Diffstat (limited to 'Source/BoogieDriver')
0 files changed, 0 insertions, 0 deletions