letonchanh/dynamite

A dynamic analyzer for proving program termination and non-termination.

Language: Roff - Size: 44.4 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 4