[PPL-devel] IntegerAnalysis/strings abstract_data.c abstra ...

[Roberto Bagnara]

CVSROOT:	/cvs/cssv
Module name:	IntegerAnalysis
Changes by:	roberto at 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.