September 2004 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-26 00:10:59 Modified files: . : configure.ac Log message: Check whether the ffs(3) function is available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src SatRow.defs.hh
by Roberto Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-25 23:40:01 Modified files: src : SatRow.defs.hh Log message: Fix two completely bogus comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro…

1 0

w3ppl/htdocs/Documentation PPL_Seminar_Verona_ ...
by Roberto Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-09-25 23:01:55 Added files: htdocs/Documentation: PPL_Seminar_Verona_2004.pdf PPL_Seminar_Verona_2004.ps.gz Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-25 15:03:25 Modified files: src : SatRow.cc Log message: Function strict_subset() speeded up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-25 12:16:29 Modified files: src : SatRow.cc Log message: Function subset_or_equal() speeded up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-25 11:24:59 Modified files: src : SatRow.cc Log message: Avoid a useless asymmetry. All the other things being equal, prefer pre-increment and pre-decrement to post-increment and post-decrement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src SatRow.cc
by Abramo Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-25 10:25:27 Modified files: src : SatRow.cc Log message: Minor residual optimization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src SatRow.cc
by Abramo Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-25 10:23:18 Modified files: src : SatRow.cc Log message: Optimization second attempt. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/src SatRow.cc
by Abramo Bagnara 25 Sep '04

25 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-25 10:15:11 Modified files: src : SatRow.cc Log message: Optimization first attempt. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl/interfaces Makefile.am
by Roberto Bagnara 22 Sep '04

22 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-22 18:13:32 Modified files: interfaces : Makefile.am Log message: Activate the Prolog interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0