GitHub - pmatiello/pistache: Pistache is a pi-Calculus internal DSL for Scala. It enables developers to write concurrent applications using a pi-Calculus-ish notation.

This repository has been archived by the owner on Jul 10, 2023. It is now read-only.

pmatiello / pistache Public archive

Notifications You must be signed in to change notification settings
Fork 1
Star 5

Pistache is a pi-Calculus internal DSL for Scala. It enables developers to write concurrent applications using a pi-Calculus-ish notation.

MIT license

5 stars 1 fork Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 188 Commits
.settings		.settings
src/pistache		src/pistache
test/pistache		test/pistache
.classpath		.classpath
.hgignore		.hgignore
.project		.project
COPYING		COPYING
README		README
build.xml.example		build.xml.example

Repository files navigation

pistache
-------------------------------------------------------------------------------

SUMMARY

pistache is a pi-Calculus internal DSL for Scala.


DEPENDENCIES

In order to run the tests for this software, you'll need the following dependencies:

JUnit
http://www.junit.org/
Tested with version 4.5.

scalatest
http://www.scalatest.org/
Tested with version 1.6.1.

These dependencies can be downloaded automatically by running:
	ant download-deps

The Scala language, version 2.9, is also required.
http://www.scala-lang.org/

BUILDING

A jar file for the library can be built by running:
	ant build

The tests can be executed with the command:
	ant all-tests

The API reference in HTML format is generated by the command:
	ant docs

Notice that you may need to edit the scala.home property in the buildfile in order to
make it reflect your environment.