File	Date	Author	Commit
.settings	2017-08-17	Louise Dennis	[1714dc] Refactored actiononly passes all tests.
doc	2018-11-07	Vincent Koeman	[aa2b58] gitignore for latex temporary files
eclipse	2019-02-10	Louise Dennis	[f5397b] Editing readme to remove deposit information.
lib	2017-08-17	Louise Dennis	[4d5125] Trying to get JPF and Antlr4 to play nicely.
records	2017-05-22	Louise Dennis	[cfa53e] Tweaking so that the records directory gets inc...
src	2019-02-10	Louise Dennis	[f5397b] Editing readme to remove deposit information.
.classpath	2018-03-21	Louise Dennis	[75de09] Continuing work porting HERA python into Java.
.gitignore	2018-11-07	Vincent Koeman	[aa2b58] gitignore for latex temporary files
.project	2018-01-23	Louise Dennis	[6ebbd7] Tests for monitor.
GnuGeneralPublicLicense.txt	2018-04-25	Louise Dennis	[fede69] Renaming License files, per request from JOSS r...
LICENSE	2018-04-25	Louise Dennis	[fede69] Renaming License files, per request from JOSS r...
README	2018-05-10	Louise Dennis	[6491b4] Fixing typo in JOSS Paper.
build.xml	2018-08-27	Louise Dennis	[400bc9] Rapid work for examples in paper.
jpf.properties	2018-08-27	Louise Dennis	[400bc9] Rapid work for examples in paper.
test	2017-02-14	Angelo Ferrando	[3ec995] runtime verification files added

Read Me

This software distribution consists of:

- The Agent JPF (AJPF) extention of the Java Pathfinder model checker for model checking BDI style agent programs.

- The Agent Infrastructure Layer (AIL) toolkit for prototyping interpreters for BDI-style agent programming languages.

- The Gwendolen BDI agent programming language.

- The EASS (Engineering Autonomous Space Software) variant of the Gwendolen Language

- The Ethical Gwendolen variant of the Gwendolen Language

- The AIL Implementation of the GOAL BDI agent programming language (AIL GOAL).

- A Declarative Ethical Governor (DEG) Implementation

- A Really Simple Motorway Simulation (RSMS)

src/classes and src/main contains the core classes for each of these libraries 
   - when Java Pathfinder is being used the classes in src/classes run in the JPF virtual machine while those in src/main run in the native virtual machine
   
src/examples contains a number of example programs 

src/peers contains alternative implementations for some methods and classes for use during model checking to increase efficiency by doing some
   processing natively.  This code is not used in normal operation.
   
src/tests contains regression tests.

Documentation including installation instructions can be found in the doc folder.

Problems and Contributions
==========================

Bug reports and contributions are always welcome.

Please contact Louise Dennis, L.A.Dennis@liverpool.ac.uk, by email to make a bug report.

To contribute to the MCAPL code base please fork the git repository and then submit a pull request.  We value interaction with other people working on the code base and so would welcome contact from potential contributors to discuss their ideas and plans, though this is not a requirement for contribution.  Please email Louise Dennis, L.A.Dennis@liverpool.ac.uk, if you want to discuss working on the MCAPL code base.

Publications/Repository/Archival Copies
=======================================

This software is published by the Journal of Open Source Software

[![DOI](http://joss.theoj.org/papers/10.21105/joss.00617/status.svg)](https://doi.org/10.21105/joss.00617)