alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/misc
History
Alexandre Duret-Lutz 0874980574 sat-minimize: generalize to any acceptance 
This is still missing tests.

* src/bin/autfilt.cc: Add a --sat-minimize option.
* src/misc/optionmap.cc, src/misc/optionmap.hh: Allow passing strings.
* src/twa/acc.cc, src/twa/acc.hh: Add helper functions needed
by the SAT-encoder.
* src/twaalgos/complete.hh: Typos.
* src/twaalgos/dtbasat.hh: Adjust comment.
* src/twaalgos/dtgbasat.cc, src/twaalgos/dtgbasat.hh: Generalize
to take the target acceptance as input.
* src/twaalgos/postproc.cc, src/tests/ltl2tgba.cc: Adjust calls.
* src/twaalgos/sbacc.cc, src/twaalgos/sbacc.hh: Don't pass
the pointer by reference.
* src/tests/acc.cc, src/tests/acc.test: More tests
for the acceptance helper function.
2015-05-18 21:45:33 +02:00
..
.gitignore more files to ignore 2011-06-08 17:24:22 +02:00
bareword.cc ltl: keep track of spin-compatible AP 2015-01-27 10:21:17 +01:00
bareword.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
bddlt.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
bitvect.cc bivect: workaround flexible arrays not being standard C++ 2014-08-19 22:50:08 +02:00
bitvect.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
casts.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
common.hh python: add a spot.automata(filename) interface, yielding automata 2015-03-27 17:27:12 +01:00
escape.cc dotty: colored acceptance sets 2015-03-17 19:28:34 +01:00
escape.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
fixpool.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
formater.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
formater.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
hash.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
hashfunc.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
intvcmp2.cc misc: define SPOT_LIKELY and SPOT_UNLIKELY 2014-10-30 16:05:28 +01:00
intvcmp2.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
intvcomp.cc misc: define SPOT_LIKELY and SPOT_UNLIKELY 2014-10-30 16:05:28 +01:00
intvcomp.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
location.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
ltstr.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
Makefile.am bddop: remove unused file 2014-12-01 17:48:39 +01:00
memusage.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
memusage.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
minato.cc autfilt: add a --simplify-exclusive-ap option 2015-03-30 12:01:32 +02:00
minato.hh autfilt: add a --simplify-exclusive-ap option 2015-03-30 12:01:32 +02:00
mspool.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
optionmap.cc sat-minimize: generalize to any acceptance 2015-05-18 21:45:33 +02:00
optionmap.hh sat-minimize: generalize to any acceptance 2015-05-18 21:45:33 +02:00
position.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
random.cc random: Get rid of uniform_distribution (non-portable). 2015-02-27 14:17:07 +01:00
random.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
satsolver.cc sat: adjust SPOT_SATSOLVER default for glucose 3.0 2014-02-08 21:34:35 +01:00
satsolver.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
timer.cc Replace << "c" by << 'c', and check for it in style.sh 2014-02-12 16:17:51 +01:00
timer.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00
tmpfile.cc tmpfile: fix out-of-memory check 2015-04-24 08:43:22 +02:00
tmpfile.hh more final keywords 2015-04-13 18:28:31 +02:00
version.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
version.hh Replace guards by pragma once. 2015-03-23 10:19:55 +01:00