From f08dbe700052f75ffdd720ddbe5c64f06f43b132 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 5 Jan 2016 15:21:42 +0100 Subject: [PATCH] * NEWS: Mention recent directory moves. --- NEWS | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/NEWS b/NEWS index ae3ccb5a9..3a6a94b77 100644 --- a/NEWS +++ b/NEWS @@ -76,6 +76,18 @@ New in spot 1.99.6a (not yet released) and a Python implementation of the product of two automata is illustrated by https://spot.lrde.epita.fr/ipynb/product.html + Source code reorganisation: + + * A lot of directories have been shuffled around in the + distribution: + src/ -> spot/ (see rational above) + iface/ltsmin/ (code) -> spot/ltsmin/ + wrap/python/ -> python/ + src/tests/ -> tests/core/ + src/sanity/ -> tests/sanity/ + iface/ltsmin/ (tests) -> tests/ltsmin/ + wrap/python/tests -> tests/python/ + Bug fixes: * twa::ap() would contain duplicates when an atomic proposition