Ivy C compiler 1.0 (Default branch)


 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News Ivy C compiler 1.0 (Default branch)
# 1  
Old 10-15-2008
Ivy C compiler 1.0 (Default branch)

Ivy is a compiler and runtime library for anextended dialect of C that checks type, memory,and concurrency safety. Ivy supports the full Clanguage, and relies on a small number oflightweight annotations in the source code to keeptime and space overheads reasonable. Ivy isimplemented as a C-to-C compiler using gcc as itsbackend.License: BSD License (revised)Changes:
This is the first public release of Ivy. Itincorporates the previously available Deputy(type-safety for C) and HeapSafe(memory-management safety for C) projects. It addsa new component, SharC, which allows you to checkthat your threaded C programs share data as youintended. In particular, it prevents and/ordetects all data races. SharC is in a moreexperimental state and may impose significantruntime overheads in some programs.Image

Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question
F77(3)							User Contributed Perl Documentation						    F77(3)

NAME
ExtUtils::F77 - Simple interface to F77 libs DESCRIPTION
This module tries to figure out how to link C programs with Fortran subroutines on your system. Basically one must add a list of Fortran runtime libraries. The problem is their location and name varies with each OS/compiler combination! This module tries to implement a simple 'rule-of-thumb' database for various flavours of UNIX systems. A simple self-documenting Perl database of knowledge/code for figuring out how to link for various combinations of OS and compiler is embedded in the modules Perl code. Please help save the world by sending database entries for your system to karl_pgplot@mac.com The library list which the module returns can be explicitly overridden by setting the environment variable F77LIBS, e.g. % setenv F77LIBS "-lfoo -lbar" % perl Makefile.PL ... SYNOPSIS
use ExtUtils::F77; # Automatic guess use ExtUtils::F77 qw(sunos); # Specify system use ExtUtils::F77 qw(linux g77); # Specify system and compiler $fortranlibs = ExtUtils::F77->runtime; METHODS
The following methods are provided: o runtime Returns a list of F77 runtime libraries. $fortranlibs = ExtUtils::F77->runtime; o runtimeok Returns TRUE only if runtime libraries have been found successfully. o trail_ Returns true if F77 names have trailing underscores. o compiler Returns command to execute the compiler (e.g. 'f77'). o cflags Returns compiler flags. o testcompiler Test to see if compiler actually works. More methods will probably be added in the future. AUTHOR
Karl Glazebrook (kgb@aaoepp.aao.GOV.AU). perl v5.12.1 2007-04-02 F77(3)