Skip to content

uiano/ACT-ONE

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ACT ONE IDE

This project provides an IDE for the specification language ACT ONE. It allows to create ACT ONE specifications and to evaluate terms later.

Installation

ACT ONE is provided as a plugin for MPS, which needs to be installed from here. In the current release, you find the plugin. Store the zip-file and open File->Settings->Plugins. Click on the gearwheel symbol and install from disk, where you stored the file.

User manual

The language and the IDE are described in the User Manual.

Tutorial

There is a Tutorial that explains how to create and use a simple Shidoku specification.

Getting help

Please contact andreas.prinz@uia.no in case things do not work out as expected.

Contribution to the development of the MPS IDE

It is possible to contribute to the development of the language tool ACT ONE. In this case, you need to install MPS. Then, you clone this repository somewhere on your computer. Now you start MPS and open the clone as project. Alternatively, you can clone the project directly from MPS.

Please contact andreas.prinz@uia.no in order to synchronize the development work.