[PATCH 0/4] Fix constraint encoding

[Paolo Bonzini]

I fixed and pushed the first four patches, here is what's left
to review.

Paolo Bonzini (4):
  dfa: change meaning of a state context
  dfa: do not use MATCHES_*_CONTEXT directly
  dfa: fix constraint encoding
  dfa: merge calls to SUCCEEDS_IN_CONTEXT

 NEWS                 |    5 ++
 src/dfa.c            |  176 +++++++++++++++++++++++++-------------------------
 tests/spencer1.tests |   12 ++++
 3 files changed, 104 insertions(+), 89 deletions(-)

-- 
1.7.7.6