Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
ref-humbold committed Jun 17, 2018
1 parent e560905 commit ae94748
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ Finite and Infinite Tree Automata Viewer

## About
FITA-View is a system desired for visualizing workings of tree automata. Supported automata:
* Bottom-up deterministic finite tree automata
* Top-down deterministic finite tree automata
* Top-down non-deterministic finite tree automata
+ Bottom-up deterministic finite tree automata
+ Top-down deterministic finite tree automata
+ Top-down non-deterministic finite tree automata

Trees and automata can be loaded from XML files with extensions *filename.tree.xml* for trees, *filename.bua.xml* for bottom-up automata and *filename.tda.xml* for top-down automata.

Expand All @@ -17,20 +17,20 @@ Trees and automata can be loaded from XML files with extensions *filename.tree.x
FITA-View requires at least **[Java Standard Edition version 8](http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html)** installed. There are no dependencies on additional libraries.

For unit testing in FITA-View following libraries are required:
* JUnit 4
* Mockito 1.10.19 (or newer)
* PowerMock 1.7.1 (or newer)
+ JUnit 4
+ Mockito 1.10.19 (or newer)
+ PowerMock 1.7.1 (or newer)

----

### How to build?
FITA-View can be built with **[Apache ANT](http://ant.apache.org/)**. Possible targets are:
* `ant` - same as `ant all`
* `ant make` - compile only source files, create executable jar
* `ant make-test` - compile source and tests files, create executable jar *(libraries required)*
* `ant test` - run all tests *(libraries required)*
* `ant javadocs` - generate Javadocs
* `ant all` - compile source and tests files, run all tests and generate Javadocs *(libraries required)*
+ `ant` - same as `ant all`
+ `ant make` - compile only source files, create executable jar
+ `ant make-test` - compile source and tests files, create executable jar *(libraries required)*
+ `ant test` - run all tests *(libraries required)*
+ `ant javadocs` - generate Javadocs
+ `ant all` - compile source and tests files, run all tests and generate Javadocs *(libraries required)*

### How to run?
FITA-View can be run by an executable sh script:
Expand Down

0 comments on commit ae94748

Please sign in to comment.