Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Merge branch 'master' into next · d2597854
    Alexandre Duret-Lutz authored 
    Conflicts:
	NEWS
	configure.ac
	src/kripketest/bad_parsing.test
	src/ltltest/reduccmp.test
	src/neverparse/neverclaimscan.ll
	src/tgba/futurecondcol.cc
	src/tgba/tgbasafracomplement.cc
	src/tgbaalgos/hoa.cc
	src/tgbaalgos/ltl2tgba_fm.cc
	src/tgbatest/neverclaimread.test
	src/tgbatest/readsave.test
    d2597854
To find the state of this project's repository at the time of any of these versions, check out the tags.