September 2005 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 10 Sep '05

10 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-10 13:25:57 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to SPHIN: a simulator and model checker for reconfigurable hybrid systems based on the model checker SPIN and on the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl configure.ac instchk.hh
by Roberto Bagnara 10 Sep '05

10 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-10 12:21:42 Modified files: . : configure.ac Added files: . : instchk.hh Log message: Started the implementation of the --enable-instances option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Roberto Bagnara 08 Sep '05

08 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-08 14:33:14 Modified files: . : configure.ac Log message: Better logic to handle interfaces that are enabled by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 08 Sep '05

08 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-08 08:25:06 Modified files: htdocs/Documentation: ppl_citations.bib Log message: BagnaraR-CZ05 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 08 Sep '05

08 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-08 01:26:42 Modified files: . : configure.ac Watchdog : configure.ac Log message: Allow the specification of --enable-optimization=zero to temporarily get around bugs such as the one affecting Intel C/C++ 9.0.25 under Fedora Core 4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl ./configure.ac interfaces/Prolog/Ciao/Make ...
by Roberto Bagnara 08 Sep '05

08 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-08 01:05:44 Modified files: . : configure.ac interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Allow to selectively enable the construction of the Prolog interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/src Grid_Certificate.cc
by Matthew Mundell 07 Sep '05

07 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-07 23:37:33 Modified files: src : Grid_Certificate.cc Log message: In Grid_Certificate(cgr) call simplify outside the points assertion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?…

1 0

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 07 Sep '05

07 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-07 18:35:02 Modified files: m4 : ac_check_swi_prolog.m4 Log message: Only set `have_swi_prolog' and leave it to the caller to decide whether define an Automake conditional and which one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl configure.ac
by Roberto Bagnara 07 Sep '05

07 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-07 08:50:54 Modified files: . : configure.ac Log message: Started implementing the new `--enable-interfaces' option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Grid widening1.cc
by Matthew Mundell 06 Sep '05

06 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-06 16:24:35 Modified files: tests/Grid : widening1.cc Log message: Add test15, to show problems with using the Halbwachs method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?…

1 0