[PPL-devel] PPL 0.10.2 on Cygwin

Roberto Bagnara bagnara at cs.unipr.it
Mon Apr 20 10:06:05 CEST 2009

Previous message (by thread): [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Removed tests for the deprecated *and_minimize() predicates.
Next message (by thread): [PPL-devel] [GIT] ppl/ppl(master): Improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&).
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://www.cygwin.com/ml/cygwin-apps/2009-04/msg00074.html

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it

Previous message (by thread): [PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Removed tests for the deprecated *and_minimize() predicates.
Next message (by thread): [PPL-devel] [GIT] ppl/ppl(master): Improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&).
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PPL-devel mailing list