July 2003 - PPL-devel - BUGSENG Mailman

IntegerAnalysis/strings analysis.c analysis.h ...
by Roberto Bagnara 20 Jul '03

20 Jul '03

CVSROOT: /cvs/cssv Module name: IntegerAnalysis Changes by: roberto(a)spartacus.cs.unipr.it 03/07/20 23:14:49 Modified files: strings : analysis.c analysis.h cfg.h graph.h liveness.c liveness.h main.c table.h Log message: Changes to allow compilation with GCC.

1 0

ppl config.guess config.sub
by Roberto Bagnara 20 Jul '03

20 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-20 12:30:18 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 18 Jul '03

18 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-18 22:10:54 Modified files: doc : definitions.dox Log message: Citations fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh
by Roberto Bagnara 18 Jul '03

18 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-18 22:10:29 Modified files: src : AskTell.defs.hh AskTell.inlines.hh Log message: Entry point for AskTell<CS>::H79_extrapolation_assign() added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 18 Jul '03

18 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-18 22:01:36 Modified files: src : algorithms.hh Log message: poly_hull_assign_if_exact() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 18 Jul '03

18 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-18 21:55:47 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Polyhedra_PowerSet<PH>::collapse() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

IntegerAnalysis/strings VECTOR.C VECTOR.H
by Roberto Bagnara 18 Jul '03

18 Jul '03

CVSROOT: /cvs/cssv Module name: IntegerAnalysis Changes by: roberto(a)spartacus.cs.unipr.it 03/07/18 15:26:15 Removed files: strings : VECTOR.C VECTOR.H Log message: Forgot to remove them before.

1 0

IntegerAnalysis/strings abstract_data.c abstra ...
by Roberto Bagnara 18 Jul '03

18 Jul '03

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

1 0

Import
by Roberto Bagnara 18 Jul '03

18 Jul '03

CVSROOT: /cvs/cssv Module name: IntegerAnalysis Changes by: roberto(a)spartacus.cs.unipr.it 03/07/18 10:13:10 Log message: As Received from Nurit Dor. Status: Vendor Tag: ND Release Tags: INIT N IntegerAnalysis/testcases/bare.annot.tvp N IntegerAnalysis/testcases/bare.tvp N IntegerAnalysis/testcases/insert_long.annot.tvp N IntegerAnalysis/testcases/insert_long.doesntWork.tvp N IntegerAnalysis/testcases/insert_long.tvp N IntegerAnalysis/testcases/whole.annot.tvp N IntegerAnalysis/testcases/whole.tvp N IntegerAnalysis/testcases/insert_long.tvp.log N IntegerAnalysis/testcases/final.txt N IntegerAnalysis/testcases/insert_long.tvp.dt N IntegerAnalysis/testcases/insert_long.tvp.stat N IntegerAnalysis/strings/symbol.h N IntegerAnalysis/strings/VECTOR.H N IntegerAnalysis/strings/BIT.H N IntegerAnalysis/strings/CHERNI.C N IntegerAnalysis/strings/CHERNI.H N IntegerAnalysis/strings/COMMON.C N IntegerAnalysis/strings/COMMON.H N IntegerAnalysis/strings/GINT.C N IntegerAnalysis/strings/GINT.H N IntegerAnalysis/strings/MATRIX.C N IntegerAnalysis/strings/MATRIX.H N IntegerAnalysis/strings/graph.c N IntegerAnalysis/strings/POLY.H N IntegerAnalysis/strings/SATMAT.C N IntegerAnalysis/strings/SATMAT.H N IntegerAnalysis/strings/POLY.C N IntegerAnalysis/strings/VECTOR.C N IntegerAnalysis/strings/BIT.C N IntegerAnalysis/strings/frontend.lex N IntegerAnalysis/strings/liveness.h N IntegerAnalysis/strings/util.c N IntegerAnalysis/strings/cfg.h N IntegerAnalysis/strings/set.y.h N IntegerAnalysis/strings/util.h N IntegerAnalysis/strings/graph.h N IntegerAnalysis/strings/set.y N IntegerAnalysis/strings/symbol.c N IntegerAnalysis/strings/table.h N IntegerAnalysis/strings/main.c N IntegerAnalysis/strings/vars.c N IntegerAnalysis/strings/set.lex N IntegerAnalysis/strings/strings.dsp N IntegerAnalysis/strings/analysis.h N IntegerAnalysis/strings/frontend_grammer.h N IntegerAnalysis/strings/liveness.c N IntegerAnalysis/strings/table.c N IntegerAnalysis/strings/analysis.c N IntegerAnalysis/strings/cfg.c N IntegerAnalysis/strings/function.h N IntegerAnalysis/strings/strings.plg N IntegerAnalysis/strings/vars.h N IntegerAnalysis/strings/functions.c N IntegerAnalysis/strings/poly_interface.c N IntegerAnalysis/strings/strings.dsw N IntegerAnalysis/strings/abstract_data.c N IntegerAnalysis/strings/abstract_data.h N IntegerAnalysis/strings/poly_interface.h N IntegerAnalysis/strings/strings.mak N IntegerAnalysis/strings/strings.dep N IntegerAnalysis/strings/weakest_precndition.c N IntegerAnalysis/strings/frontend_grammer.y N IntegerAnalysis/strings/strings.opt N IntegerAnalysis/strings/set.y.output N IntegerAnalysis/strings/set.y.c N IntegerAnalysis/strings/set.lex.c N IntegerAnalysis/strings/frontend_grammer.output N IntegerAnalysis/strings/frontend.c N IntegerAnalysis/strings/frontend_grammer.c N IntegerAnalysis/strings/strings.ncb No conflicts created by this import

1 0

w3ppl/htdocs FAQ.raw Documentation/Q_and_A.raw
by Roberto Bagnara 16 Jul '03

16 Jul '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-07-16 19:50:18 Added files: htdocs : FAQ.raw Removed files: htdocs/Documentation: Q_and_A.raw Log message: First attempt at a FAQ page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Q_and_…

1 0