摘要：
这篇博客开始介绍VCC的用法，先用简单的例子介绍VCC的基本语法，当然面对更复杂的程序时，VCC也是将他简化然后分析的。 1.Assertion#include int main() { int x,y,z; if (x 中定义了#define _(...) /∗nothing∗/一个类... 阅读全文
摘要：
最近在学校跟着老师参与了一个代码验证的工作，需要使用Microsoft Research（微软学术）开发的VCC工具，是开源的，托管在Codeplex上。这东西英语资料极其少，中文资料基本没有。我只能看官方给的英文文档。因此，我也就有了心思写几篇简单的博客，也包括文档的一些翻译。留个纪念也好。 ... 阅读全文
摘要：
最近开始尝试把WP8.1 Runtime的项目升级成Win10 UWP，我用的方法没什么技巧性，就是直接复制文件和代码到新建的UWP项目。结果是后台代码未经修改，全部正常运行。但是UI控件的布局有些偏移，需要微调。这和“Win10 UWP架构是8.1 Runtime的超集”的说法吻合，所以大家也... 阅读全文
摘要：
ApplicationBar（以下简称AppBar）是WP应用相当常见的控件，也很方便。常见的做法是pivot或者panorama的页面切换的时候，AppBar跟随切换对应的按钮或者不显示按钮，如下图。这个方法比较简单，网上很容易找到资料，不过我还是简要的说一下。首先要在页面资源里添加需要的App... 阅读全文
摘要：
很多时候我们需要在启动程序的时候根据状态改变初始导航页面，比如程序在启动的时候判断用户是否登录，如果未登录则跳转到LoginPage.xaml否则跳转到MainPage界面。这时候就要分析程序的启动和导航的过程。程序的启动是App.xamlcs负责的。App类的构造器，里面就是一个App的初始化流程... 阅读全文