- PPL-devel - BUGSENG Mailman

CVS tag event: /cvs/ppl/ppl/src
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/src Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: AskTell.defs.hh Revision: 1.10 File: AskTell.inlines.hh Revision: 1.10 File: AskTell.types.hh Revision: 1.3 File: BoundingBox.cc Revision: 1.4 File: BoundingBox.defs.hh Revision: 1.8 File: BoundingBox.inlines.hh Revision: 1.6 File: BoundingBox.types.hh Revision: 1.4 File: C_Polyhedron.cc Revision: 1.3 File: C_Polyhedron.defs.hh Revision: 1.18 File: C_Polyhedron.inlines.hh Revision: 1.12 File: C_Polyhedron.types.hh Revision: 1.5 File: ConSys.cc Revision: 1.56 File: ConSys.defs.hh Revision: 1.75 File: ConSys.inlines.hh Revision: 1.28 File: ConSys.types.hh Revision: 1.5 File: Constraint.cc Revision: 1.34 File: Constraint.defs.hh Revision: 1.77 File: Constraint.inlines.hh Revision: 1.41 File: Constraint.types.hh Revision: 1.5 File: Determinate.defs.hh Revision: 1.24 File: Determinate.inlines.hh Revision: 1.22 File: Determinate.types.hh Revision: 1.3 File: GenSys.cc Revision: 1.72 File: GenSys.defs.hh Revision: 1.86 File: GenSys.inlines.hh Revision: 1.29 File: GenSys.types.hh Revision: 1.5 File: Generator.cc Revision: 1.42 File: Generator.defs.hh Revision: 1.80 File: Generator.inlines.hh Revision: 1.38 File: Generator.types.hh Revision: 1.5 File: Init.cc Revision: 1.2 File: Init.defs.hh Revision: 1.7 File: Init.inlines.hh Revision: 1.5 File: Init.types.hh Revision: 1.4 File: Integer.cc Revision: 1.2 File: Integer.defs.hh Revision: 1.9 File: Integer.inlines.hh Revision: 1.8 File: Integer.types.hh Revision: 1.6 File: Interval.cc Revision: 1.5 File: Interval.defs.hh Revision: 1.10 File: Interval.inlines.hh Revision: 1.6 File: Interval.types.hh Revision: 1.4 File: LCompare.defs.hh Revision: 1.4 File: LCompare.inlines.hh Revision: 1.3 File: LCompare.types.hh Revision: 1.3 File: LinExpression.cc Revision: 1.15 File: LinExpression.defs.hh Revision: 1.56 File: LinExpression.inlines.hh Revision: 1.25 File: LinExpression.types.hh Revision: 1.5 File: Makefile.am Revision: 1.54 File: Matrix.cc Revision: 1.45 File: Matrix.defs.hh Revision: 1.39 File: Matrix.inlines.hh Revision: 1.28 File: Matrix.types.hh Revision: 1.5 File: NNC_Polyhedron.cc Revision: 1.9 File: NNC_Polyhedron.defs.hh Revision: 1.20 File: NNC_Polyhedron.inlines.hh Revision: 1.14 File: NNC_Polyhedron.types.hh Revision: 1.5 File: Poly_Con_Relation.cc Revision: 1.6 File: Poly_Con_Relation.defs.hh Revision: 1.18 File: Poly_Con_Relation.inlines.hh Revision: 1.8 File: Poly_Con_Relation.types.hh Revision: 1.4 File: Poly_Gen_Relation.cc Revision: 1.6 File: Poly_Gen_Relation.defs.hh Revision: 1.17 File: Poly_Gen_Relation.inlines.hh Revision: 1.8 File: Poly_Gen_Relation.types.hh Revision: 1.4 File: Polyhedron.cc Revision: 1.265 File: Polyhedron.defs.hh Revision: 1.172 File: Polyhedron.inlines.hh Revision: 1.56 File: Polyhedron.types.hh Revision: 1.7 File: PowerSet.defs.hh Revision: 1.22 File: PowerSet.inlines.hh Revision: 1.27 File: PowerSet.types.hh Revision: 1.3 File: Row.cc Revision: 1.46 File: Row.defs.hh Revision: 1.57 File: Row.inlines.hh Revision: 1.34 File: Row.types.hh Revision: 1.5 File: SatMatrix.cc Revision: 1.24 File: SatMatrix.defs.hh Revision: 1.28 File: SatMatrix.inlines.hh Revision: 1.17 File: SatMatrix.types.hh Revision: 1.5 File: SatRow.cc Revision: 1.16 File: SatRow.defs.hh Revision: 1.24 File: SatRow.inlines.hh Revision: 1.21 File: SatRow.types.hh Revision: 1.5 File: Status.cc Revision: 1.17 File: Status.defs.hh Revision: 1.24 File: Status.inlines.hh Revision: 1.11 File: Status.types.hh Revision: 1.5 File: Topology.hh Revision: 1.6 File: Variable.cc Revision: 1.9 File: Variable.defs.hh Revision: 1.27 File: Variable.inlines.hh Revision: 1.13 File: Variable.types.hh Revision: 1.5 File: algorithms.hh Revision: 1.11 File: conversion.cc Revision: 1.40 File: globals.cc Revision: 1.9 File: globals.hh Revision: 1.25 File: initializer.hh Revision: 1.4 File: minimize.cc Revision: 1.27 File: ppl_header.bottom Revision: 1.4 File: ppl_header.middle Revision: 1.2 File: ppl_header.top Revision: 1.4 File: simplify.cc Revision: 1.21

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/YAP
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/YAP Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.15 File: ppl_yap.cc Revision: 1.47 File: ppl_yap.pl Revision: 1.5 File: yap_clpq.pl Revision: 1.5 File: yap_clpq2.pl Revision: 1.1

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/XSB
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/XSB Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.2 File: Makefile.am Revision: 1.11 File: expected Revision: 1.1 File: expected2 Revision: 1.2 File: ppl_xsb.H Revision: 1.6 File: ppl_xsb.cc Revision: 1.13 File: xsb_clpq.P Revision: 1.5 File: xsb_clpq2.P Revision: 1.3

