July 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 11 Jul '04

11 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-11 15:47:13 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Error messages fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 10 Jul '04

10 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-10 19:27:39 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Fixed the handling of equality constraints in read_polyhedron(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Enea Zaffanella 10 Jul '04

10 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-07-10 17:46:06 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Corrected input and output of H-representations (a couple of sign errors). When outputting rational coefficients, print 0 instead of 0/<denominator>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Enea Zaffanella 10 Jul '04

10 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-07-10 16:53:52 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Bug fixed in function normalize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 10 Jul '04

10 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-10 14:33:56 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Initial implementation of the `project' command (which seems to be unimplemented in the real lcdd). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 10 Jul '04

10 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-10 10:36:13 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Started adding a new option to check the result. Bugs fixed in set_input() and set_output(). Reject the `linearity' command when it does not appear before `begin'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 10 Jul '04

10 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-10 01:05:23 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Output made watertight. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 22:06:19 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Several bugs fixed. Formal parameters tightened. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 21:38:47 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Obey the `-o' option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 09 Jul '04

09 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-09 21:33:10 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Make sure every non-empty generator system we create has at least one point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0