September 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd expected
by Roberto Bagnara 22 Sep '04

22 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-22 17:37:17 Modified files: demos/ppl_lcdd : expected Log message: Updated to reflect the fact that we are not sorting constraints before returning them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected.diff?…

1 0

ppl/interfaces/Prolog expected expected2 XSB/e ...
by Roberto Bagnara 22 Sep '04

22 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-22 16:45:42 Modified files: interfaces/Prolog: expected expected2 interfaces/Prolog/XSB: expected expected2 Log message: Updated to reflect the fact that we are not sorting constraints before returning them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl ./CREDITS ./configure.ac src/Integer.defs. ...
by Roberto Bagnara 22 Sep '04

22 Sep '04

1 0

ppl/interfaces/C ppl_c.cc
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 16:34:41 Modified files: interfaces/C : ppl_c.cc Log message: Temporary kludge to make things work until we generalize the interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src GMP_Integer.defs.hh GMP_Integer.inlines.hh
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 16:31:04 Modified files: src : GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Added add_mul_assign() and sub_mul_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 22 Sep '04

22 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-22 16:03:24 Modified files: src : Polyhedron_public.cc Log message: No longer sorting constraints in Polyhedron::constraints(). Two FIXMEs added so as not to forget to reconsider the situation when we will have better sorting methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh
by Enea Zaffanella 22 Sep '04

22 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-22 12:08:36 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Added a couple of missing \relates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/src checked.inlines.hh checked_float.inlin ...
by Abramo Bagnara 22 Sep '04

22 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-22 10:18:45 Modified files: src : checked.inlines.hh checked_float.inlines.hh Log message: Separated approximated arithmentic add/sub. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 20 Sep '04

20 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-20 17:24:16 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added documentation for ppl_Polyhedron_dimension/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

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

20 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-09-20 15:36:06 Modified files: . : Makefile.am interfaces : Makefile.am Log message: Activate the C interface (this breaks the build). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0