June 2005 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 07:42:12 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Work also on systems that do not provide <getopt.h> and/or that do not provide a declaration for RLIMIT_AS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl configure.ac
by Roberto Bagnara 14 Jun '05

14 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-14 07:26:53 Modified files: . : configure.ac Log message: Check also for the presence of <sys/time.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
by Roberto Bagnara 14 Jun '05

14 Jun '05

1 0

ppl configure.ac
by Roberto Bagnara 13 Jun '05

13 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-13 19:04:50 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./NEWS interfaces/C/ppl_c.h.in
by Roberto Bagnara 13 Jun '05

13 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-13 19:00:28 Modified files: . : NEWS interfaces/C : ppl_c.h.in Log message: Do not infringe on system name space as well as on user name space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

a newbie question
by Jie Ouyang 13 Jun '05

13 Jun '05

Sorry for this newbie question. I have a simple program as following :-ensure_loaded('ppl_sicstus.pl'). main :- ppl_initialize, A='$VAR'(0), B='$VAR'(1), C='$VAR'(2), ppl_new_Polyhedron_from_constraints(nnc,[A=0,B=C],H1), ppl_new_Polyhedron_from_constraints(nnc,[A=1,B=C-1],H2), ppl_Polyhedron_poly_hull_assign_and_minimize(H2,H1), ppl_Polyhedron_get_constraints(H2,Cs), write(Cs), ppl_finalize. The output is [-1*B+1*C>=0,1*B+ -1*C>= -1,1*A+1*B+ -1*C=0]. Although the first two constraints are equivalent to A>=0 and A<=1, I am wondering if there is a way to get the answer in the form [1*A>=0, -1*A>=-1, 1*A+1*B+ -1*C=0] instead of the previous one. cheers, Jie Ouyang

2 1

ppl/src Grid_public.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:33:07 Modified files: src : Grid_public.cc Log message: Improve comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:31:50 Modified files: tests/Grid : grid2.cc Log message: Add test14, which adds a congruence system having a row capacity larger than the row capacity of the grid's existing congruence system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:30:08 Modified files: tests/Grid : grid1.cc Log message: Take tracing out of test20. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests/Grid Makefile.am
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:26:51 Modified files: tests/Grid : Makefile.am Log message: Move bug1 to TESTS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0