Block or report user

Popular repositories

  1. gnonograms

    Automatically exported from


  2. libgprlang

    Parser based analyis library for AdaCore gpr language, including indentation engine for Emacs


  3. langkit

    Forked from AdaCore/langkit

    Language creation framework.


10 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in AdaCore/langkit that received 8 comments

add argument --no-path to suppress -gnatef

langkit/ (ManageScript.init): add argument --no-path ( use --no-path to suppress -gnatef This allows using…

Created an issue in AdaCore/langkit that received 2 comments

GNAT GPL 2016 encounters a GNAT BUG

Generating source for libgprlang ... Generation complete! Building the generated source code ... gcc -c -fPIC -gnatwa -gnatyg -g -O0 -gnatwe -gnata…

Seeing something unexpected? Take a look at the GitHub profile guide.