[Pkg-julia-devel] DM application of Peter Colberg
Peter Colberg
peter at colberg.org
Tue Jun 21 15:33:45 UTC 2016
On Tue, Jun 21, 2016 at 08:17:31AM +0200, Graham Inggs wrote:
> Can I grant you upload permissions for openlibm and openspecfun?
That would be nice, then I will upload all three packages once ready.
> As far as I know, it is goto-cc from the cbmc package.
> I have used it in the past with simpler packages, but I didn't manage
> to build Julia with it. It was easier just to ask Michael! He
> usually responds quickly.
Thanks for pointing that out. I might try goto-cc sometime.
Peter
More information about the Pkg-julia-devel
mailing list