-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlscan.ll: Parse "inf" as OP_UNBOUNDED. * src/ltltest/equals.test: Add some tests. * doc/tl/tl.tex: Document it.
dd527689
* src/ltlparse/ltlscan.ll: Parse "inf" as OP_UNBOUNDED. * src/ltltest/equals.test: Add some tests. * doc/tl/tl.tex: Document it.