started to debug

[Markus Gerstner]

more info later

[Thomas Reinbacher]

Hi all,

I extended the getting started by the description of the SVN structure, as requested by the Teaching Assistant. 

Before we finally submit, pls. each group look into the document and extend the existing comments. 

@ prem, i copied the already existing comments from your googledoc into this doc.

cheers,

Thomas (G1)

On 13 September 2010 10:42, Markus Gerstner <e030...@student.tuwien.ac.at> wrote:

more info later

[Martin Riener]

On 09/13/2010 10:42 AM, Markus Gerstner wrote:
>
> more info later
>

hi i fixed a bug in the translation of assume and extended the graphviz
generation to more info. including your change which introduces a
controlled inconsistency in inc statements, the graphs now look like this:

http://xover.mud.at/marty/file2.pdf
http://xover.mud.at/marty/file3.pdf
http://xover.mud.at/marty/file5.pdf

for CAV-LU-B;C/src/Programs/TestCase[235].txt

hope this helps,
Martin

[Martin Riener]

On 09/13/2010 10:42 AM, Markus Gerstner wrote:
>
> more info later
>

fixed your compile errors... don't forget to include stdio.h ^^
btw: asking questions in emails instead of c++ comments is faster ;-)

Martin