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 (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2022-11-21T23:15:00.000Z (over 2 years ago)
- Last Synced: 2025-03-22T19:45:59.797Z (2 months ago)
- Topics: actor-model, actors, jlambda, maude
- Language: C
- Size: 53.6 MB
- Stars: 3
- Watchers: 14
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
[](https://travis-ci.org/SRI-CSL/iopc)
[](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/)