- 博客(3)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 形式化验证1——modex工具学习
modex，即model eXtractor，由bell实验室开发，基于spin的模型检测工具，modex通过自定义的test harness来从C源代码中抽取出需要验证的spin模型。然后调用spin进行处理，最后编译spin处理过的C代码，生成名为pan.exe或者pan的应用程序。1.安装下载地址：http://cm.bell-labs.com/cm/cs/what/modex/
2012-10-12 15:38:11
1902
2
转载 Eclipse打开大文件后，F3跳转功能失效
解决办法很简单，依次点击：窗口 -》 首选项 -》 c/c++ -》 Editor -》 Scalability，在右边的Enable scalability mode when thr number of lines in the file is more than:栏后填上20000或者50000，具体根据自己的代码来调整就好。
2012-07-22 21:39:20
499
原创 VS2010正则表达式替换——引用匹配到的字符串
在项目中，需要替换某些字符串，开始准备想使用vim。但是，由于在是vs2010的项目，直接利用vs自带的正则表达式替换功能。如：将 #include 替换为#include "stdio.h"，需要定义正则表达式：\，其中{(.)+}用于保存匹配到的字符串。在替换为的文本框中，输入“\1”即可完成替换。\1用于引用匹配到的字符串。
2012-07-13 16:43:00
839
Geany IDE用于C等语言编辑
2011-04-05
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人