https://github.com/spl/ivy

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
https://github.com/spl/ivy

c compiler

Last synced: 20 days ago
JSON representation

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety

• Host: GitHub
• URL: https://github.com/spl/ivy
• Owner: spl
• License: other
• Created: 2015-09-29T08:10:34.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2016-01-31T09:14:03.000Z (almost 9 years ago)
• Last Synced: 2024-05-09T14:55:36.735Z (8 months ago)
• Topics: c, compiler
• Language: OCaml
• Size: 4.61 MB
• Stars: 15
• Watchers: 3
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# Introduction

Ivy is a compiler and runtime library for an extended dialect of C that checks

type, memory, and concurrency safety. Ivy 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.

[This repository](https://github.com/spl/ivy) is an attempt by [Sean

Leather](https://github.com/spl) to resurrect the code. The [old

website](http://ivy.cs.berkeley.edu) is no longer updated, and this project has

not seen an update since 2008.

# Building

Ivy builds on Linux and Mac OS X, in the usual Unix fashion:

    ./configure --prefix=

    make

    make install