CVSROOT: /cvs/cssv Module name: IntegerAnalysis Changes by: roberto@spartacus.cs.unipr.it 03/07/18 14:35:29 Modified files: strings : abstract_data.c abstract_data.h analysis.c analysis.h cfg.c cfg.h frontend.c frontend.lex frontend_grammer.c frontend_grammer.h frontend_grammer.output frontend_grammer.y function.h functions.c graph.c graph.h liveness.c liveness.h main.c poly_interface.c poly_interface.h set.lex set.lex.c set.y set.y.c set.y.h set.y.output symbol.c symbol.h table.c table.h util.c util.h vars.c vars.h weakest_precndition.c Added files: strings : bit.c bit.h cherni.c cherni.h common.c common.h gint.c gint.h matrix.c matrix.h poly.c poly.h satmat.c satmat.h vector.c vector.h Removed files: strings : BIT.C BIT.H CHERNI.C CHERNI.H COMMON.C COMMON.H GINT.C GINT.H MATRIX.C MATRIX.H POLY.C POLY.H SATMAT.C SATMAT.H Log message: File naming and file formats fixed.