kframework/k — pull request #883 by yilongli (2014-08-27 08:00:56+00:00)
Title: proved tree_to_list_iterative.c

@andreistefanescu please review