diff options
author | rustanleino <unknown> | 2011-03-26 01:58:19 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2011-03-26 01:58:19 +0000 |
commit | c16176d2993c2df6b8b1b136c28a76cac3165b57 (patch) | |
tree | e9d4aacde97bece06d720bebcfaea7a1ab9f1e84 /Source/ModelViewer | |
parent | 6eb6941181eeffa85828eca3a1effa33f72628b5 (diff) |
Dafny: compile quantifiers
Dafny: allow {:induction} attribute to take an explicit list of bound variables on which to apply induction
Dafny: split expressions when proving function postconditions
Boogie and BVD: updated copyright year ranges
Diffstat (limited to 'Source/ModelViewer')
-rw-r--r-- | Source/ModelViewer/Properties/AssemblyInfo.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/Properties/AssemblyInfo.cs b/Source/ModelViewer/Properties/AssemblyInfo.cs index a5ed6580..0cb39b63 100644 --- a/Source/ModelViewer/Properties/AssemblyInfo.cs +++ b/Source/ModelViewer/Properties/AssemblyInfo.cs @@ -10,7 +10,7 @@ using System.Runtime.InteropServices; [assembly: AssemblyConfiguration("")]
[assembly: AssemblyCompany("Microsoft")]
[assembly: AssemblyProduct("ModelViewer")]
-[assembly: AssemblyCopyright("Copyright © Microsoft 2010")]
+[assembly: AssemblyCopyright("Copyright © Microsoft 2010-2011")]
[assembly: AssemblyTrademark("")]
[assembly: AssemblyCulture("")]
|