Groups

cav-group-3

1–25 of 25

0 selected

Wolfgang Miedl, Antal Vilmos Kern4

10/21/10

Rewriting Additions/Substractions -- still necessary?

unread,

Rewriting Additions/Substractions -- still necessary?

10/21/10

Antal Vilmos Kern, Michael Tautschnig2

9/29/10

Re: CAV LU - Closing

> Sehr geehrter Herr Tautschnig, > wir haben unser Feedback und Dokumentation in die SVN

unread,

Re: CAV LU - Closing

> Sehr geehrter Herr Tautschnig, > wir haben unser Feedback und Dokumentation in die SVN

9/29/10

Markus Gerstner

9/25/10

Hi group2, who is left and who is in vienna? my telephone number: 0680 12 630 84 mfg markus

unread,

Hi group2, who is left and who is in vienna? my telephone number: 0680 12 630 84 mfg markus

9/25/10

9/24/10

.cproject Update

Dear CAV LUers left, Please do an update (not a merge) of .cproject file. Please do NOT commit your

unread,

.cproject Update

Dear CAV LUers left, Please do an update (not a merge) of .cproject file. Please do NOT commit your

9/24/10

9/24/10

Re: .cproject file with hardcoded file name

Dear Markus Gerstner, In answer to your email: my mobile # is 699-10889921 for the future- but I am

unread,

Re: .cproject file with hardcoded file name

Dear Markus Gerstner, In answer to your email: my mobile # is 699-10889921 for the future- but I am

9/24/10

9/23/10

.cproject= right eclipse settings

Attached is a .cproject Ubuntu 32-bit. (Had to rename it to attach it.) Please test / try this.

unread,

.cproject= right eclipse settings

Attached is a .cproject Ubuntu 32-bit. (Had to rename it to attach it.) Please test / try this.

9/23/10

Thomas Reinbacher

9/20/10

Hi there, I wonder what is the current status of our project. The SVN info tells me that the last

unread,

Hi there, I wonder what is the current status of our project. The SVN info tells me that the last

9/20/10

9/17/10

Testing - adding 1 more country

Hi, I will be in the US for a couple weeks. I should be back online Sun. Carolyn

unread,

Testing - adding 1 more country

Hi, I will be in the US for a couple weeks. I should be back online Sun. Carolyn

9/17/10

Thomas Reinbacher

9/15/10

Rev. 296 does Not compile

Hi Grp3, What is your status? Today morning i checked out rev. 296 and found out the the code in the

unread,

Rev. 296 does Not compile

Hi Grp3, What is your status? Today morning i checked out rev. 296 and found out the the code in the

9/15/10

Markus Gerstner, … Martin Riener4

9/13/10

started to debug

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

unread,

started to debug

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

9/13/10

9/12/10

Hi everybody! The bugs in the unwinder should (hopefully) be fixed. You can get the graph in dot/

unread,

Hi everybody! The bugs in the unwinder should (hopefully) be fixed. You can get the graph in dot/

9/12/10

Markus Gerstner, … Martin Riener6

9/11/10

On 09/11/2010 07:24 PM, Antal Vilmos Kern wrote: > Dear Group 2, > > we have bound your

unread,

On 09/11/2010 07:24 PM, Antal Vilmos Kern wrote: > Dear Group 2, > > we have bound your

9/11/10

Markus Gerstner

9/9/10

State: we need a statenumber variable: we need the variable number, and not the version, we evaluate

unread,

State: we need a statenumber variable: we need the variable number, and not the version, we evaluate

9/9/10

9/9/10

Re: Changing + and - to succ and pred

Dear everyone, i'm writing this to all three groups, since it concers all of us and i'd like

unread,

Re: Changing + and - to succ and pred

Dear everyone, i'm writing this to all three groups, since it concers all of us and i'd like

9/9/10

prem chand, Thomas Reinbacher2

9/9/10

Im free till 4 pm, if we meet at TU its fine. all the best, Thomas ===*===*===*===*===*===*===*===*==

unread,

Im free till 4 pm, if we meet at TU its fine. all the best, Thomas ===*===*===*===*===*===*===*===*==

9/9/10

Thomas Reinbacher2

9/9/10

Submission: Finally connecting the things

Pls. answer to this mail, i had the wrong mail group for team2... Hi Group2 and Group3! It's

unread,

Submission: Finally connecting the things

Pls. answer to this mail, i had the wrong mail group for team2... Hi Group2 and Group3! It's

9/9/10

9/8/10

Dear everyone, the new structure for bmc.cpp -- as agreed on in the last meeting -- is now in the SVN

unread,

Dear everyone, the new structure for bmc.cpp -- as agreed on in the last meeting -- is now in the SVN

9/8/10

Markus Gerstner, … prem chand4

9/8/10

Now it should be working .... I added a new file to unwind the tree as requested by group3, but it

unread,

Now it should be working .... I added a new file to unwind the tree as requested by group3, but it

9/8/10

Antal Vilmos Kern, prem chand2

9/8/10

Hi, Thanks for the update... But we have created the unwinder that produces the tree with ur classes.

unread,

Hi, Thanks for the update... But we have created the unwinder that produces the tree with ur classes.

9/8/10

9/7/10

hi, I guess the progress of group2 is goin at a good speed, but now Debugging and testing are

unread,

hi, I guess the progress of group2 is goin at a good speed, but now Debugging and testing are

9/7/10

Markus Gerstner, … Thomas Reinbacher6

9/7/10

Brave Codemonkeys!

somehow my latest checkin did not put the lib into the svn. sry. now its in. pls. try again. On 7

unread,

Brave Codemonkeys!

somehow my latest checkin did not put the lib into the svn. sry. now its in. pls. try again. On 7

9/7/10

Thomas Reinbacher

9/6/10

Yices support for X64 architecture

Hi there, Right now, we use the x32 library for yices, ie, those of use who are working on a X64

unread,

Yices support for X64 architecture

Hi there, Right now, we use the x32 library for yices, ie, those of use who are working on a X64

9/6/10

9/1/10

Meeting summary

Team 1 - 4 of 5 - Christian still in Egypt (?) Team 2 - 2 present Rainer, Martin + 2 in SkyPe (Italy,

unread,

Meeting summary

Team 1 - 4 of 5 - Christian still in Egypt (?) Team 2 - 2 present Rainer, Martin + 2 in SkyPe (Italy,

9/1/10

Martin Riener, … Tanja Sisel6

8/31/10

Re: [cav-group2] final(?) meeting

The G�del Seminarraum is Favoritenstr.9. The entrance is directly from the yard (on the left side).

unread,

Re: [cav-group2] final(?) meeting

The G�del Seminarraum is Favoritenstr.9. The entrance is directly from the yard (on the left side).

8/31/10

Antal Vilmos Kern, … Antal Kern3

8/28/10

Re: Gruppe3 -> Gruppe2

---------- Forwarded message ---------- From: Martin Riener <martin...@googlemail.com> Date

unread,

Re: Gruppe3 -> Gruppe2

---------- Forwarded message ---------- From: Martin Riener <martin...@googlemail.com> Date

8/28/10

Search

Clear search

Close search

Google apps

Main menu