Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
added tuples implementation and test
added tuples and tests
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
fixed bug with commitments
fixed bug with commitments
hello world fix
correction of the concurency problem on queue invariants
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
deleted pt.chans
corrections after merge
fixed some bugs on gc (not all)
merge
some more bug fixes on gc (still not all)
correction of all the seen bugs on gc
fixed a bug on the scheduler
bug fixex on gc after the eratostene test (some rare failed assertions in multithreading stil persist)
Fix warnings at compilation
Correct wrong commit unit test and fix regression bug in queue.c