-- Robby (2013-05-02)
>>>> PS: We are still in the process of making a distribution for the
>>>> toolset so that you can easily install it in your machine.
>>>> gnat2xml (hence, our translators) depend on a certain "development"
>>>> wavefront/version of GNAT Pro
>> We have posted an updated Sireum Bakar documentation that includes
> tool installation as well as development environment setup at:
>>http://sireum.github.io/doc/bakar/
Already? Great! I'll try it as soon as I get a free slot. (tonight? ;))
--
Yannick Moy, Senior Software Engineer, AdaCore