- PPL-devel - BUGSENG Mailman

ppl/src AskTell.defs.hh AskTell.inlines.hh Pow ...
by Roberto Bagnara 04 Aug '02

04 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-04 14:49:17 Modified files: src : AskTell.defs.hh AskTell.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: More cleaning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl src/AskTell.inlines.hh src/Determinate.def ...
by Roberto Bagnara 04 Aug '02

04 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-04 13:35:50 Modified files: src : AskTell.inlines.hh Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh tests : mc91.cc Log message: CS::operator*=() renamed CS::meet_assign(). CS::operator+=() renamed CS::upper_bound_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp…

1 0

ppl/src Makefile.am PowerSet.defs.hh PowerSet. ...
by Roberto Bagnara 04 Aug '02

04 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-04 13:17:22 Modified files: src : Makefile.am PowerSet.defs.hh PowerSet.inlines.hh Log message: Use the new classes also for the documentation. The PowerSet construction is now implemented using a sequence. PowerSet::omega_reduction() reimplemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 03 Aug '02

03 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-03 21:35:27 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Complete redesign started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl src/AskTell.defs.hh src/AskTell.inlines.hh ...
by Roberto Bagnara 02 Aug '02

02 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-02 11:40:41 Modified files: src : AskTell.defs.hh AskTell.inlines.hh tests : mc91.cc Log message: Move all code to AskTell.inlines.hh. Minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp…

1 0

ppl/tests exceptions1.cc exceptions2.cc print. ...
by Roberto Bagnara 02 Aug '02

02 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-02 10:47:20 Modified files: tests : exceptions1.cc exceptions2.cc print.hh randphull1.cc Log message: Include <iostream>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull1.cc.diff?cvsr…

1 0

ppl configure.ac
by Roberto Bagnara 02 Aug '02

02 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-02 09:33:08 Modified files: . : configure.ac Log message: Check whether the Mercury compiler is installed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests Makefile.am mc91.cc
by Roberto Bagnara 01 Aug '02

01 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-01 18:03:49 Modified files: tests : Makefile.am Added files: tests : mc91.cc Log message: Test the constraint systems' constructions with McCarthy's 91 function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Makefile.am
by Roberto Bagnara 01 Aug '02

01 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-01 17:57:20 Modified files: src : Makefile.am Log message: Activate the new constraint systems' files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Determinate.inlines.hh
by Roberto Bagnara 01 Aug '02

01 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-01 17:56:21 Modified files: src : Determinate.inlines.hh Log message: Inclusion guard comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0