- 23 Sep, 2022 1 commit
-
-
Alexandre Duret-Lutz authored
As LRDE is being renamed LRE, gitlab is one of the first URL to migrate. The old URL is still supported, but we want to only use the new one eventually. * .dir-locals.el, .gitlab-ci.yml, HACKING, NEWS, doc/org/concepts.org, doc/org/install.org, doc/org/setup.org, elisp/Makefile.am, elisp/hoa-mode.el, tests/ltsmin/README: Update to the new gitlab URL.
-
- 03 Jun, 2020 1 commit
-
-
Etienne Renault authored
Fixes #330. * tests/ltsmin/README, tests/ltsmin/modelcheck.cc: here.
-
- 04 Jun, 2019 1 commit
-
-
Alexandre Duret-Lutz authored
* tests/ltsmin/README: Here. * THANKS: Reported by Jiraphapa Jiravaraphan.
-
- 16 Feb, 2017 1 commit
-
-
Etienne Renault authored
* tests/ltsmin/README: this fixes #230.
-
- 05 Jan, 2016 1 commit
-
-
Alexandre Duret-Lutz authored
* spot/ltsmin/defs.in: Delete. * spot/ltsmin/README, spot/ltsmin/beem-peterson.4.dve, spot/ltsmin/check.test, spot/ltsmin/elevator2.1.pm, spot/ltsmin/finite.dve, spot/ltsmin/finite.pm, spot/ltsmin/finite.test, spot/ltsmin/finite2.test, spot/ltsmin/kripke.test, spot/ltsmin/modelcheck.cc: Move... * tests/ltsmin/: ... here. * spot/ltsmin/README: Point to tests/ltsmin/README. * README, configure.ac, spot/ltsmin/Makefile.am, tests/.gitignore, tests/Makefile.am, tests/core/defs.in: Adjust.
-
- 25 Dec, 2015 1 commit
-
-
Alexandre Duret-Lutz authored
* spot-if/ltsmin/: Rename as... * spot/ltsmin/: ... this. * spot-if/: Delete. * Makefile.am, NEWS, README, configure.ac, debian/libspot-dev.install, doc/Doxyfile.in, spot/Makefile.am, spot/sanity/80columns.test, spot/sanity/style.test: Adjust.
-
- 07 Dec, 2015 1 commit
-
-
Alexandre Duret-Lutz authored
So that instead of having to do #incluce <spot/iface/ltsmin/ltsmin.hh> for using installed the installed header, and #incluce <iface/ltsmin/ltsmin.hh> for using the non-installed version, we now do #incluce <spot-if/ltsmin/ltsmin.hh> in both cases. * iface/: Rename as... * spot-if/: ... this. * doc/Doxyfile.in, README, configure.ac, Makefile.am, spot/sanity/80columns.test, spot/sanity/style.test: Adjust. * NEWS: Mention the change. * spot-if/ltsmin/Makefile.am: Install headers in $includedir/spot-if. * debian/libspot-dev.install: Distribute that directory as well.
-
- 24 Apr, 2015 1 commit
-
-
Etienne Renault authored
* iface/ltsmin/README: here.
-
- 07 Dec, 2014 1 commit
-
-
* configure.ac, iface/Makefile.am: Adjust. * iface/dve2/finite.test, iface/dve2/.gitignore, iface/dve2/Makefile.am, iface/dve2/README, iface/dve2/beem-peterson.4.dve, iface/dve2/dve2check.test, iface/dve2/defs.in, iface/dve2/finite.dve, iface/ltsmin/finite.test, iface/dve2/kripke.test, iface/dve2/dve2.cc, iface/dve2/dve2.hh, iface/dve2/dve2check.cc: Move to iface/ltsmin. * iface/ltsmin/.gitignore, iface/ltsmin/Makefile.am, iface/ltsmin/README, iface/ltsmin/beem-peterson.4.dve, iface/ltsmin/check.test, iface/ltsmin/defs.in, iface/ltsmin/finite.dve, iface/ltsmin/finite.test, iface/ltsmin/kripke.test, iface/ltsmin/ltsmin.cc, iface/ltsmin/ltsmin.hh, iface/ltsmin/modelcheck.cc: Factorize dve2 and spins interface in iface/ltsmin/ * iface/ltsmin/elevator2.1.pm, iface/ltsmin/finite.pm: Test promela models. * README: Document iface/ltsmin/ directory.
-
- 09 Apr, 2013 1 commit
-
-
Alexandre Duret-Lutz authored
* iface/dve2/dve2check.cc: Adjust. * iface/dve2/README: Some (unrelated) typos.
-
- 02 Jun, 2011 1 commit
-
-
Alexandre Duret-Lutz authored
-
- 07 Mar, 2011 1 commit
-
-
Alexandre Duret-Lutz authored
* iface/dve2/README: New file. * NEWS: Mention it. * THANKS: Add Michael Weber.
-