commit to merge
Full implementation of the known set with states
Wrappers for known set functions that use channels
compile output that completely compiles
test modification
commit to merege
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
correction on copy_value signature
copy value bug fix
test fix
merge
some bug fixzs over value and known set
changing the signature of channel_dec_ref_count and addind a channel foreach
quick fix with some initializations