• Clément Gillard's avatar
    Several typos · 4ecd066c
    Clément Gillard authored
    * HACKING: Missing "to", extraneous 's'.
    * spot/misc/timer.hh: Extraneous space.
    * spot/twa/acc.hh: Extraneous 's', typos.
    * spot/twaalgos/genem.hh: Typo.
    * spot/twaalgos/sccinfo.cc: Fix indentation.
    * spot/twaalgos/sccinfo.hh: Missing 's'.
    * tests/python/acc_cond.ipynb: Extraneous 'e', missing comma.
    * tests/python/decompose.ipynb: Extraneous 't'.
    * tests/python/ltsmin-dve.ipynb: Extraneous verb.
    4ecd066c
Name
Last commit
Last update
..
.gitignore Loading commit data...
Makefile.am Loading commit data...
bareword.cc Loading commit data...
bareword.hh Loading commit data...
bddlt.hh Loading commit data...
bitset.cc Loading commit data...
bitset.hh Loading commit data...
bitvect.cc Loading commit data...
bitvect.hh Loading commit data...
casts.hh Loading commit data...
common.hh Loading commit data...
escape.cc Loading commit data...
escape.hh Loading commit data...
fixpool.cc Loading commit data...
fixpool.hh Loading commit data...
formater.cc Loading commit data...
formater.hh Loading commit data...
game.cc Loading commit data...
game.hh Loading commit data...
hash.hh Loading commit data...
hashfunc.hh Loading commit data...
intvcmp2.cc Loading commit data...
intvcmp2.hh Loading commit data...
intvcomp.cc Loading commit data...
intvcomp.hh Loading commit data...
location.hh Loading commit data...
ltstr.hh Loading commit data...
memusage.cc Loading commit data...
memusage.hh Loading commit data...
minato.cc Loading commit data...
minato.hh Loading commit data...
mspool.hh Loading commit data...
optionmap.cc Loading commit data...
optionmap.hh Loading commit data...
position.hh Loading commit data...
random.cc Loading commit data...
random.hh Loading commit data...
satsolver.cc Loading commit data...
satsolver.hh Loading commit data...
timer.cc Loading commit data...
timer.hh Loading commit data...
tmpfile.cc Loading commit data...
tmpfile.hh Loading commit data...
trival.hh Loading commit data...
version.cc Loading commit data...
version.hh Loading commit data...