libpet 0.02发布 多面体模型提取工具

libpet 是一款能够从C源提取多面体模型的工具,使用 LLVM/clang 解析C代码和ISL代表集合和关系。

libpet 0.02该版本增加了支持“while”,“break”,“continue”,并进入帐户符号整数溢出。

软件信息:https://www.ohloh.net/p/libpet

下载地址:

pet-0.02.tar.bz2

pet-0.02.tar.gz
pet-0.02.tar.lzma

时间: 2024-09-12 15:22:23

libpet 0.02发布 多面体模型提取工具的相关文章

Siebel Code Analyzer 0.02发布 代码分析工具

Siebel Code Analyzer 是一款发现和分析基于最佳实践的eScript代码http://www.aliyun.com/zixun/aggregation/17253.html">常见问题的代码分析工具.配有的Perl脚本finder.pl包括以下特点:连接对象数据库和分析eScript代码不正确的终止,支持多操作系统平台(支持Perl 5.10),独立数据库(通过使用DBI)和外部的配置文件.以后的版本将会包括一个完整的eScript解析器,识别try/catch/fina

Galette 0.7发布 会员管理工具

Galette 是一款会员管理工具,用于社会性成员的管理,如LUGs. Galette 0.7发布该版本增加了一个新的接口,插件的支持,以及大量的重写功能. 软件信息:http://galette.tuxfamily.org/dc/?navlang=en 下载地址:http://download.tuxfamily.org/galette/galette-0.7.0.tar.bz2

Onzen 0.02发布 图形化前端

Onzen是一个图形化前端,用于CVS.SVN和HG版本的控制系统.它表示的RCS文件是由树视图的详细http://www.aliyun.com/zixun/aggregation/13617.html">信息管理,并提供更新,提交,添加,删除,重命名,恢复,差异,和查看文件的功能. Onzen 0.02版本更新日志: 1.支持JavaMail发送电子邮件.2.支持总结和消息的存储补丁,修复了补丁号.3.在CVS中,修复了恢复和粘性标签. 4.MIME类型的对话框进行了改善.5.SWT同步

Semi 1.0.2发布 semi-literate编程工具

Semi是一个semi-literate的http://www.aliyun.com/zixun/aggregation/11773.html">编程工具,用于从文本文件中提取线性代码片段附加到新的源代码文件.不同于其他编程工具的是,Semi不执行任何巨集的扩张功能. Semi 1.0.2是首次公开发行的版本. 软件信息:http://www.semiliterateprogramming.org/ 下载地址:http://www.semiliterateprogramming.org/d

buildroot 2012.02发布 Linux嵌入式工具

buildroot 是一个Makefile文件和补丁的套件,使用uClibc C库为Linux系统生成交叉编译工具链和根文件系统.它主要用于小型或嵌入式系统.嵌入式系统经常使用不同类型的处理器来作为http://www.aliyun.com/zixun/aggregation/7298.html">程序开发,无需建立或运行buildroot根文件. buildroot 2012.02该版本的源现在可以从SCP位置和Mercurial库进行检索.每个软件包的设备节点或特殊权限表片段分别加入.

Dagri 0.5发布 数据网格工具

Dagri 是一款用于建立表格和数据保存的工具,即是一个数据网格http://www.aliyun.com/zixun/aggregation/8284.html">桌面应用程序.当电子表格使用单一的表布局时,Dagri可以在一个表单上使用多个不同的布局表格,且更集中于数据. Dagri 0.5该版本进行了多个小的改动,支持重复的行.列和网格,高级的复制整行和整列,并使用了新的功能来检测网格有效数字.可选的最后一个文件,在启动时加载的数据可以导出到XML. 软件信息:http://www.

Wolf Software Web Fingerprint Class 1.0.2发布 指纹创建工具

Wolf Software Web http://www.aliyun.com/zixun/aggregation/16569.html">Fingerprint Class是一个为Web浏览器创建独特指纹的工具. Wolf Software Web Fingerprint Class 1.0.2该版本更新了基本的移动设备检测,包括:Android,IPAD,黑莓等. 软件信息:http://www.wolf-software.com/downloads/php-classes/secur

Simple Groupware 0.743发布 企业应用工具

Simple Groupware 0.743该版本修复了一个XSS应用的漏洞,变更了处理脱机文件夹的方式,以及iCalendar输出和Funambol同步. Simple Groupware是一个功能完整的http://www.aliyun.com/zixun/aggregation/13760.html">企业应用工具,其功能是提供电子邮件,日历,联系人,任务,文档管理,手机和Outlook同步化,全文搜索,等等. 软件信息:http://www.simple-groupware.de/

rst2pdf 0.91发布 文本转换工具

rst2pdf 是一个将重组后的文本转换成PDF格式的工具,无需使用任何中间格式,只需直接使用ReportLab库制作PDF格式. rst2pdf 0.91该版本修复了Sphinx的支持. 软件信息:http://code.google.com/p/rst2pdf/ 下载地址:http://rst2pdf.googlecode.com/files/rst2pdf-0.91.tar.gz