Re: CAV LU - Closing
Antal Vilmos Kern
wir haben unser Feedback und Dokumentation in die SVN Repository gestellt
unter /design/team3/.
Mit freundlichen Grüßen
Antal Vilmos Kern
Zitat von Michael Tautschnig <tauts...@forsyte.at>:
> (I hope I'm not stepping on anyone's toes by listing all the email
> addresses in
> here.)
>
> Hi all,
>
> I'd finally like to end this project, even though it might not yet be fully
> working. Please don't panic - although the initial requirement for a positive
> result was a *working* tool, all of the people receiving this email
> shall get a
> (actually fairly good, but the details aren't yet decided) mark on
> this course.
>
> == Participants ==
> Let me first list the people, to be best of my knowledge, actively
> participating
> in this project:
> - Team 1:
> Christian Gruber
> Carolyn Oates
> Wolfgang Miedl
> Tanja Sisel
> Thomas Reinbacher
> - Team 2:
> Martin Riener
> Premchand Nutakki
> Ognjen Savkovic
> Rainer Schuster
> Moritz Sinowatz
> - Team 3:
> Markus Gerstner
> Stephan Krall
> Antal Vilmos Kern
>
> Please let me know if I'm missing someone, or listing someone who was not
> actually active (e.g., Team 2 and Moritz Sinowatz, there might be
> some need for
> debate within your group). Furthermore, it would also be nice if you
> could ask
> around whether all of your group members have received this email (I
> extracted
> the addresses from all kinds of personal communication), and ask
> missing ones to
> contact me.
>
>
> == Current Status ==
> I was trying to grab all the data I could find and as far as I can see the
> status is as follows:
> - Overall:
> * Program compiles fine (even on OS X, I just added the respective
> yices binaries to the repository); thanks a lot for the nice
> instructions in
> GettingStarted.pdf, these are exactly what I had hoped to get.
> * Binary also runs on all the provided examples without crashing, but the
> results seem to be incorrect: Just take the TestCase1.txt, remove the
> pred(), which makes the following while program:
> x0 := 0;
> x0 := succ(x0);
> x1 := 0;
> assert x0 != x1;
> I still get "Program execution path to error state: ..."
>
> - Per Team:
> * Team 1: Source, documentation, feedback are in SVN
> * Team 2: Source, received feedback via email
> * Team 3: Source is in SVN
>
> Unless I overlooked something, I'd ask Teams 2 and 3 to send me (or tell me
> where to find) some documentation that describes what the
> current/final status
> is, i.e., what was implemented, what is still broken. That would be the
> documentation part. Furthermore, and equally important, Team 3 shall provide
> feedback as requested in the last post to the TUWIS Forum; I'm aware you have
> provided feedback in several ways, but I'd like to see all of my questions
> answered.
>
>
> == Next Steps ==
> It would be great if we could arrange for a real life meeting to
> discuss all the
> feedback and to have an option for me to provide you with more detailed
> feedback. One option would be this Wednesday, early afternoon. But as people
> might still be travelling, etc., I've set up a doodle poll with a
> list of time
> slots:
>
> http://doodle.com/wekwct9a4wbdtfdy
>
> I think an hour should be sufficient, so please somehow indicate what time
> within the slots would suit you best. If none of them fits for you, could you
> please send me an email? It would probably be ok if one or two of each group
> cannot participate, but I'd like to see as many of you as possible. Once I we
> have found an timeslot, I'll send another email with further details
> (location,
> agenda).
>
> Although I do accept the current status of the project as the final
> one, I will
> not stop anyone from committing further changes/improvements (I think
> groups 2
> and 3 are still kind of fiddling around with unwinding).
>
> Once I have received the documentation from Team 2 and documentation+feedback
> from Team 3 I will decide on the marks for those two teams.
>
>
> I would like to thank all of you for participating in this project. I
> am aware
> that my way of organizing this course could have been improved in
> various ways,
> and as those issues did affect performance, they shall also
> (inversely) affect
> your marks. It turned out to be kind of a social experiment, and I
> consider it
> both an interesting and successful one, at least as far as I could
> see from the
> feedback I have received thus far. I was also disappointed by some
> aspects, but
> most of them are most likely to be blamed on the curriculum; but that
> I'd really
> like to discuss with you when we meet in real life.
>
> Best regards,
> Michael
>
>
Michael Tautschnig
> wir haben unser Feedback und Dokumentation in die SVN Repository gestellt
> unter /design/team3/.
> Mit freundlichen Grüßen
> Antal Vilmos Kern
>
Super, danke!
Damit habe ich alle Infos von allen Gruppen; im Moment ist der wahrscheinlichste
Termin für ein Meeting der 21.10., ich melde mich dazu aber nochmals.
Viele Grüße,
Michael