• Guillaume Sadegh's avatar
    Fix copyrights. · 3a974d61
    Guillaume Sadegh authored
    * bench/Makefile.am, bench/gspn-ssp/Makefile.am,
    bench/gspn-ssp/defs.in, bench/scc-stats/Makefile.am,
    bench/split-product/Makefile.am, configure.ac,
    iface/Makefile.am, iface/gspn/Makefile.am, iface/gspn/ssp.hh,
    iface/nips/Makefile.am, iface/nips/common.cc,
    iface/nips/common.hh, iface/nips/dottynips.cc,
    iface/nips/nips.cc, iface/nips/nips.hh, src/Makefile.am,
    src/eltlparse/Makefile.am, src/eltlparse/eltlparse.yy,
    src/eltlparse/eltlscan.ll, src/eltlparse/fmterror.cc,
    src/eltlparse/parsedecl.hh, src/eltltest/Makefile.am,
    src/eltltest/defs.in, src/eltltest/nfa.cc, src/evtgba/evtgba.hh,
    src/evtgba/product.cc, src/evtgba/product.hh,
    src/evtgbaalgos/tgba2evtgba.cc, src/evtgbaparse/Makefile.am,
    src/evtgbaparse/evtgbaparse.yy, src/evtgbatest/defs.in,
    src/evtgbatest/explicit.test, src/evtgbatest/ltl2evtgba.cc,
    src/evtgbatest/ltl2evtgba.test, src/evtgbatest/product.cc,
    src/evtgbatest/product.test, src/evtgbatest/readsave.cc,
    src/evtgbatest/readsave.test, src/ltlast/atomic_prop.cc,
    src/ltlast/atomic_p...
    3a974d61
tgba.hh 9.61 KB