Welcome

Welcome! This is the landing page of the wiki for my google summer of code 2016 project.

For the final summary see here

To get an overview about my project, please have a look at the page project proposal

For the current state of the symbolic search have a look on thoughts about the implementation

Our meeting notes.

The current state of the search regarding the psyco examples

This page describes the search architecture and how it is fitted into the jpf environment.

Final results are summed up here.

Feel free to reach out to me, if you are missing any information so far. Maybe I can provide them also in the wiki.