August 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc Grid.defs.hh
by Matthew Mundell 18 Aug '05

18 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-18 12:18:15 Modified files: src : Grid_public.cc Grid.defs.hh Log message: Add the generalized_affine_preimage methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 18 Aug '05

18 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-18 12:16:08 Modified files: src : Congruence_System.cc Log message: Add a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 18 Aug '05

18 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-18 12:15:35 Modified files: src : Congruence.defs.hh Log message: Declare Linear_Expression a friend. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 17 Aug '05

17 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-17 10:56:34 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Added -I$(SWI_PROLOG_INCLUDE_DIRECTORY) to AM_CPPFLAGS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl configure.ac
by Roberto Bagnara 17 Aug '05

17 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-17 10:44:37 Modified files: . : configure.ac Log message: Use AC_CHECK_SWI_PROLOG to perform the checks for SWI Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 17 Aug '05

17 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-17 10:43:59 Added files: m4 : ac_check_swi_prolog.m4 Log message: The new AC_CHECK_SWI_PROLOG function performs check for SWI Prolog by invoking the SWI-Prolog executable with `-dump-runtime-variables' option and interpreting the results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4?cvs…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 17 Aug '05

17 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-17 10:41:15 Modified files: tests/Polyhedron: Makefile.am Log message: Added boundedaffinepreimage2, generalizedaffinepreimage3, nnc_boundedaffinepreimage2 and nnc_generalizedaffinepreimage3 to XFAIL_WITH_INT8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-16 20:55:00 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Removed the "-goal main" options from the invocations of `plld'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-16 17:06:59 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Stray \endcode fixed. Formatting improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests PFunction.cc
by Roberto Bagnara 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-16 17:06:01 Modified files: tests : PFunction.cc Log message: Code formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.cc.diff?cvsro…

1 0