CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-09-19 13:25:34 Modified files: demos/ppl_lpsol: expected_int16_a expected_int32_a expected_int64_a expected_int8_a Log message: Updated expected results for bounded integers and assertions enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int16... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int32... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int64... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8_...