Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

User Activity

  • Committed [r5706]

    Integrated changes from trunk; note that Checki...

  • Committed [r5705]

    Improved forest layout after change in LTS filter

  • Committed [r5704]

    Removed some spurious asserts

  • Committed [r5703]

    Removed some spurious asserts

  • Committed [r5702]

    Refactored the storage of exploration results

  • Committed [r5701]

    let: in cnew:-node interpreted correctly

  • Committed [r5700]

    Re-established correct temporal operator preced...

  • Committed [r5699]

    Re-established correct temporal operator preced...

View All

Personal Data

Username:
rensink
Joined:
2004-09-18 08:24:28
Location:
CEST
Gender:
Male

Projects

  • Project Logo BenchmarX A Benchmark Suite for Bidirectional Transformation Last Updated:
  • Project Logo Groove   Last Updated:

Skills

  • No skills entered.

Personal Tools