Home My Page Projects Mr. Waffles
Summary Activity Tracker SCM Files

Project Filelist for Mr. Waffles

File Release Notes and Changelog

Release Name: 9.07

Release Notes
Experimental version
- supports reverse CTL operators
- supports free variables in CTL formulas
- supports EG operator over finite paths
Change Log
First release