commit to merge
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
restored some macro and fix in string_value free and knowset_add
added the creation of the static pirt library in the Makefile
Fix indent in known set and unmaintained documentation
completed sched master
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
corrections on knownset
added std_gc_fuel quick_gc_fuel and active factor on the main entry point
Merge branch 'dev' of https://github.com/mickael-menu/libpirt into dev
values on stack
commit_test fix
fix on equals and tests on values
less than and modulo primitives
completing gc.c
some gc2 corrections
corrections on gc2
correction of commit_list_remove
Update the README