Brave Codemonkeys!

[Markus Gerstner]

Hi our Heroes of Coding,

we appreciate your work and the many commits in the repository.
But the code can still not be compiled at this moment.

could you give us an update, what you are working on and how long this will
take?

best wishes
Markus & Antal & Stephan

[Thomas Reinbacher]

Hi,

it did not compile on my side either. In the current working copy (191) i had to comment the last two lines of the function

ASTVisitorUnwinder::ASTVisitorUnwinder(int maxloops, ProgramNode *prgm) {

to make it work.

Maybe this helps ;)

Another thing:

i work on a new main bmc.cpp where we can put our entry functions to our group codes, but i didn't checked it in, i still have some dependencies i have to resolve. So basically, the bmc.cpp will be much more cleaned up afterwards, so pls. do not make any big effort to rework that particular file, as i already updated it.

thomas

[prem chand]

Hi.... this is Premchand .. group 2...

 My commitments are under the name .. .NUTAKKI ... I am working on ASTVisitorUnwinder.cpp and some functions related to it...

The project is compiling when some files from group 3 are removed--- some problem with yices.... 197 is my version and its working  in my system... so if u are group 3 try to do something about it.. Also, the project is compiling for some and not for others... so its also confusing...

[Thomas Reinbacher]

@ prem

im not of group3, but you have a yices version, that fits your computer architecture.

right now, yices is only for LINUX not windows, on linux you have to take care if you have a32 of 64 bit machine. see my mail from the other day.

[Rainer Schuster]

Hi!

One build error came from a wrong include in the last commits
(<iostream.h> instead of <iostream>).
I personally use Ubuntu 10.04 64 Bit but I also have build problems
because yices cannot be found (altough I changed the includes etc.
mentioned in a previous mail). The error message is:

Building target: CAV-LU-BMC
Invoking: GCC C++ Linker
g++ -L"/home/me/workspace/antlr-runtime/lib"
-L"/home/me/workspace/cavlu_10/CAV-LU-BMC/src/yices-1.0.28_X64/lib"
-o"CAV-LU-BMC" ./src/bmc.o ./src/Parser/BMCAstGenerator.o
./src/Parser/BMCLexer.o ./src/Parser/BMCParser.o
./src/Parser/PrettyPrintVisitor.o ./src/Options/OptionItem.o
./src/Options/Options.o ./src/IR-Objects/Action.o
./src/IR-Objects/AssignConstant.o ./src/IR-Objects/AssignDiff.o
./src/IR-Objects/AssignSum.o ./src/IR-Objects/AssignVariable.o
./src/IR-Objects/Assume.o ./src/IR-Objects/ConstantAssignment.o
./src/IR-Objects/Dec.o ./src/IR-Objects/Inc.o ./src/IR-Objects/State.o
./src/IR-Objects/Transition.o ./src/IR-Objects/VariableAssignment.o
./src/IR-Objects/VisitTransform.o ./src/IR-Objects/Visitor.o
./src/IR-Objects/Zero.o ./src/IR-Objects/emptyAction.o
./src/IR-Objects/unwind.o ./src/Group3/Action.o ./src/Group3/Assume.o
./src/Group3/Dec.o ./src/Group3/Group3.o ./src/Group3/Identifier.o
./src/Group3/Inc.o ./src/Group3/State.o ./src/Group3/Transition.o
./src/Group3/Yiceshandler.o ./src/Group3/Zero.o
./src/AST-Testcases/Testcases.o ./src/AST-Objects/ASTVisitor.o
./src/AST-Objects/ASTVisitorUnwinder.o ./src/AST-Objects/AddNode.o
./src/AST-Objects/AssertNode.o ./src/AST-Objects/AssignConstant.o
./src/AST-Objects/AssignExpression.o
./src/AST-Objects/AssignVariable.o ./src/AST-Objects/AssignmentNode.o
./src/AST-Objects/BaseNode.o ./src/AST-Objects/BooleanExpression.o
./src/AST-Objects/ConstantIdentifier.o ./src/AST-Objects/DecNode.o
./src/AST-Objects/EqNode.o ./src/AST-Objects/ExpressionNode.o
./src/AST-Objects/Identifier.o ./src/AST-Objects/IncNode.o
./src/AST-Objects/IntegerExpression.o ./src/AST-Objects/NeqNode.o
./src/AST-Objects/NodeFactory.o ./src/AST-Objects/ProgramNode.o
./src/AST-Objects/StatementNode.o ./src/AST-Objects/SubNode.o
./src/AST-Objects/VariableIdentifier.o ./src/AST-Objects/WhileNode.o
-lantlr -lyices
/usr/bin/ld: cannot find -lyices
collect2: ld returned 1 exit status
make: *** [CAV-LU-BMC] Error 1

Maybe this is because the lib directory of x64 is empty.

Best regards
Rainer

On Tue, Sep 7, 2010 at 4:47 PM, Thomas Reinbacher

[Thomas Reinbacher]

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