[link=https://github.com/eclipse/poosl/actions/workflows/maven.yml] image::https://github.com/eclipse/poosl/workflows/Java%20CI/badge.svg[gh-actions status]
This is an archived repository used to prepare POOSL IDE to go to the Eclipse Foundation. The code has moved to the Eclipse Foundation, you can find it on: https://github.com/eclipse/poosl
= Brief introduction to the POOSL project
The Parallel Object-Oriented Specification Language (POOSL) is a very expressive language to model concurrent hardware/software systems. POOSL has a small set of powerful primitives and it has an unambiguous formal semantics in terms of mathematical axioms and rules. POOSL models can be simulated with the Rotalumis simulator.
This project provides an Eclipse-based tool for editing and debugging POOSL models.
== How to install https://raw.githubusercontent.com/eclipse/poosl/main/docs/User/InstallationManual.pdf[Installation guide] helps you to install Eclipse and POOSL features.
== How to download Eclipse Features
Update site and help are accessible on https://obeonetwork.github.io/POOSL[gh-pages site].
== How to build
Here you will find a introduction how to setup, build and run tests.
=== Preconditions
We assume the following tools/frameworks are available
=== Command To build the poosl project via maven you have to go run the following commands.
Executing this command will build the plugins, features, updatesite and products.
=== Locations Update site is available at ${POOSL_SRC}/releng/org.eclipse.poosl.update/target/repository Product are available at ${POOSL_SRC}/releng/org.eclipse.poosl.product/target/products
== Developing
Development guidelines are described at https://github.com/eclipse/poosl/tree/main/docs/Developer[org.eclipse.poosl.docs/Developer/readme.adoc]
=== Development environment
With Eclipse instal, use following Oomph setup to have a proper tool set (in Advanced mode).
Once the repository is cloned, following preferences should be set:
=== Contributing
Create an github issue to describe the feature to add/fix.
Fork the project in your github account and push your code.+
Commit must start with '[#
Create a pull-request
Wait for team review: a feedback will be provided or the commit will be merged.
== Automatic Tests via RCPTT
In Eclipse environment, all tests are grouped in org.eclipse.poosl.rcptt.allinone/AllTests.suite
In bash mode, use maven command: