User Activity

  • Committed [f3b249]

    Update more copyright years to 2017

  • Committed [94fd57]

    Replace API calls by local calls

  • Committed [b58294]

    - Added tests for specializing predicate variab...

  • Committed [361620]

    Improve debug image of Specialization

  • Committed [311753]

    Extract the formula rewriter to a separate class

  • Committed [1aa3e1]

    Change return type of FreeIdentifier.toType()

  • Committed [18d7d5]

    Implement side-effect for predicate variable su...

  • Committed [ad28a1]

    Add missing test about type expression substitu...

View All

Personal Data

Username:
lvoisin
Joined:
2004-05-14 12:43:58

Projects

  • Project Logo RODIN   Last Updated:

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks