User Activity

  • Committed [522e9b]

    Set PSCEL Feature for plug-in

  • Committed [08073a]

    Finalised Plugin and Main Generation

  • Committed [3b8dcd]

    Add validity check for Alg connection

  • Committed [64f0f4]

    Finalised SMTLIB Genaration

  • Committed [fd1425]

    Minor type in import declaration of generated code

  • Committed [212416]

    Beta Z3 main for Graph Creation

  • Committed [263780]

    Minor typo on policy translation

  • Committed [97462a]

    Draft Z3 Runtime for PolicyFlow graph calculation

View All

Personal Data

Username:
andmargh
Joined:
2014-03-23 15:26:45
Location:
Italy / CET
Gender:
Male

Projects

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

Personal Tools