- 08 Dec, 2004 3 commits
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
(tgba_explicit::create_transition(state*, const state*)): New function. * src/tgbaalgos/randomgraph.cc, src/tgbaalgos/randomgraph.hh: (random_graph): Revamp the algorithm to call rand() less often. * src/tgbatest/randtgba.cc: Add option -0 to easy profiling.
-
Alexandre Duret-Lutz authored
-
- 07 Dec, 2004 3 commits
-
-
Alexandre Duret-Lutz authored
(barand): New class. * src/misc/random.cc (nrand, bmrand, prand): New functions. * wrap/python/spot.i: Process src/misc/random.hh.
-
Alexandre Duret-Lutz authored
-
Denis Poitrenaud authored
accepting runs * src/misc/timer.hh: Include cassert.
-
- 06 Dec, 2004 1 commit
-
-
Alexandre Duret-Lutz authored
-
- 29 Nov, 2004 4 commits
-
-
Alexandre Duret-Lutz authored
* src/misc/Makefile.am (misc_HEADERS, libmisc_la_SOURCES): Add them. * src/tgbatest/randtgba.cc: Use time_map to measure the algorithms. Add the -R option. * src/sanity/style.sh: Let me use `for (.*;;)'.
-
Denis Poitrenaud authored
accepting runs
-
Alexandre Duret-Lutz authored
(minimize_run): Rename as ... * src/tgbaalgos/reducerun.cc, src/tgbaalgos/reducerun.hh: (reduce_run): ... this. * src/tgbaalgos/Makefile.am, src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Adjust all references.
-
Alexandre Duret-Lutz authored
* src/tgbatest/randtgba.cc (main): Pass the correct automaton to minimize_run().
-
- 28 Nov, 2004 7 commits
-
-
Alexandre Duret-Lutz authored
* src/ltltest/parseerr.test: Use `equals -E' instead of `readltl' to check the parsing of erroneous strings without being sensible to the ordering for formulae in memory.
-
Alexandre Duret-Lutz authored
strtof() to please Solaris 9.
-
Alexandre Duret-Lutz authored
filenames longer than 99 bytes.
-
Alexandre Duret-Lutz authored
to it. Report from Akim Demaille.
-
Alexandre Duret-Lutz authored
into GREP_OPTIONS.
-
Alexandre Duret-Lutz authored
Darwin finds non-installed libraries. Report from Akim Demaille.
-
Alexandre Duret-Lutz authored
-
- 27 Nov, 2004 2 commits
-
-
Alexandre Duret-Lutz authored
are disabled.
-
Alexandre Duret-Lutz authored
files. * src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS, libtgbaalgos_la_SOURCES): Add them/ * src/tgbatest/randtgba.cc, src/tgbatest/ltl2tgba.cc: Add option -m. * src/tgbatest/emptchkr.test: Use -m.
-
- 25 Nov, 2004 3 commits
-
-
Denis Poitrenaud authored
src/tgbaalgos/se05.cc, src/tgbaalgos/se05.hh, src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03opt.cc: Fix comments and debug traces * src/tgbatest/randtgba.cc: Adjust names of algorithms.
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
Add the TGBA considered as a protected attribute, and provide an automaton() accessor. * src/tgbaalgos/gv04.cc, src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc, src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/gtec.cc: Adjust to follow this new interface.
-
- 24 Nov, 2004 4 commits
-
-
Alexandre Duret-Lutz authored
previous change (bfs_steps_with_path_conditions turned up useless), and document bfs_step.
-
Alexandre Duret-Lutz authored
class. * src/tgbaalgos/bfssteps.cc: Remove includes that are now superfluous.
-
Alexandre Duret-Lutz authored
couvreur99_check_result::accepting_cycle): Rewrite the BFSs using the bfs_steps class.
-
Alexandre Duret-Lutz authored
* src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS, libtgbaalgos_la_SOURCES): Add them. * src/tgbaalgos/gv04.cc (gv04::result::accepting_run): Use the new bfs_steps class.
-
- 23 Nov, 2004 2 commits
-
-
Alexandre Duret-Lutz authored
counter examples. (gv04:check): Return a gv04::result.
-
Denis Poitrenaud authored
-
- 22 Nov, 2004 5 commits
-
-
Alexandre Duret-Lutz authored
(gv04::check, gv04::push, gv04::pop): Update the statistics for randtgba. (gv04::print_stats): Print them here too.
-
Alexandre Duret-Lutz authored
couvreur99_check_shy::check): Compute more statistics for randtgba. (couvreur99_check::print_stats): Print these here too.
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
based on Thomas Martinez's src/tgbaalgos/tarjan_on_fly.cc and src/tgbaalgos/tarjan_on_fly.hh former implementation. * src/tgbaalgos/Makefile.am (libtgbaalgos_la_SOURCES, tgbaalgos_HEADERS): Add them. * src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Bind the new algorithm. * src/tgbatest/emptchk.test: Test it.
-
Denis Poitrenaud authored
src/tgbaalgos/weight.hh: New files. * src/tgbaalgos/Makefile.am: Add them. * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc, src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/status.cc, src/tgbaalgos/gtec/status.hh, : Add emptiness check statistics capability. * src/tgbatest/randtgba.cc: Print these statistics. * src/tgbatest/ltl2tgba.cc: tau03opt search can deal without acceptance condition. * src/tgbatest/emptchk.test: Test tau03opt search.
-
- 19 Nov, 2004 1 commit
-
-
Alexandre Duret-Lutz authored
src/tgbaalgos/se05.hh, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.hh, src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03opt.cc: Fix copyright year, and do not include <iterator>.
-
- 18 Nov, 2004 2 commits
-
-
Alexandre Duret-Lutz authored
(ce_stat): New struct.
-
Denis Poitrenaud authored
* src/tgbaalgos/tau03.cc: Suppress optimisations, the algorithm is now the original one. * src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03opt.cc: New files implementing most of all the optimisations of tau03. * src/tgbaalgos/Makefile.am: Add them. * src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Make them public. * src/tgbatest/tba_samples_from_spin.test: Test them.
-
- 17 Nov, 2004 3 commits
-
-
Alexandre Duret-Lutz authored
src/tgbaalgos/ltl2tgba_lacim.hh, src/tgbaalgos/stats.hh: Typos.
-
Alexandre Duret-Lutz authored
from tba_samples_from_spin. * src/tgbatest/tba_samples_from_spin.test: Get these example files from $srcdir, for the sake of VPATH builds. (light_run): Remove, not needed.
-
Alexandre Duret-Lutz authored
src/misc/escape.hh, src/misc/freelist.hh, src/misc/hash.hh, src/misc/hashfunc.hh, src/misc/minato.hh, src/misc/modgray.hh, src/misc/random.hh, src/misc/version.hh, src/tgba/state.hh: More Doxygen groups.
-