update pingpong test
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
bug fix on knownset
minor bug fix on commit
added test on values
bug fix on commits
merge
added free methods to knownset
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
quick fix in channel creation
merge with Dany
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
sone bug fixes and run_test update
KnownsSet => KnownSet
Merge branch 'dev' of http://github.com/mickael-menu/libpirt into dev
some contract + KnownsState => KnownState
some contracts + doxygen on knownsets
some contracts + doxygen on knownsets