1 0

CVS tag event: /cvs/ppl/ppl/m4
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/m4 Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.7 File: ac_check_gmp.m4 Revision: 1.10 File: ac_cxx_flexible_arrays.m4 Revision: 1.4

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/GNU
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/GNU Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.24 File: gp_clpq.pl Revision: 1.5 File: ppl_gprolog.pl Revision: 1.18 File: ppl_gprolog_sd.cc Revision: 1.9

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/SICStus
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/SICStus Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.32 File: ppl_sicstus.pl Revision: 1.21 File: ppl_sicstus_sd.cc Revision: 1.29 File: sp_clpq.pl Revision: 1.7

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:23 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.20 File: Prolog_interface.dox Revision: 1.70 File: ack.clpq Revision: 1.1 File: ackn.clpq Revision: 1.1 File: check_script Revision: 1.3 File: check_script2 Revision: 1.2 File: clpq.pl Revision: 1.13 File: clpq2.pl Revision: 1.24 File: exceptions.hh Revision: 1.6 File: expected Revision: 1.2 File: expected2 Revision: 1.6 File: fib.clpq Revision: 1.1 File: mc91.clpq Revision: 1.1 File: pl_check.pl Revision: 1.29 File: ppl_prolog.icc Revision: 1.71 File: schedule.clpq Revision: 1.3 File: smm.clpq Revision: 1.1 File: smmdiff.clpq Revision: 1.1 File: sumto.clpq Revision: 1.1 File: tak.clpq Revision: 1.1 File: track_allocation.hh Revision: 1.10

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/SWI
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/SWI Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:24 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.25 File: pl_clpq.cc Revision: 1.5 File: pl_clpq.pl Revision: 1.3 File: ppl_pl.cc Revision: 1.5 File: ppl_swiprolog.cc Revision: 1.53 File: ppl_swiprolog.pl Revision: 1.1

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/Ciao
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/Ciao Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:23 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.13 File: ciao_clpq.pl Revision: 1.3 File: fake_main.pl Revision: 1.1 File: ppl_ciao.cc Revision: 1.14 File: ppl_ciao.pl Revision: 1.27

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/C
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces/C Tag: after_lazy_merge Operation: add Date: 2002-12-03 20:25:23 Tagged-By: roberto File: .cvsignore Revision: 1.2 File: Makefile.am Revision: 1.11 File: ppl_c.cc Revision: 1.50 File: ppl_c.h Revision: 1.52

1 0