My favorites | Sign in
Project Home Downloads Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
ChangeLog  

Featured
Updated Jul 28, 2013 by csyly...@gmail.com

mipa-1.3.3

* support surface of lattice
* support RE
* support CTL
* support sliding windows

mipa-1.3.2

* support unregistering predicate
* support sequence

* refactor API

mipa-1.3.1

* support wcp
* support lattice
* take naming as a service in MIPA.
* support real mode message passing (without message dispatcher).

mipa-1.2.1

* support sensors plug-in.

mipa-0.5

* support OGA checking algorithm.

mipa-0.2

* support hierarchy checkers.
* support random delay message passing.

mipa-0.1

* first version.
Powered by Google Project Hosting