Login or Register to Ask a Question and Join Our Community


Software Releases - RSS News

Ivy C compiler 1.0 (Default branch)

Login to Discuss or Reply to this Discussion in Our Community

 
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

LEARN ABOUT DEBIAN

qd-config

QD-CONFIGG(1)															     QD-CONFIGG(1)

NAME

       qd-config - determine flags for compilation and linking

SYNOPSIS

       qd-config [options]

DESCRIPTION

       To  link  a  Fortran-90 program with the C++ qd library, it is recommended to link with the C++ compiler used to generate the library.  The
       Fortran 90 interface (along with a C-style main function calling f_main) is found in the qdmod library.	The qd-config script can  be  used
       to determine which flags to pass to compile and link your programs.

OPTIONS

       --src  Switch between source and system location.

       --prefix
	      Output configured prefix value.

       --exec-prefix
	      Output configured exec_prefix value.

       --build-flags
	      Compiler options used during build.

       --build-libs
	      Linker options used during build.

       --configure-args
	      Configure arguments used for build.

       --cxx  C++ compiler.

       --cflags
	      C++ preprocessor and compiler options.

       --cxxflags
	      C++ compiler options.

       --libs-la
	      C++ linker options and libtool archive location.

       --libs C++ linker options.

       --fc   Fortran compiler.

       --fcflags
	      Fortran compiler options.

       --fclibs
	      Fortran linker options.

       --fmainlib
	      C++ linker options for main program written in Fortran.

       --version
	      Output version.

AUTHOR

       This manual page was written by Daniel Leidert <daniel.leidert@wgdd.de> for the Debian project (but may be used by others).

User Commands							    2008-05-11							     QD-CONFIGG(1)