Groups
Sign in
Groups
cav-group-3
Conversations
About
Send feedback
Help
cav-group-3
Contact owners and managers
1–25 of 25
Mark all as read
Report group
0 selected
Wolfgang Miedl
,
Antal Vilmos Kern
4
10/21/10
Rewriting Additions/Substractions -- still necessary?
unread,
Rewriting Additions/Substractions -- still necessary?
10/21/10
Antal Vilmos Kern
,
Michael Tautschnig
2
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
who is left
Hi group2, who is left and who is in vienna? my telephone number: 0680 12 630 84 mfg markus
unread,
who is left
Hi group2, who is left and who is in vienna? my telephone number: 0680 12 630 84 mfg markus
9/25/10
Carolyn Oates
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
Carolyn Oates
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
Carolyn Oates
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
Status Update
Hi there, I wonder what is the current status of our project. The SVN info tells me that the last
unread,
Status Update
Hi there, I wonder what is the current status of our project. The SVN info tells me that the last
9/20/10
Carolyn Oates
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 Riener
4
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
Martin Riener
9/12/10
Status update
Hi everybody! The bugs in the unwinder should (hopefully) be fixed. You can get the graph in dot/
unread,
Status update
Hi everybody! The bugs in the unwinder should (hopefully) be fixed. You can get the graph in dot/
9/12/10
Markus Gerstner
, …
Martin Riener
6
9/11/10
Please STOP
On 09/11/2010 07:24 PM, Antal Vilmos Kern wrote: > Dear Group 2, > > we have bound your
unread,
Please STOP
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
we need
State: we need a statenumber variable: we need the variable number, and not the version, we evaluate
unread,
we need
State: we need a statenumber variable: we need the variable number, and not the version, we evaluate
9/9/10
gk
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 Reinbacher
2
9/9/10
hi
Im free till 4 pm, if we meet at TU its fine. all the best, Thomas ===*===*===*===*===*===*===*===*==
unread,
hi
Im free till 4 pm, if we meet at TU its fine. all the best, Thomas ===*===*===*===*===*===*===*===*==
9/9/10
Thomas Reinbacher
2
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
Wolfgang Miedl
9/8/10
bmc.cpp
Dear everyone, the new structure for bmc.cpp -- as agreed on in the last meeting -- is now in the SVN
unread,
bmc.cpp
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 chand
4
9/8/10
Update
Now it should be working .... I added a new file to unwind the tree as requested by group3, but it
unread,
Update
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 chand
2
9/8/10
update
Hi, Thanks for the update... But we have created the unwinder that produces the tree with ur classes.
unread,
update
Hi, Thanks for the update... But we have created the unwinder that produces the tree with ur classes.
9/8/10
prem chand
9/7/10
Hi...
hi, I guess the progress of group2 is goin at a good speed, but now Debugging and testing are
unread,
Hi...
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 Reinbacher
6
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
Carolyn Oates
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 Sisel
6
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 Kern
3
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