User Activity

  • Committed [r9666]

    - added comment for future fixes

  • Committed [r9665]

    - grammar fix

  • Committed [r9664]

    - merge

  • Committed [r9663]

    - merge

  • Committed [r9662]

    - correctly translate conditional literals (again)

  • Created ticket #109 on Potassco

    Incorrect translation of conditional literals into lparse format in gringo 4.5.{0,1,2} (regression)

  • Modified ticket #108 on Potassco

    Memory Leak in Python Module (when using Model objects)

  • Posted a comment on ticket #108 on Potassco

    fixed in 4.5.2

View All

Personal Data

Username:
rkaminski
Joined:
2008-03-14 15:36:31

Projects

  • Project Logo GrinGo   Last Updated:
  • Project Logo Potassco   Last Updated:

Skills

  • No skills entered.

Personal Tools