September 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc SWI/ppl_s ...
by Abramo Bagnara 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-26 15:41:26 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Preliminary step on generalization path. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Abramo Bagnara 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-26 15:40:23 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Call proper constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Enea Zaffanella 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-26 14:59:09 Modified files: htdocs/Documentation: Documentation.raw Log message: Mentioned the Verona04 seminar. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

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

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-26 14:44:07 Modified files: src : SatRow.cc Log message: Fixed thinko. Added assertion for bogus call to last. 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 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-26 13:47:13 Modified files: src : SatRow.cc Log message: Trivial bug fixes. 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 26 Sep '04

26 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-26 11:24:52 Modified files: src : SatRow.cc Log message: Further optimizations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/Pr ...
by Roberto Bagnara 26 Sep '04

26 Sep '04

1 0

ppl/src SatRow.inlines.hh SatRow.cc
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 09:47:15 Modified files: src : SatRow.inlines.hh SatRow.cc Log message: Use ffs(3) when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

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 09:45:36 Modified files: . : configure.ac Log message: Added a check to determine sizeof(int). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src SatRow.cc
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 09:08:27 Modified files: src : SatRow.cc Log message: Function strict_subset() speeded up further. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0