November 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 11:57:03 Modified files: demos/ppl_lpsol: Makefile.am Added files: demos/ppl_lpsol: expected_int16_a expected_int32_a expected_int64_a expected_int8_a expected_mpz_a Log message: Not all the examples can be tested with assertions enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lcdd Makefile.am
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 11:17:46 Modified files: demos/ppl_lcdd : Makefile.am Log message: Logic simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0

ppl configure.ac
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 07:42:56 Modified files: . : configure.ac Log message: In Cygwin, /usr/include/mingw contains header files that conflict with those in /usr/include: cannot add the former to the include path list. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 07:40:19 Modified files: src : checked_float.inlines.hh Log message: Previous change reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl ./configure.ac src/checked_float.inlines.hh
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 00:12:19 Modified files: . : configure.ac src : checked_float.inlines.hh Log message: Support for Cygwin improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 07 Nov '04

07 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-11-07 17:59:25 Modified files: src : checked_float.inlines.hh Log message: Dirty tricks due to ppl_install.hh generation weirdness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 07 Nov '04

07 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-07 17:54:43 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Erase the right temporary file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 07 Nov '04

07 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-11-07 16:10:45 Modified files: src : checked_float.inlines.hh Log message: Added support for non C99 conformant Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 07 Nov '04

07 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-11-07 15:55:53 Modified files: src : checked_float.inlines.hh Log message: Avoided endian.h inclusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/demos ppl_lcdd/expected_int8 ppl_lpsol/exp ...
by Roberto Bagnara 07 Nov '04

07 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-07 15:40:20 Modified files: demos/ppl_lcdd : expected_int8 demos/ppl_lpsol: expected_int8 Log message: Adapted to the fixed output of 8-bits integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int8.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8…

1 0