User Activity

  • Committed [238af0] on Git

    dm_receive clean more SPARK warnings.

  • Committed [9affb4] on Git

    dm_receive

  • Committed [0a079b] on Git

    dm_receive add Expect and SPARK

  • Committed [c578a5] on Code

    dm_receive update DM16L.CoolTermSettings

  • Committed [1b1ec5] on Git

    dm_receive try gnatprove level 1 first.

  • Committed [8a6a2c] on Git

    dm_receive clean up and set gnatprove version.

  • Committed [a5a837] on Git

    dm_receive prove and test.

  • Committed [960671] on Git

    dm_receive pretty print.

View All

Personal Data

Username:
krischik
Joined:
2003-01-26 17:00:21
Location:
Bern / Switzerland / CEST
Gender:
Male

Projects

This is a list of open source software projects that Martin Krischik is associated with:

Skills

This is a list of skills that Martin Krischik possesses:

  • User Interface
  • Java Swing
  • Ada
  • Java
  • Kotlin

Personal Tools