From 439d12108e200af281e7dd04e7d529f84b887170 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 14 Jul 2015 10:25:39 +0000 Subject: [PATCH] HOA in scripts readme. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10291 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/README.txt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/prism/etc/README.txt b/prism/etc/README.txt index ff0795b6..9934ab4c 100644 --- a/prism/etc/README.txt +++ b/prism/etc/README.txt @@ -10,7 +10,7 @@ Where appropriate, comments/instructions are included in the files themselves. - prism2latex - converts PRISM models/properties to LaTex - prism3to4 - fixes some common problems in old (3.x and earlier) PRISM models - prism-statra - combines a PRISM .sta and .tra file into one file - (these scripts run on Linux/Unix/OS X and require prism to be in your path) + (these scripts run on Linux/Unix/OS X and require prism to be in your path) - prism-filler.py - automates filling a text file (e.g. latex) with results from log files. This script requires Python, run it without arguments for more help. @@ -19,6 +19,10 @@ Where appropriate, comments/instructions are included in the files themselves. - prism-auto - automates PRISM execution for testing/benchmarking - prism-test - automates running PRISM in test mode + * scripts/hoa/ - Scripts for attaching external LTL-to-automaton translators + to PRISM via the HOA (Hanoi Omega Automata) format. See: + http://www.prismmodelchecker.org/manual/ConfiguringPRISM/AutomataGeneration + * syntax-highlighters/ - Syntax highlighting configs for various tools - gnome/{Overrides.xml,prism.lang} - files for Gnome environment - nedit/prism.pats - files for NEdit editor