diff options
| author |  Rustan Leino <unknown> | 2013-07-05 14:37:11 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-07-05 14:37:11 -0700 |
| commit | 7fbe519af9271420e5b513021dd1f846a4337e7e (patch) | |
| tree | e5f6f182941bef103b49a461518a30ab343b43d4 /Source/Provers/SMTLib/SMTLibLineariser.cs | |
| parent | fc33b0b2938ad4e81e34c87f054c2880bb56cd17 (diff) | |
Added support in the abstract interpreter for an attribute {:identity}, which says that a function is an identity function.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')
0 files changed, 0 insertions, 0 deletions