From 3633fced1d05e2905cded28bfb9ec3ad24d34d38 Mon Sep 17 00:00:00 2001 From: Guillaume Sadegh Date: Sun, 24 Jan 2010 02:42:38 +0100 Subject: [PATCH] Update the README. * README: Reference src/saba/, src/sabaalgos/, src/sabatest/, iface/nips/, iface/nips/nipstest/ and iface/nips/nips_vm/. --- ChangeLog | 7 +++++++ README | 15 +++++++++++---- 2 files changed, 18 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 5cb6edadc..13266cc68 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2010-01-24 Guillaume Sadegh + + Update the README. + + * README: Reference src/saba/, src/sabaalgos/, src/sabatest/, + iface/nips/, iface/nips/nipstest/ and iface/nips/nips_vm/. + 2010-01-22 Alexandre Duret-Lutz Turn parse_error_list into an opaque type for Swig. This diff --git a/README b/README index d66c960c1..af86c69ec 100644 --- a/README +++ b/README @@ -107,6 +107,9 @@ src/ Sources for libspot. evtgba*/ Ignore these for now. eltlparse/ Parser for ELTL formulae. eltltest/ Tests for ELTL nodes in ltlast/ and eltlparse/. + saba/ SABA (State-labeled Alternating Büchi Automata) objects. + sabaalgos/ Algorithms on SABA. + sabatest/ Tests for saba/, sabaalgos/. doc/ Documentation for libspot. spot.html/ HTML reference manual. spot.latex/ Sources for the PDF manual. (Not distributed, can be rebuilt.) @@ -121,14 +124,18 @@ wrap/ Wrappers for other languages. iface/ Interfaces to other libraries. gspn/ GreatSPN interface. examples/ Supporting models used by the test cases. - + nips/ NIPS interface (to use Promela models). + nipstest/ Tests for NIPS. Third party software -------------------- -buddy/ A patched version of BuDDy 2.3 (a BDD library). -lbtt/ lbtt 1.2.0 (an LTL to Büchi automata test bench). - +buddy/ A patched version of BuDDy 2.3 (a BDD library). +lbtt/ lbtt 1.2.0 (an LTL to Büchi automata test bench). +iface/ Interfaces to other libraries. + nips/ NIPS interface (to use Promela models). + nips_vm/ NIPS VM 1.2.7 (New Implementation of Promela Semantics + Virtual Machine). Build-system stuff ------------------