8 Jan
2003
8 Jan
'03
11:23 a.m.
CVSROOT: /cvs/alv Module name: composite Changes by: roberto@spartacus.cs.unipr.it 03/01/08 11:23:16
Modified files: obj-linux : Makefile parser : parser.y predabs : AbsAction.h AbsSpec.cc AbsSpec.h AbsUtil.cc AbsUtil.h symbolic : CompSym.c IntSym.c Symbolic.h verifier : TransSys.c
Log message: Changes to allow compilation with a (more or less) standard conforming C++ compiler.