https://github.com/sri-csl/iopc

The C infrastructure for the IOP system
https://github.com/sri-csl/iopc

actor-model actors jlambda maude

Last synced: about 2 months ago
JSON representation

The C infrastructure for the IOP system

• Host: GitHub
• URL: https://github.com/sri-csl/iopc
• Owner: SRI-CSL
• License: gpl-2.0
• Created: 2015-05-28T05:14:06.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2022-11-21T23:15:00.000Z (about 2 years ago)
• Last Synced: 2023-12-18T03:36:20.493Z (about 1 year ago)
• Topics: actor-model, actors, jlambda, maude
• Language: C
• Size: 53.6 MB
• Stars: 3
• Watchers: 15
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

[![Build Status](https://travis-ci.org/SRI-CSL/iopc.svg?branch=master)](https://travis-ci.org/SRI-CSL/iopc)

[![Coverity Scan Build Status](https://scan.coverity.com/projects/5280/badge.svg)](https://scan.coverity.com/projects/5280)

## iopc

The C infrastructure for the IOP system (plus the latest iop.jar).

## Prerequisites

Using jlambda requires Java, using iop with the GUI interface also Java.

Without the GUI front end iop has no prerequisites.

## Building and installing 

```

export IOPBINDIR = 

make

make install

```

## Using JLambda

```

export PATH = ${IOPBINDIR):${PATH}

jlambda

```

## Using IOP 

```

export PATH = ${IOPBINDIR):${PATH}

iop

```

## Javadoc for iop.jar

The javadoc for iop.jar is [here](http://www.jlambda.com/~iop/g2d/doc/)

## Manuals

The jlambda manual can be found [here](https://github.com/SRI-CSL/iopc/blob/master/doc/jlambda_manual.pdf?raw=true)

The iop manual can be found [here](https://github.com/SRI-CSL/iopc/blob/master/doc/iop_manual.pdf?raw=true)

## Websites

The jlambda webpage lives over [here](http://jlambda.com/~iop/jlambda.html)

The iop webpage lives over [here](http://jlambda.com/~iop/)

The main client of the iop system is [SRI International's Pathway Logic](http://pl.csl.sri.com/)