User Activity

  • Committed [r340]

    Added automatic detection of implemented variab...

  • Committed [r338]

    Fixed a bug which added wrong preconditions to ...

  • Committed [r337]

    Created a visitor for predefined refinement B0_...

  • Committed [r324]

    Add a powerpoint documentation of BART which is...

  • Committed [r323]

    Created a Visitor to add typing predicates in w...

  • Committed [r322]

    Adding conditions of well defineness (function ...

  • Committed [r321]

    Added automatic typing of modified local variab...

  • Committed [r317]

    Updated the documentions according to last modi...

View All

Personal Data

Username:
deschampsf
Joined:
2014-04-09 09:22:56

Projects

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

Personal Tools