epfl-lara/leon — pull request #41 by colder (2013-10-03 14:54:06+00:00)
Title: Topic/termination

Implement improved termination reasonning