Welcome to the manual page of PaRTE!

The ParaPhrase? Refactoring Tool for Erlang (PaRTE) integrates parallel pattern discovery, candidate prioritization and semi-automated refactoring for shaping Erlang code and introducing algorithmic skeletons provided the ​skel library.

Installation

• Download the source: ​http://paraphrase-enlarged.elte.hu/downloads/parte_06_15.zip
• Unzip it and from the root directory of the tool type:

  ./install_parte -build parte
  

• Edit your .emacs file based on the instructions provided by the install script

• Customize PaRTE (RefactorErl? and Wrnagler) from the Emacs menu

Requirements

• Erlang/OTP 17 or higher
• gcc > 4.5

Usage

• Check our ​demo at first!
• Check our ​demonstration for the ParaPhrase? project reviewers as well!
• Start a RefactorErl? node:

  cd referl/tool
  bin/referl -db nif
  

• Start your Emacs and use the PaRTE menu
• Use the generated start script to use the Erlang Shell interface:

./startup

General

A user manual can be downloaded from here: ​http://paraphrase-enlarged.elte.hu/downloads/D4-3_user_manual.pdf

The tool can be downloaded from here: ​http://paraphrase-enlarged.elte.hu/downloads/parte.zip