December 2004 - PPL-devel - BUGSENG Mailman

ppl ./Makefile.am ./README ./README.configure ...
by Roberto Bagnara 01 Jan '05

01 Jan '05

1 0

ppl/src Extended_Number.inlines.hh checked_ext ...
by Abramo Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-12-31 23:36:56 Modified files: src : Extended_Number.inlines.hh checked_ext.inlines.hh checked_float.inlines.hh Log message: Added comparison and arithmetic binary operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Extended_Number.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Result.defs.hh
by Abramo Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-12-31 23:36:10 Modified files: src : Result.defs.hh Log message: Added V_INF_DIV_INF. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro…

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 19:01:12 Modified files: tests/Polyhedron: Makefile.am Log message: Added membytes2 to XFAIL_WITH_INT8_A. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src simplex.cc
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 18:24:17 Modified files: src : simplex.cc Log message: ConSys renamed to Constraint_System in comments and error messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/demos/ppl_lpsol expected_int16_a expected_ ...
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 14:54:14 Modified files: demos/ppl_lpsol: expected_int16_a expected_int32 expected_int32_a expected_int64 expected_int64_a Log message: Adapted to recent changes in ppl_lpsol. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6…

1 0

ppl/interfaces/Prolog XSB/expected_int8 tests/ ...
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 14:31:22 Modified files: interfaces/Prolog/XSB: expected_int8 interfaces/Prolog/tests: expected_int8 Log message: Adapted to the recent changes in the implementation of checked numbers. Patches: 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/tests/expec…

1 0

ppl/interfaces/Prolog XSB/expected2_int16_a XS ...
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 14:10:57 Modified files: interfaces/Prolog/XSB: expected2_int16_a expected_int8_a interfaces/Prolog/tests: expected2_int16_a expected_int8_a Log message: Adapted to the recent changes in the implementation of checked numbers. Patches: 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog/XSB expected2_int16
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 13:22:26 Modified files: interfaces/Prolog/XSB: expected2_int16 Log message: Adapted to the recent changes in the implementation of checked numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl/interfaces/Prolog/tests expected2_int16
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 13:08:05 Modified files: interfaces/Prolog/tests: expected2_int16 Log message: Adapted to the recent changes in the implementation of checked numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0