User Activity

  • Committed [8d42bd]

    Loop abstraction mode added.

  • Committed [047f58]

    Final version of Looperman 2 for fmcad 18.

  • Committed [2c7584]

    a new generation of Looperman 2

  • Committed [663098]

    working version

  • Committed [d6ce66]

    maybe the final working version of Looperman 2? :-)

  • Committed [5a839d]

    looperman 2 now works buglessly on sv-comp/loops/loops-invgen

  • Committed [5cf179]

    Looperman 2 Preprocessing finished

  • Committed [b97d65]

    Looperman 2 with almost working invariant instrumentation.

View All

Personal Data

Username:
pavelcadek
Joined:
2014-06-12 20:49:33

Projects

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

  • bugst Do you want to implement your new program analysis quicky? Use bugst! Last Updated:

Personal Tools

auth0 logo