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 CENTOS

g-ir-compiler

g-ir-compiler(1)					      General Commands Manual						  g-ir-compiler(1)

NAME

       g-ir-compiler - typelib compiler.

SYNOPSIS

       g-ir-compiler [OPTION...] GIRFILE

DESCRIPTION

       g-ir-compiler  converts	one  or  more GIR files into one or more typelib.  It can either emit the raw typelib blob (default behavior) or C
       code (--code). The output will be written to standard output unless the --output is specified.

OPTIONS

       ---help
	      Show help options

	---code
	      Emit C code which is suitable for including in a shared library instead of a raw typelib.

	---output=FILENAME
	      Save the resulting output in FILENAME.

       ---verbose
	      Show verbose messages

       ---debug
	      Show debug messages

       ---no-init
	      Do not include an initialization snippet to register the typelib in the respository. This can only be used if --code is also  speci-
	      fied.

       ---includedir=DIRECTORY
	      Adds a directory which will be used to find includes inside the GIR format.

       ---module=MODULE
	      FIXME

       ---shared-library=FILENAME
	      Specifies  the shared library where the symbols in the typelib can be found.  The name of the library should not contain the leading
	      lib prefix nor the ending shared library suffix.

       BUGS   Report bugs at http://bugzilla.gnome.org/ in the glib product and introspection component.

HOMEPAGE and CONTACT
       http://live.gnome.org/GObjectIntrospection

AUTHORS

       Mattias Clasen

																  g-ir-compiler(1)