%TOC%

---++ Features

The [[EcmaScriptModel][ECMAScript-model]] package is an _executable model_ of the [[EcmaScript][ECMAScript]] Edition 4 programming language. The source code represents a small-step operational semantics for the language, which is used to generate the =es4-step= executable, a command-line _stepper_ for [[EcmaScript][ECMAScript]] programs.

---++ Download

---+++ Stable Releases

Currently, no stable releases are available.

---+++ Latest Developments

Distributions (tarball, rpm, srpm) of the head revision are created continuously:

	* %DIST%/ecmascript-model-unstable-latest/

The distributions contain the latest of the latest developments, but if you really want to, the latest sources can be checked out using:
<pre>
  svn checkout %SVNROOT%/ecmascript/ecmascript-model/trunk
</pre>
Before you can configure the package as described above you have to run the =./bootstrap= script.

---+++ Installation

ECMAScript-model requires:
	* [[%DIST%/sdf2-bundle-unstable-latest/][Latest unstable release of sdf2-bundle]]
	* [[%DIST%/strategoxt-unstable-latest/][Latest unstable release of strategoxt]]

Install ECMAScript-model package with the usual sequence of commands:

<verbatim>
$ ./configure
$ make
$ make install
</verbatim>

You might need to set your =PKG_CONFIG_PATH= if you did not install the dependencies in a standard location. Configure will tell you to do this if it cannot find aterm, sdf, or strategoxt.

---++ Project Info

---+++ Issue Tracking

We use JIRA to keep track of issues. Please report any issues that you encounter!
	* %ISSUE%/ES

---+++ People

Contributors:
	* [[http://www.cs.uu.nl/people/martin/][Martin Bravenboer]]
	* [[http://calculist.blogspot.com/][Dave Herman]]

---+++ Source Repository

The sources are available from Subversion:
	* https://svn.cs.uu.nl:12443/repos/ecmascript/ecmascript-model/

---+++ Build Status

You can track the status of automatic builds at:
	* http://nix.cs.uu.nl/dist/stratego/full-status-ecmascript-model.html

<!--
	* Set SKIN = customtitle
	* Set CUSTOMHEADTITLE = Stratego / ECMAScript-model
	* Set CUSTOMTOPICTITLE = ECMAScript-model
-->