December 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-12-18 15:55:10 Modified files: htdocs/Documentation: ppl.bib Log message: Updated BagnaraDHMZ06a and BagnaraDHMZ06b entries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 14:28:56 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ06STTT updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 11:26:46 Modified files: htdocs/Documentation: ppl.bib Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 11:26:19 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ06TR corrected and completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs details.raw performance.raw Credi ...
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 10:23:55 Modified files: htdocs : details.raw performance.raw htdocs/Credits : Credits.raw htdocs/Links : Links.raw Log message: Links to New Polka's home page updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/performance.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 10:09:25 Modified files: htdocs/Documentation: ppl.bib Log message: Key BagnaraHZ04TRa changed to BagnaraHZ04TR. Provisional entry for BagnaraHZ06TR added. Do not use double quotes for numeric fields. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Patricia Hill 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-12-18 09:27:06 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Spelling corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 17 Dec '06

17 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-17 21:29:35 Modified files: htdocs/Documentation: ppl.bib Log message: Added NakanishiJPF99 and NakanishiF01. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml_gl ...
by Andrea Cimino 15 Dec '06

15 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-15 14:26:52 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml_globals.ml test1.ml Log message: Implemented `ppl_MIP_Problem_objective_function'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl src/MIP_Problem.cc src/Variables_Set.cc sr ...
by Andrea Cimino 14 Dec '06

14 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-14 16:13:50 Modified files: src : MIP_Problem.cc Variables_Set.cc Variables_Set.defs.hh tests/MIP_Problem: ascii_dump_load1.cc Log message: Added `ascii_load' and `ascii_dump' for Variables_Set. MIP problem now correctly loads and dumps problems with declared integer variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/ascii_dump_…

1 0