User Activity

  • Created ticket #756 on RODIN

    null reasoner input

  • Posted a comment on merge request #2 on RODIN

    Sebastian, your request has finally been merged manually in the master branch and...

  • Committed [a76ecc]

    Remove remaining dead code from Core SMT plug-in

  • Committed [52ce13]

    Remove Java version from fragments without Java

  • Committed [fe2a72]

    Store an executable Z3 in Git

  • Committed [c7f34c]

    Replace assertTrue by fail

  • Committed [389a30]

    Remove optimization options for SMTThroughPP.

  • Posted a comment on ticket #28 on RODIN

    The lists of rules implemented in the core prover of Rodin are available from the...

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