fredokun/libpirt — pull request #3 by mickael-menu (2013-02-25 10:29:42+00:00)
Title: Third release

Among contributions:

- Atomic values
- Separation between public and private declarations and type representations (*_repr.h)
- New macros for separating pre, post and invariants in contracts
- Various corrections guided by previous pull request comments