CCI
文章平均质量分 73
_学而时习之_
这个作者很懒,什么都没留下…
展开
-
关于CCI项目中缺少libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll的解决办法
今天将CCI项目源码下载下来,整体编译时,看起来是成功了,但是打开Samples下的AnalysisToText时,却报错了。顺着提示找到Z3Wrapper进行编译,这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll,找遍了整体项目都没有发现有这些DLL,于是上网搜索一番。 最终找到了Microsoft Research下的Z3项原创 2014-01-23 14:21:31 · 2695 阅读 · 0 评论 -
XHR(XMLHttpRequest)与Linux下的CGI交互
在Web编程时,为了能与硬件交互,中间需要CGI来响应。一般的我们会采用Form的Action来与CGI交互,但是使用Form来交互,就必须要提交数据,要提交数据就会产生页面的刷新,如果是少量的,还可能可以接受,但如果是大量的,那就难以忍受了。那有什么办法可以改善呢? 我们知道,在Web编程中,AJAX是极常用的一种方式。采用AJAX可以有效的减少页面的刷新,又能得到想要的数据更新。AJAX是一原创 2014-01-26 16:28:21 · 3642 阅读 · 0 评论