GitLab

        For issue #14

          initializer.

          __PO_HI_DEBUG_DEBUG into __PO_HI_DEBUG_CRITICAL to report
          actual errors at run-time

          For issue #12

          TASTE repository

          that returns the id of the current task

    For issue #11

        Backported from TASTE rev7748

        Backported from TASTE rev7748

          are not support by compcert (as of 1.12)

	For issue #10

        For issue #9

        Some clean up in code

        Part of issue #5

          optional boost detection

	  For issue #8