[PPL-devel] ppl/src Makefile.am Direct_Product.defs.hh Dir ...
Roberto Bagnara
bagnara at cs.unipr.it
Fri May 12 16:01:29 CEST 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2006-05-12 16:01:29
Modified files:
src : Makefile.am
Added files:
src : Direct_Product.defs.hh
Direct_Product.inlines.hh
Direct_Product.types.hh
Log message:
Started an implementation of the direct product construction for the
"semantic" domains.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.types.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.152&r2=1.153
More information about the PPL-devel
mailing list