kframework/k — pull request #338 by andreiarusoaie (2014-04-07 08:40:55+00:00)
Title: LTL and symbolic backend: fixing the 'ltl' attribute issue for rules.

Implemented a feature which allows the LTL model-checker to work together with the symbolic backend.
@dwightguth Please review.
@dlucanu Please review.