OSDN -- 开发和下载开源软件
简体中文翻译状态 translation status for zh

RSS
Download List

项目描述

Ivy is a compiler and runtime library for an
extended dialect of C that checks type, memory,
and concurrency safety. Ivy supports the full C
language, and relies on a small number of
lightweight annotations in the source code to keep
time and space overheads reasonable. Ivy is
implemented as a C-to-C compiler using gcc as its
backend.

系统要求

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2008-10-15 18:32
1.0

这是第一次公开发表的常春藤。它包含了以前提供的副（类型安全的C）和HeapSafe（内存管理C安全）项目。它增加了一个新的组成部分，SHARC处理器，它允许你检查你的C程序线程共享数据，你打算。特别是，它可以防止和/或检测到的所有数据的比赛。 SHARC处理器是更实验性的状态，可以并处在一些重大项目运行费用。
标签: Initial freshmeat announcement
This is the first public release of Ivy. It
incorporates the previously available Deputy
(type-safety for C) and HeapSafe
(memory-management safety for C) projects. It adds
a new component, SharC, which allows you to check
that your threaded C programs share data as you
intended. In particular, it prevents and/or
detects all data races. SharC is in a more
experimental state and may impose significant
runtime overheads in some programs.

Project Resources

Project Page 下载: Debian Package (deb) 首页 下载: List 下载: RPM 下载: TGZ