October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 18:56:27 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/m4 ac_check_fpu_control.m4
by Roberto Bagnara 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-15 18:39:47 Modified files: m4 : ac_check_fpu_control.m4 Log message: Link with -lm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.di…

1 0

ppl/m4 ac_check_fpu_control.m4
by Roberto Bagnara 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-15 18:31:44 Modified files: m4 : ac_check_fpu_control.m4 Log message: Test strengthened to check the return value of fesetround(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.di…

1 0

Re: [PPL-devel] [Doxygen-users] How to include a bibliography with Doxygen?
by Roberto Bagnara 15 Oct '08

15 Oct '08

Frédéric Darboux wrote: > I am using Doxygen to document some code. To specify the algorithms in > use, *I would like to cite some papers and have a list of the references*. > > With LaTeX (and BibTeX), I am using commands such as \cite{} and > \bibliography{}, but I have not found anything about reference > management with Doxygen... > > Does someone know how to do it? Check what we do in the Parma Polyhedra Library: we obtain a Doxygen file with the script http://www.cs.unipr.it/cgi-bin/viewvc/viewvc.cgi/ppl/devtools/generate_dox_… If you find some better way, please share. All the best, Roberto P.S. Sorry for being terse, but we are at release time and... you know. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-15 13:16:52 Modified files: src : checked_int.inlines.hh Log message: Repaired build reverting temporarily correctness fix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 11:07:52 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Fixme removed and commented code uncommented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl TODO
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 10:55:00 Modified files: . : TODO Log message: Item removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am ppl_int ...
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 10:48:33 Modified files: interfaces/Prolog/Ciao: Makefile.am ppl_interface_generator_ciao_prolog_generated_test_pl.m4 Log message: Revised to enable the generated tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in…

1 0

ppl/interfaces/Prolog/tests pl_check.pl ppl_in ...
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 10:44:33 Modified files: interfaces/Prolog/tests: pl_check.pl ppl_interface_generator_prolog_generated_test_pl.m4 ppl_interface_generator_prolog_generated_test_pl_code.m4 Log message: The code for testing the timeout predicates revised; it avoids use of the deprecated predicates and is more robust with respect to changes in computation times. The generated test code also much improved and several bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl README.configure
by Roberto Bagnara 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-14 23:47:32 Modified files: . : README.configure Log message: Old stuff removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0