The structures documentation
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
doc for pi_trread structs
corrections in the documentation comments
small fix in check_commits and check_pithread comments
Correct mutex implementation
Added doxygen comments for invariants in the commitment structure
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
Added doxygen comments for invariants in the commitment structure
Add missing symbols and symbols.h
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
Add missing KnowsSet functions
Add PICC_commit_list_is_empty()
Added doxygen comments for pre and post conditions for functions regarding commitments
Added doxygen comments for pre and post conditions for functions regarding commitments
Add missing signatures ReleaseAllChannels and LowLevelYield
Added some tests
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
corrections and complements on the documentation
another correction on the documentation